ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #Programming languages )
該当件数:179件
Attribute grammars : definitions, systems, and bibliography / Pierre Deransart, Martin Jourdan, Bernard Lorho.
Berlin : Springer-Verlag , c1988.. - New York. - Tokyo. - (Lecture notes in computer science. ; 323)
図書
Programming language theory and its implementation : applicative and imperative paradigms / Michael J.C. Gordon.
New York : Prentice-Hall , 1988.. - Tokyo. - (Prentice-Hall international series in computer science.)
Methods of algorithmic language implementation / edited by A. Ershov and C. H. A. Koster.
Berlin : Springer-Verlag, , 1977.. - (Lecture notes in computer science. ; 47)
Programming languages and their definition / H. Bekic selected papers edited by C.B. Jones.
Berlin : Springer-Verlag , 1984.. - Tokyo. - (Lecture notes in computer science. ; 177)
Principles of programming languages / R.D. Tennent.
Englewood Cliffs, N.J. : Prentice/Hall International , c1981.. - Tokyo. - (Prentice-Hall international series in computer science.)
図書 [BA05044095]
Denotational semantics : the Scott-Strachey approach to programming language theory / Joseph E. Stoy.
1st MIT pbk. ed.. - Cambridge, Mass. : MIT Press , 1981, c1977.
図書 [BA0147457X]
Programming languages and systems : first Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003 proceedings / Atsushi Ohori (ed.).
Berlin : Springer , 2003.. - New York. - (Lecture notes in computer science ; 2895)
図書 [BA64779731]
Applied semantics : International summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 advanced lectures / Gilles Barthe ... [et al.] (eds.).
Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2395)
図書 [BA58613199]
Concepts of programming languages / Robert W. Sebesta.
6th ed.. - Boston : Addison-Wesley , c2004.
図書 [BA67871741]
The formal semantics of programming languages : an introduction / Glynn Winskel.
Cambridge, Mass. : MIT Press , c1993.. - (Foundations of computing.)
図書 [BA19992858]
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 1996, selected papers / Mads Dam (ed.).
Berlin : Springer , 1997.. - New York. - (Lecture notes in computer science. ; 1192)
図書 [BA29527402]
Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.).
Berlin : Springer , 2002.. - New York. - (Lecture notes in computer science ; 2257)
図書 [BA55287033]
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 proceedings / Veronica Dahl, Philip Wadler (eds.).
Berlin : Springer , 2002.. - New York. - (Lecture notes in computer science ; 2562)
図書 [BA60719636]
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 proceedings / I.V. Ramakrishnan (ed.).
Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 1990)
図書 [BA51105360]
Programming languages : concepts and constructs / Ravi Sethi.
2nd ed.. - Reading, Mass. : Addison-Wesley , c1996.
図書 [BA27639223]
Formal language description languages for computer programming : proceedings. / Edited by T.B. Steel, Jr.
Amsterdam, : North-Holland Pub. Co. , 1966.
Semantics of programming languages / R.D. Tennent.
Hemel Hempstead, Hertfordshire : Prentice Hall International , 1991.. - (Prentice-Hall international series in computer science.)
Students' guide to programming languages / Malcolm Bull.
Oxford [England] : Newnes , 1992.. - Boston. - (The Newnes information series)
Semantics with applications : a formal introduction / Hanne Riis Nielson and Flemming Nielson.
Chichester : J. Wiley , c1992.. - New York. - (Wiley professional computing.)
図書 [BA18937912]
Semantics of programming languages : structures and techniques / Carl A. Gunter.
Cambridge, Mass. : MIT Press , c1992.. - (Foundations of computing.)
図書 [BA18859524]
Compiling natural semantics / Mikael Pettersson.
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1549)
図書 [BA41373556]
Denotational semantics : a methodology for language development / David A. Schmidt.
Dubuque, Iowa : Wm. C. Brown Publishers , c1988.
図書 [BA01294294]
Concepts of programming languages / Robert W. Sebesta
8th ed. - Boston ; Tokyo : Pearson/Addison Wesley , c2008
図書 [BA82468314]
Types and programming languages / Benjamin C. Pierce
: hc. - Cambridge, Mass. : MIT Press , c2002
図書 [BA55431934]
Nominal sets : names and symmetry in computer science / Andrew M. Pitts
: hardback. - Cambridge : Cambridge University Press , 2013. - (Cambridge tracts in theoretical computer science ; 57)
図書 [BB12776862]
Programming language syntax and semantics / David A. Watt with a contribution by Muffy Thomas.
New York : Prentice Hall , 1991.. - (Prentice-Hall international series in computer science.)
Introduction to the theory of programming languages / Bertrand Meyer.
New York : Prentice Hall , 1990.. - (Prentice-Hall international series in computer science.)
Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 proceedings / H. Alblas, B. Melichar, eds.
Berlin : Springer-Verlag , c1991.. - New York. - (Lecture notes in computer science. ; 545)
Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 / edited by Jean-Pierre Jouannaud.
Berlin : Springer-Verlag , c1985.. - Tokyo. - (Lecture notes in computer science. ; 201)
A study in string processing languages / Paul Klint.
Berlin : Springer-Verlag , c1985.. - Tokyo. - (Lecture notes in computer science. ; 205)
Concepts in user interfaces : a reference model for command and response languages / by members of IFIP Working Group 2.7: David Beech ... [et al.] edited by David Beech.
Berlin : Sringer-Verlag , c1986.. - Tokyo. - (Lecture notes in computer science. ; 234)
An introduction to COMIT programming.
Rev. [ed.].. - [Cambridge, Mass.] : M.I.T. press , 1963.
COMIT programmers reference manual / Research Laboratory of Electronics and the Computation Center.
2d ed.. - [Cambridge, Mass.] : M.I.T. Press , 1963.
Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 proceedings / P. Deransart, B. Lorho, J. Maluszynski (eds.).
Berlin : Springer-Verlag , c1989.. - New York. - Tokyo. - (Lecture notes in computer science. ; 348)
The cognitive connection : thought and language in man and machine / Howard Levine and Howard Rheingold.
New York : Prentice Hall Press , c1987.
図書 [BA03656363]
Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14-18, 1980 / edited by Neil D. Jones.
Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 94)
Coroutines : a programming methodology, a language design, and an implementation / Christopher D. Marlin.
Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 95)
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest.
Berlin : Springer-Verlag , 1980.. - New York. - (Lecture notes in computer science. ; 98)
Axiomatising the logic of computer programming / Robert Goldblatt.
Berlin : Springer-Verlag , 1982.. - New York. - (Lecture notes in computer science. ; 130)
An Attribute grammar for the semantic analysis of Ada / J. Uhl ... [et al.].
Berlin : Springer-Verlag , 1982.. - New York. - (Lecture notes in computer science. ; 139)
The computer comes of age : the people, the hardware, and the software / R. Moreau translated by J. Howlett.
Cambridge, Mass. : MIT Press , c1984.. - (MIT Press series in the history of computing.)
図書 [BA07110725]
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick.
Berlin : Springer-Verlag , 1978.. - New York. - (Lecture notes in computer science. ; 66)
International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] / Edited by Andrei Ershov and Valery A. Nepomniaschy.
Berlin, : Springer-Verlag , 1974.. - New York,. - (Lecture notes in computer science. ; 5)
Complementary definitions of programming language semantics / James E. Donahue.
Berlin : Springer-Verlag , 1976.. - New York. - (Lecture notes in computer science. ; 42)
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 proceedings / J. Maluszynski, M. Wirsing, eds.
Berlin : Springer-Verlag , c1991.. - New York. - (Lecture notes in computer science. ; 528)
Computers and languages : theory and practice / Anton Nijholt.
Amsterdam : North-Holland , 1988.. - New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. - New York, N.Y., U.S.A.. - (Studies in computer science and artificial intelligence. ; 4)
図書 [BA05012430]
ACM transactions on programming languages and systems
Vol. 1, no. 1 (July 1979)-. - New York, N.Y. : Association for Computing Machinery , c1979-
雑誌 [AA0006282X]
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury with contributions by James Pustejovsky.
New York : Springer-Verlag , c1988.. - Tokyo. - (AKM series in theoretical computer science.). - (Texts and monographs in computer science.)
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings / I. Guessarian (ed.).
Berlin : Springer-Verlag , c1990.. - New York. - Tokyo. - (Lecture notes in computer science. ; 469)
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 proceedings / P. Deransart, M. Joudan, eds.
Berlin : Springer-Verlag , c1990.. - New York. - Tokyo. - (Lecture notes in computer science. ; 461)
