上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Programming languages)
該当件数:179件
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
2nd ed. - Cambridge, Mass. ; London : MIT Press , c2001
図書 <1001276859>
Selected papers on computer languages / Donald E. Knuth
: pbk,: hbk. - Stanford, California : Center for the Study of Language and Information , c2003. - (CSLI lecture notes ; no. 139)
図書 <1001488266>
Programming languages and methodologies / Robert J. Schalkoff
Sudbury, Mass. : Jones and Bartlett Publishers , c2007
図書 <1001889872>
Design concepts in programming languages / Franklyn Turbak and David Gifford ; with Mark A. Sheldon
: hardcover. - Cambridge, Mass. : MIT Press , c2008
図書 <1002001905>
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones
Berlin ; New York : Springer-Verlag , 1984. - (Lecture notes in computer science. ; 177)
図書 <1000587024>
SIGPLAN notices / Association for Computing Machinery, Special Interest Group on Programming Languages
-v. 26, no. 9 (Sept. 1991). - New York, N.Y. : Association for Computing Machinery , -c1991
雑誌 <2000178082>
ACM SIGPLAN notices / ACM Special Interestst Group on Programming Languages
Vol. 26, no. 10 (Oct. 1991)-. - New York, N.Y. : ACM Press , [1991]-
雑誌 <2000283439>
ASN.1 complete / by John Larmouth
: pbk. - San Diego : Academic Press , c2000
図書 <1001130652>
Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen, S. Doaitse Swierstra (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1140)
図書 <1000704435>
1. [i.e. Erste] Fachtagung über Programmiersprachen, München, 9.-11. März 1971 / Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul
Berlin ; New York : Springer-Verlag , 1972. - (Lecture notes in economics and mathematical systems ; 75). - (Bericht (Gesellschaft für Informatik) ; Nr. 3)
図書 <1000450233>
Semantics of programming languages : structures and techniques / Carl A. Gunter
Cambridge, Mass. : MIT Press , c1992. - (Foundations of computing)
図書 <1000461128>
The formal semantics of programming languages : an introduction / Glynn Winskel
Cambridge, Mass. : MIT Press , c1993. - (Foundations of computing)
図書 <1000472932>
3. Fachtagung über Programmiersprachen, Kiel, 5.-7. März 1974 / GI, Gesellschaft für Informatik e.V. ; herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 7)
図書 <1000326898>
Analysis and verification of multiple-agent languages : selected papers : 5th LOMAPS Workshop, Stockholm, Sweden, June 1996 / Mads Dam (ed.)
Berlin ; New York : Springer , 1997. - (Lecture notes in computer science ; 1192)
図書 <1000660940>
History of programming languages / edited by Richard L. Wexelblat
New York : Academic Press , 1981. - (ACM monograph series.)
図書 <1000607296>
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
Washington, D.C. ; Los Angeles, CA : IEEE Computer Society Press : Order from IEEE Computer Society , c1986
図書 <1000631532>
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick
Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in computer science ; 66)
図書 <1000642996>
Coroutines : a programming methodology, a language design, and an implementation / Christopher D. Marlin
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 95)
図書 <1000586747>
Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca / edited by John H. Williams and David A. Fisher
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 54)
図書 <1000587012>
A study in string processing languages / Paul Klint
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 205)
図書 <1000587017>