選択資料から書架並びで前後20冊ずつを表示します。
Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.], (eds.)
書庫2階
Attribute grammar inversion and source-to-source translation / Daniel M. Yellin
書庫2階
Introduction to scientific programming : computational problem solving with Mathematica and C / Joseph L. Zachary
書庫2階
Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszyński (eds.)
書庫2階
Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / Gabriel Kuper, Mark Wallace (eds.)
書庫2階
Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, (ed.)
書庫2階
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.)
書庫2階
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.)
書庫2階
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.)
書庫2階
Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 - November 1, 1997 : proceedings / Gert Smolka (ed.)
書庫2階
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.)
書庫2階
Principles and practice of constraint programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 : proceedings / Joxan Jaffar (ed.)
書庫2階
Principles and practice of constraint programming - CP 2000 : 6th International Conference, CP2000, Singapore, September 18-21, 2000 : proceedings / Rina Dechter (ed.)
書庫2階
Principles and practice of constraint programming - CP 2001 : 7th International Conference, CP2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings / Toby Walsh (ed.)
書庫2階
Constraint databases and applications : Second International Workshop on Constraint Database 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.)
書庫2階
New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt ... [et al.]
書庫2階
Programming constraint services : high-level programming of standard and new constraint services / Christian Schulte
書庫2階
Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.)
書庫2階