上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.7)
該当件数:58件
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. - (Lecture notes in computer science ; 1990)
図書 <1001249515>
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 , c2002. - (Lecture notes in computer science ; 2257)
図書 <1001356361>
Essentials of programming languages / Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
2nd ed. - Cambridge, Mass. ; London : MIT Press , c2001
図書 <1001276859>
Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000 : selected papers / Sandhya Dwarkadas (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1915)
図書 <1001207611>
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 ; Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1753)
図書 <1001110819>
Proceedings : 1998 International Conference on Computer Languages, May 14-16, 1998, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Computer Languages ; in cooperation with ACM SIGPLAN
: softbound,: casebound,: microfiche. - Los Alamitos, Calif. : IEEE Computer Society Press , c1998
図書 <1001053712>
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>
Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989, proceedings / M. Main ... [et al.] (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1990. - (Lecture notes in computer science ; 442)
図書 <1000382663>
Logic of domains / Guo-Qiang Zhang
: Boston,: Basel. - Boston : Birkhäuser , 1991. - (Progress in theoretical computer science)
図書 <1001371186>
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>
Metalevel architectures and separation of crosscutting concerns : Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings / Akinori Yonezawa, Satoshi Matsuoka (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2192)
図書 <1001337030>
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 system architectures : international conference, Zurich, Switzerland, March 2-4, 1994 : proceedings / Jürg Gutknecht, ed.
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 782)
図書 <1000492702>
Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 802)
図書 <1000499711>
Programming language implementation and logic programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14-16 1994 : proceedings / Manuel Hermenegildo, Jaan Penjam, (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 844)
図書 <1000503871>
Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 / edited by Veronica Dahl and Patrick Saint-Dizier
Amsterdam ; Tokyo : North-Holland. - New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. , 1988. - (Natural language understanding and logic programming ; 2)
図書 <1001087090>
Practical aspects of declarative languages : First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings / Gopal Gupta (ed.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1551)
図書 <1001038291>
Models of sharing graphs : a categorical semantics of let and letrec / Masahito Hasegawa
New York : Springer , c1999. - (Distinguished dissertations)
図書 <1001127326>
Meta-level architectures and reflection : Second International Conference, Reflection'99 : Saint-Malo, France, July 19-21, 1999 : proceedings / Pierre Cointe (ed.)
Berlin ; Tokyo : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1616)
図書 <1001063813>