東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.612)
該当件数:18件
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é, R
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2002)
図書
Constraint databases and applications : Second International Workshop on Constraint Database and Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996 : selected papers / V. Gaede ... [et al.], eds
Berlin : Springer , c1996. - New York. - (Lecture notes in computer science. ISSN:0302-9743 ; 1191)
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)
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)
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)
Constraint programming and large scale discrete optimization : DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center / Eugene C. Freude
Providence, RI : American Mathematical Society , 2001. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 57)
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)
Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, (ed.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 910)
Principles and practice of constraint programming : the newport papers / edited by Vijay Saraswat and Pascal Van Hentenryck ; advising editors, Paris Kanellakis, Jean-Louis Lassez, Ralph Wachter
Cambridge, Mass. : MIT Press , c1995
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)
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)
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)
Constraint processing : selected papers / Manfred Meyer (ed.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 923)
Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 874)
Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / Gabriel Kuper, Mark Wallace (eds.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1034)
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 : Springer , c1995. - New York. - (Lecture notes in computer science ; 976)