上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Programming languages Congresses)
該当件数:110件
Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers / Kevin Hammond, Tony Davie, Chris Clack (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1595)
図書 <1001063814>
Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2011)
図書 <1001263047>
Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers / Pieter Koopman, Chris Clack (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1868)
図書 <1001180827>
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers / Thomas Arts, Markus Mohnen (eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2312 . Lecture notes in artificial intelligence)
図書 <1001367929>
Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers / Chris Clack, Kevin Hammond, Tony Davie (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1467)
図書 <1000997385>
Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers / Werner Kluge (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1268)
図書 <1000554129>
Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / David Sands (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2028)
図書 <1001259170>
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>
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>
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>
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>
Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.)
Berlin : Springer-Verlag , c2000. - (Lecture notes in computer science ; 1897)
図書 <1001190003>
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>
Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1694)
図書 <1001084241>
Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1824)
図書 <1001158848>
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. Doaitse Swierstra (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1576)
図書 <0219003390>
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / J. Maluszyński, M. Wirsing, (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 528)
図書 <1000431025>
Programming language implementation and logic programming : International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings / P. Deransart, J. Małuszyński, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 456)
図書 <1000388074>