上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(標準分類: QA76.612)
該当件数:14件
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>
Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2002)
図書 <1001263446>
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>
Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1870)
図書 <1001205128>
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>
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'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>
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>
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>
Constraint processing : selected papers / Manfred Meyer (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , 1995. - (Lecture notes in computer science ; 923)
図書 <1000522171>
Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / Gabriel Kuper, Mark Wallace (eds.)
: gw. - Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1034)
図書 <1000534219>
Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings / Gert Smolka (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1330)
図書 <1000556321>
Principles and practice of constraint programming -- CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.)
Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 976)
図書 <1000527106>