上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer programs Congresses)
該当件数:39件
Compiler construction : 8th international conference, CC '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 / Stefan Jähnichen, (ed.)
Berlin ; Tokyo : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1575)
図書 <0219003400>
Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Reinhard Wilhelm (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2027)
図書 <1001259171>
Compiler construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / R. Nigel Horspool (ed.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2304)
図書 <1001366243>
Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings / Peter A. Fritzson, ed
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 786)
図書 <1000495766>
Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / David A. Watt (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1781)
図書 <1001125889>
Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5-7, 1992 : proceedings / U. Kastens, P. Pfahler, eds
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 641)
図書 <1000458410>
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup
Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science. ; 134)
図書 <1000586780>
Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24-26, 1996 : proceedings / Tibor Gyimóthy, (ed.)
Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1060)
図書 <1000537100>
Compiler construction : 7th International Conference, CC '98, held as part of the Joint European Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Kai Koskimies, ed
Berlin ; New York : Springer , 1998. - (Lecture notes in computer science ; 1383)
図書 <1000559088>
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers / Agostino Cortesi (ed.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2294 . Lecture notes in artificial intelligence)
図書 <1001367958>
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised paper / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2244)
図書 <1001353344>
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / edited by H. Ganzinger and N.D. Jones
Berlin ; New York : Springer-Verlag , c1986. - (Lecture notes in computer science ; 217)
図書 <1000587402>
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 806)
図書 <1000499770>
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers / Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
: gw. - Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 996)
図書 <1000528936>
Compiler compilers : Third International Workshop CC '90, Schwerin, FRG, October 22-24, 1990 : proceedings / D. Hammer (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 477)
図書 <1000412425>
Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 / edited by Wayne Cowell
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 57)
図書 <1000586995>
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science ; 193)
図書 <1000587048>
Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings / Olivier Danvy, Andrzej Filinski (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2053)
図書 <1001266402>
Intelligent agents for telecommunication applications : Third International Workshop, IATA '99, Stockholm, Sweden, August 9-10, 1999 : proceedings / Sahin Albayrak (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1699 . Lecture notes in artificial intelligence)
図書 <1001084231>
Intelligent agents for telecommunication applications : second international workshop, IATA '98, Paris, France, July 4-7, 1998 : proceedings / Sahin Albayrak, Francisco J. Garijo (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1437 . Lecture notes in artificial intelligence)
図書 <1000560256>