上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Computer programming Congresses)
該当件数:156件
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>
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>
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>
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>
Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1837)
図書 <1001170073>
Trends in network and pervasive computing-ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002 : proceedings / Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
Berlin : Springer-Verlag , c2002. - (Lecture notes in computer science ; 2299)
図書 <1001366251>
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>
Progress in evolutionary computation / AI'93 and AI'94 Workshops on Evolutionary Computation, Melbourne, Victoria, Australia, November 16,1993, Armidale, NSW, Australia, November 21-22, 1994
Berlin : Springer , c1995. - (Lecture notes in computer science ; 956 . Lecture notes in artificial intelligence)
図書 <1000699373>
High-level parallel programming models and supportive environments : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 : proceedings / Frank Mueller (ed.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2026)
図書 <1001266373>
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>
Principles and practice of constraint programming - CP 2000 : 6th International Conference, CP2000, Singapore, September 18-21, 2000 : proceedings / Rina Dechter (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1894)
図書 <1001195190>
New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt ... [et al.]
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1865 . Lecture notes in artificial intelligence)
図書 <1001192689>
OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 : proceedings / Rudolf Eigenmann, Michael J. Voss (eds.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2104)
図書 <1001298418>
Genetic programming : 4th European conference, EuroGP 2001, Lake Como, Italy, April 18-20, 2001 : proceedings / Julian Miller ... [et al.] (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2038)
図書 <1001263049>
Principles and practice of constraint programming - CP 2001 : 7th International Conference, CP2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings / Toby Walsh (ed.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2239)
図書 <1001347914>
Genetic programming : 5th European conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002 : proceedings / James A. Foster... [et al.] (eds.)
Berlin : Springer , c2002. - (Lecture notes in computer science ; 2278)
図書 <1001366267>
Generic programming : International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers / Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1766)
図書 <1001202600>
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>