ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Programming languages )
該当件数:182件
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]
Compiling natural semantics / Mikael Pettersson.
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1549)
図書 [BA41373556]
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]
Semantics of programming languages : structures and techniques / Carl A. Gunter.
Cambridge, Mass. : MIT Press , c1992.. - (Foundations of computing.)
図書 [BA18859524]
The formal semantics of programming languages : an introduction / Glynn Winskel.
Cambridge, Mass. : MIT Press , c1993.. - (Foundations of computing.)
図書 [BA19992858]
Semantics with applications : a formal introduction / Hanne Riis Nielson and Flemming Nielson.
Chichester : J. Wiley , c1992.. - New York. - (Wiley professional computing.)
図書 [BA18937912]
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)
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)
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]
Concepts of programming languages / Robert W. Sebesta.
6th ed.. - Boston : Addison-Wesley , c2004.
図書 [BA67871741]
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]
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]
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]
Programming languages : concepts and constructs / Ravi Sethi.
2nd ed.. - Reading, Mass. : Addison-Wesley , c1996.
図書 [BA27639223]
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]
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]
Formal language description languages for computer programming : proceedings. / Edited by T.B. Steel, Jr.
Amsterdam, : North-Holland Pub. Co. , 1966.
Types and programming languages / Benjamin C. Pierce
: hc. - Cambridge, Mass. : MIT Press , c2002
図書 [BA55431934]
Introduction to the theory of programming languages / Bertrand Meyer.
New York : Prentice Hall , 1990.. - (Prentice-Hall international series in computer science.)
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.)
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]
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)
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)
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)
A study in string processing languages / Paul Klint.
Berlin : Springer-Verlag , c1985.. - Tokyo. - (Lecture notes in computer science. ; 205)
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 proceedings / Jürg Gutknecht, Wolfgang Weck (eds.).
Berlin; : Springer , c2000.. - New York. - (Lecture notes in computer science ; 1897)
図書 [BA48218595]
Syntax-directed semantics : formal models based on tree transducers / Zoltán Fülöp, Heiko Vogler.
Berlin : Springer , c1998. - New York. - (Monographs in theoretical computer science)
図書 [BA38082114]
Practical aspects of declarative languages : first international workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 proceedings / Gopal Gupta (ed.).
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1551)
図書 [BA39838260]
Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien.
Cambridge, U.K. : Cambridge University Press , 1998.. - New York. - (Cambridge tracts in theoretical computer science ; 46)
図書 [BA36821829]
Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 proceedings / S. Doaites Swierstra (ed.).
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1576)
図書 [BA40723947]
Formal syntax and semantics of Java / Jim Alves-Foss (ed.).
Berlin : Springer , c1999.. - New York. - (Lecture notes in computer science ; 1523)
図書 [BA41879872]
Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 proceedings / Enrico Pontelli, Vítor Santos Costa (eds.).
Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; 1753)
図書 [BA44889817]
Basic simple type theory / J. Roger Hindley.
Cambridge : Cambridge University Press , 1997.. - New York. - (Cambridge tracts in theoretical computer science. ; 42)
図書 [BA31543853]
Database programming languages : 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 proceedings / Sophie Cluet, Rick Hull (eds.).
Berlin : Springer , c1998.. - New York. - (Lecture notes in computer science, ; 1369)
図書 [BA37165271]
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.
Berlin : Springer , c1995.. - New York. - (Lecture notes in computer science. ; 982)
図書 [BA26022013]
Modular programming languages : Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 proceedings / Hanspeter Mössenböck, (ed.).
Berlin : Springer , c1997.. - New York. - (Lecture notes in computer science ; 1204)
図書 [BA2973389X]
Programming language concepts and paradigms / David A. Watt with contributions by William Findlay, John Hughes.
Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo.
Cambridge, Mass. : MIT Press , c1991.. - (Foundations of computing.)
図書 [BA13010634]
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 proceedings / S. Brookes ... [et al.], eds.
Berlin : Springer-Verlag , c1994.. - New York. - (Lecture notes in computer science. ; 802)
図書 [BA2270035X]
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 proceedings / Manuel Hermenegildo, Jaan Penjam, eds.
Berlin : Springer-Verlag , c1994.. - New York. - (Lecture notes in computer science. ; 844)
図書 [BA23288309]
Theoretical aspects of object-oriented programming : types, semantics, and language design / edited by Carl A. Gunter and John C. Mitchell.
Cambridge, Mass. : MIT Press , c1994.. - (Foundations of computing.)
図書 [BA23007261]
Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993 proceedings / Maurice Bruynooghe, Jaan Penjam, eds.
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 714)
Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 proceedings / Patrick Cousot ... [et al.].
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 724)
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 proceedings / S. Brookes ... [et al.], (eds.).
Berlin : Springer-Verlag , c1992.. - New York. - (Lecture notes in computer science. ; 598)