Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Protocol : how control exists after decentralization / Alexander R. Galloway.

    • Text
    • Cambridge, Mass. : MIT Press, [2004], ©2004.
    • 2004-2004
    • 1 Item
    FormatCall NumberItem Location
    Text TK5105.59 .G35 2004Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • ASPLOS-VI proceedings / Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, October 4-7, 1994.

    • Text
    • New York : Association for Computing Machinery, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A73 I558 1994Off-site

  • Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, eds.

    • Text
    • Berlin ; New York : Springer, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I5773 1995Off-site

  • Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W625 1995Off-site

  • A theory of programming language semantics / Robert Milne and Christopher Strachey.

    • Text
    • London : Chapman and Hall ; New York : Wiley : Distributed in the U.S.A. by Halsted Press, 1976.
    • 1976
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.7 .M54Off-site
    FormatCall NumberItem Location
    Text QA76.7 .M54Off-site

  • On conceptual modelling : perspectives from artificial intelligence, databases, and programming languages / edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt.

    • Text
    • New York : Springer-Verlag, [1984]
    • 1984-1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.C65 O5 1984Off-site

  • Programming language concepts / Carlo Ghezzi, Mehdi Jazayeri.

    • Text
    • New York : Wiley, ©1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .G48 1982Off-site

  • Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.

    • Text
    • Cambridge, Mass. : MIT Press, ©1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S751Off-site

  • Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones.

    • Text
    • Berlin ; New York : Springer-Verlag, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .B45 1984Off-site

  • Principles of programming languages : design, evaluation, and implementation / Bruce J. MacLennan.

    • Text
    • New York : Holt, Rinehart, and Winston, [1983]
    • 1983-1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .M33 1983Off-site

  • Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds.

    • Text
    • Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .A43 1985Off-site

  • The world of programming languages / Michael Marcotty, Henry Ledgard.

    • Text
    • New York : Springer-Verlag, [1987]
    • 1987-1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .M346 1987Off-site

  • Programming language concepts / Carlo Ghezzi, Mehdi Jazayeri.

    • Text
    • New York : Wiley, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .G48 1987Off-site

  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W624 1987Off-site

  • Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / P. Deransart, B. Lorho, J. Małuszyński, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I59 1988Off-site

  • Programming languages : concepts and constructs / Ravi Sethi.

    • Text
    • Reading, Massachusetts : Addison-Wesley Publishing Company, [1989]
    • 1989-1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S48 1989Off-site

  • Formal specification of programming languages : a panoramic primer / Frank G. Pagan.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .P33Off-site

  • Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I59 1990Off-site

  • Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication / Roland Hausser.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text Q335 .H39 1989Off-site

  • Semantics of programming languages / R.D. Tennent.

    • Text
    • New York : Prentice Hall, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .T473 1990Off-site

  • Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings / M. Bruynooghe, M. Wirsing (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I5773 1992Off-site

  • Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / J.W. de Baker, W.P. de Roever, G. Rozenberg (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .R49 1992Off-site

  • Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings / Maurice Bruynooghe, Jaan Penjam, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I5773 1993Off-site

  • Languages and compilers for parallel computing : 6th international workshop, Portland, Oregon, USA, August 12-14, 1993 : proceedings / Utpal Banerjee [and others], (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.58 .W656 1993Off-site

  • Programming languages and system architectures : international conference, Zürich, Switzerland, March 2-4, 1994 : proceedings / Jürg Gutknecht, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .P79 1994Off-site

  • Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1993Off-site

  • Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 T97 1994Off-site

  • Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I5773 1994Off-site

  • Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger [and others], eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W624 1992Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta