Research Catalog

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

Selected filters.Clear Filters

  • The study of programming languages / Ryan Stansifer.

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

  • Pattern languages of program design 1 / edited by James O. Coplien, Douglas C. Schmidt.

    • Text
    • Reading, Mass. : Addison-Wesley, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 P375 1995Off-site

  • The McGraw-Hill computer handbook / editor in chief, Harry Helms ; overview by Adam Osborne ; foreword by Thomas C. Bartee.

    • Text
    • New York : McGraw-Hill, [1983]
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .M37 1983Off-site

  • Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby.

    • Text
    • Berlin ; New York : Springer-Verlag, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4C63 1977Off-site

  • A relational theory of computing / John G. Sanderson.

    • Text
    • Berlin ; New York : Springer-Verlag, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .S262Off-site

  • Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.

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

  • Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 24-26, 1983 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages.

    • Text
    • New York : ACM, ©1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .A15 1983Off-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 : principles and practice / Kenneth C. Louden.

    • Text
    • Boston : PWS-Kent Pub. Co., ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .L68 1993Off-site

  • The Role of language in problem solving I : edited proceedings of the symposium held at the Johns Hopkins University Applied Physics Laboratory, Laurel, Maryland, 29-31 October, 1984 / editors, Robert Jernigan, Bruce W. Hamill, and David M. Weintraub.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .R65 1985Off-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

  • Languages for automation / edited by Shi-Kuo Chang.

    • Text
    • New York : Plenum Press, ©1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text T59.5 .L36 1985Off-site

  • Programming language landscape : syntax, semantics, and implementation / Michael Marcotty, Henry Ledgard.

    • Text
    • Chicago : Science Research Associates, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .L44 1985Off-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

  • Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 / edited by Gilles Kahn.

    • Text
    • Berlin ; New York : Springer-Verlag, 1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .I577 1979Off-site

  • Proceedings / IEEE Computer Society 1986 International Conference on Computer Languages, October 27-30, 1986, Miami, Florida ; sponsored by the IEEE Computer Society Computer Languages Technical Committee.

    • Text
    • Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .I445 1986Off-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

  • Syntaxanalyse / Otto Mayer.

    • Text
    • Mannheim ; Wien ; Zürich : Bibliographisches Institut, 1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.3 .M39Off-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

  • The role of language in problem solving 2 : edited proceedings of the Johns Hopkins University Applied Physics Laboratory Second Symposium on the Role of Language in Problem Solving, held in Laurel, Maryland, 2-4 April, 1986 / editors, J.C. Boudreaux, B.W. Hamill, and R. Jernigan.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .J64 1986Off-site

  • Eine Untersuchung des Plankalküls im Vergleich mit algorithmischen Sprachen / Joachim Hohmann.

    • Text
    • St. Augustin : Gesellschaft für Mathematik und Datenverarbeitung, 1975.
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text QA1 .G34 Nr.104Off-site

  • MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle.

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

  • Programming languages : principles and paradigms / Allen B. Tucker, Robert E. Noonan.

    • Text
    • Boston : McGraw-Hill Higher Education, ©2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .T83 2007Off-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 language theory and its implementation : applicative and imperative paradigms / Michael J.C. Gordon.

    • Text
    • New York : Prentice-Hall, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .G673 1988Off-site

  • Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / [ICALP 89] ; G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds.

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

  • Semantic techniques in quantum computation / edited by Simon Gay, Ian Mackie.

    • Text
    • Cambridge ; New York : Cambridge University Press, 2010.
    • 2010
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.889 .S36 2010Off-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

  • Systems software : an introduction to language processors and operating systems / Frank Maddix and Gareth Morgan.

    • Text
    • Chichester, England : E. Horwood ; New York : Halsted Press, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.S95 M34 1989Off-site

  • The programming language landscape / Henry Ledgard, Michael Marcotty.

    • Text
    • Chicago : Science Research Associates, ©1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .L44Off-site

  • Programming language standardisation / editors, I.D. Hill and B.L. Meek.

    • Text
    • Chichester, Eng. : E. Horwood ; New York : Halsted Press, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .P75Off-site

  • Languages and compilers for parallel computing : fourth international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings / U. Banerjee [and others], eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .L36 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

  • Parallel functional languages and compilers / edited by Boleslaw K. Szymanski.

    • Text
    • New York, N.Y. : ACM Press ; Reading, Mass. : Addison-Wesley, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .P37 1991Off-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

  • Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.

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

  • Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings / Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa, eds.

    • Text
    • Berlin ; New York : Springer, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.64 .E24 1994Off-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