上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Programming Congresses)
該当件数:328件
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 660 . Lecture notes in artificial intelligence)
図書 <1000468756>
Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings / P. Schroeder-Heister (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 475 . Lecture notes in artificial intelligence)
図書 <1000412441>
Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)
Berlin ; Tokyo : Springer , c2000. - (Lecture notes in computer science ; 1924)
図書 <1001195196>
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1866 . Lecture notes in artificial intelligence)
図書 <1001180831>
Inductive logic programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Miche︡le Sebag (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2157 . Lecture notes in artificial intelligence)
図書 <1001317293>
Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2196)
図書 <1001317327>
Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence)
図書 <1000499683>
Principles and practice of declarative programming : International Conference PPDP '99, Paris, France, September 29-October 1, 1999 : proceedings / Gopalan Nadathur (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1702)
図書 <1001084273>
Internet programming languages : ICCL '98 Workshop, Chicago, IL, USA, May 13, 1998 : proceedings / Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (eds.)
Berlin : Springer, c1999. - (Lecture notes in computer science ; 1686)
図書 <1001084313>
Programming languages and systems : 9th European Symposium on Programming, ESOP 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 / Gert Smolka (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1782)
図書 <1001125888>
Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1817)
図書 <1001158841>
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>
Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs (ed.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1463)
図書 <1000997407>
Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1559)
図書 <0219012160>
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence)
図書 <1000447283>
Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1992. - (Lecture notes in computer science ; 596 . Lecture notes in artificial intelligence)
図書 <1000448516>
Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 383 . Lecture notes in artificial intelligence)
図書 <1000352076>
Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M. Ratcliffe (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 636 . Lecture notes in artificial intelligence)
図書 <1000455321>
Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 485 . Lecture notes in artificial intelligence)
図書 <1000423125>
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science ; 264)
図書 <1000652022>