上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: 005.1/1)
該当件数:32件
Principles and practice of constraint programming -CP '96 : Second International Conference, CP ʾ96, Cambridge, MA, USA, August 19-22, 1996 : proceedings / Eugene C. Freuder (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1118)
図書 <1000542111>
Advanced functional programming : Second International School, Olympia, WA, USA, August 26-30, 1996 : tutorial text / John Launchbury, Erik Meijer, Tim Sheard, (eds.)
Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1129)
図書 <1000542448>
Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 874)
図書 <1000506327>
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer
Cambridge, Mass. : MIT Press , c1993. - (Logic programming)
図書 <1000482005>
Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings / Shojiro Nishio, Akinori Yonezawa (eds.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 742)
図書 <1000483859>
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>
Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings / Mario Tokoro, Remo Pareschi (eds.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 821)
図書 <1000501778>
Principles and practice of constraint programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 : proceedings / Joxan Jaffar (ed.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1713)
図書 <1001084279>
Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1608)
図書 <1001063828>
Principles and practice of constraint programming - CP98 : 4th International Conference, CP 98, Pisa, Italy, October 26-30, 1998 : proceedings / Michael Maher, Jean-Francois Puget (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1520)
図書 <1000997457>
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>
Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30-October 2, 1991 : proceedings / H.P. Zima (ed.)
: New York,: Berlin. - Berlin ; New York : Springer , c1992. - (Lecture notes in computer science ; 591)
図書 <1000447316>
Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings / J.W. de Bakker ... [et al.], eds
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 600)
図書 <1000451123>
ECOOP '92, European Conference on Object-Oriented Programming : Utrecht, The Netherlands, June 29-July 3, 1992 : proceedings / O. Lehrmann Madsen, (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 615)
図書 <1000451155>
Literate programming / Donald E. Knuth
: pbk. - Stanford, CA : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 27)
図書 <1000452684>
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>
An introduction to discrete mathematics, formal system specification, and Z / D.C. Ince
: hbk.,: pbk.. - 2nd ed. - Oxford : Clarendon Press. - New York : Oxford University Press , 1992. - (Oxford applied mathematics and computing science series)
図書 <1000466942>
ECOOP '93, object-oriented programming : 7th European conference Kaiserslautern, Germany, July 26-30, 1993 : proceedings / Oscar M. Nierstrasz (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 707)
図書 <1000480080>
Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (Eds.)
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 883)
図書 <1000509751>
Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, (ed.)
: gw. - Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 910)
図書 <1000518036>