QA76.6 .U848 1993 : Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / edited by Kenneth J. Turner.
Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / edited by Kenneth J. Turner.
Sherman Library
1993
QA76.6 .U89 2006 : Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers / Steve Dunne, Bill Stoddart (eds.).
Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers / Steve Dunne, Bill Stoddart (eds.).
Sherman Library
2006
QA76.6 .W318 1983 : CP/M bible : the authoritative reference guide to CP/M / by Mitchell Waite and John Angermeyer ; illustrated by T.R. Emrick.
CP/M bible : the authoritative reference guide to CP/M / by Mitchell Waite and John Angermeyer ; illustrated by T.R. Emrick.
Sherman Library
1983
QA76.6 .W3195 1984 : Compiler construction / William M. Waite, Gerhard Goos.
Compiler construction / William M. Waite, Gerhard Goos.
Sherman Library
Annual International Workshop on Microprogramming and Microarchitecture : [proceedings].
Sherman Library
c1990
Proceedings of the ... Annual International Symposium on Microarchitecture.
Sherman Library
c1991-
QA76.6 .Y63 2001 : Your wish is my command : programming by example / edited by Henry Liebermanr.
Your wish is my command : programming by example / edited by Henry Liebermanr.
Sherman Library
2001
QA76.6 .Y6682 1998 : Rise & resurrection of the American programmer / Edward Yourdon.
Rise & resurrection of the American programmer / Edward Yourdon.
Sherman Library
1998
QA76.6 .Z32 1996 : Introduction to scientific programming : computational problem solving using Maple and C / Joseph L. Zachary.
Introduction to scientific programming : computational problem solving using Maple and C / Joseph L. Zachary.
Sherman Library
1996
QA76.6 .Z56 1990 : Supercompilers for parallel and vector computers / Hans Zima, Barbara Chapman.
Supercompilers for parallel and vector computers / Hans Zima, Barbara Chapman.
Sherman Library
1990
QA76.612 .A53 2000 : Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszyski (eds.).
Analysis and visualization tools for constraint programming : constraint debugging / Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszyski (eds.).
Sherman Library
2000
QA76.612 .A675 2007 : Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.
Constraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.
Sherman Library
2007
QA76.612 .A68 2003 : Principles of constraint programming / Krzysztof R. Apt.
Principles of constraint programming / Krzysztof R. Apt.
Sherman Library
2003
QA76.612 .A94 2003 : Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo.
Constraint solving over multi-valued logics : application to digital circuits / Francisco Azevedo.
Sherman Library
2003
QA76.612 .B57 2004 : Semirings for soft constraint solving and programming / Stefano Bistarelli.
Semirings for soft constraint solving and programming / Stefano Bistarelli.
Sherman Library
2004
QA76.612 .C62 2002 : Global optimization and constraint satisfaction : first International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002 : revised selected papers / Christian Bliek, Christophe Jermann, Arnold Neumaier (eds.).
Global optimization and constraint satisfaction : first International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 20
Sherman Library
2003
QA76.612 .C64 1996 : Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / Gabriel Kuper, Mark Wallace, eds.
Constraint databases and applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings / Gabriel Kuper, Mark Wallace, eds.
Sherman Library
1996
QA76.612 .C64 2004 : Constraint and integer programming : toward a unified methodology / edited by Michela Milano.
Constraint and integer programming : toward a unified methodology / edited by Michela Milano.
Sherman Library
2004
QA76.612 .C693 2001 : 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.).
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 Tr
Sherman Library
2001
QA76.612 .C7 : Principles and practice of constraint programming.
Principles and practice of constraint programming.
Sherman Library
c1996-
QA76.612 .C78 2004 : Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers / Henning Christiansen, Peter Rossen Skadhauge, Jųrgen Villadsen (eds.).
Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers / Henning Christiansen, Peter Rossen S
Sherman Library
QA76.612 .I59 1997 : 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 ... [and others], eds.
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, Cam
Sherman Library
1996
QA76.612 .I63 : Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP ... selected papers.
Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP ... selected papers.
Sherman Library
QA76.612 .J65 2005 : Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers / Brahim Hnich ... [and others](eds.).
Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and
Sherman Library
2006
QA76.612 .N49 2000 : New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt ... [and others] (eds.).
New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / Krzysztof R. Apt ... [and others] (eds.).
Sherman Library
2000
QA76.612 .P75 1995 : 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.
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.
Sherman Library
1995
QA76.612 .S38 2002 : Programming constraint services : high-level programming of standard and new constraint services / Christian Schulte.
Programming constraint services : high-level programming of standard and new constraint services / Christian Schulte.
Sherman Library
2002
QA76.615 .I5 : Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP.
Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP.
Sherman Library
1999-
QA76.615 .I57 2004 : Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / Dietmar Seipel ... [and others] (eds.).
Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Log
Sherman Library
2005
QA76.615 .P55 1998 : Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (ed.).
Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 1998 : proceedings / Catuscia Palamid
Sherman Library
1998
QA76.615 .P57 1999 : Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September/October 1999 : proceedings / Gopalan Nadathur (ed.).
Principles and practice of declarative programming : International Conference PPDP'99, Paris, France, September/October 1999 : proceedings / Gopalan Nadathur (ed.).
Sherman Library
1999
QA76.618 .A215 2002 : Advances in evolutionary computing : theory and applications / Ashish Ghosh, Shigeyoshi Tsutsui (eds.).
Advances in evolutionary computing : theory and applications / Ashish Ghosh, Shigeyoshi Tsutsui (eds.).
Sherman Library
2002
QA76.618 .A217 1997 : Artificial evolution : 3rd European conference, AE '97, Nīmes, France, October 22-24, 1997 : selected papers / J.-K. Hao ... [and others] (eds.).
Artificial evolution : 3rd European conference, AE '97, Nīmes, France, October 22-24, 1997 : selected papers / J.-K. Hao ... [and others] (eds.).
Sherman Library
1998
QA76.618 .A217 1999 : Artificial evolution : 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers / Cyril Fonlupt... [and others], (eds.).
Artificial evolution : 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers / Cyril Fonlupt... [and others], (eds.).
Sherman Library
2000
QA76.618 .A22 1997 : Evolutionary computing : AISB International Workshop, Manchester, UK, April 7-8, 1997 : selected papers / David Corne, Jonathan L. Shapiro (eds.).
Evolutionary computing : AISB International Workshop, Manchester, UK, April 7-8, 1997 : selected papers / David Corne, Jonathan L. Shapiro (eds.).
Sherman Library
1997
QA76.618 .A79 2008 : The art of artificial evolution : a handbook on evolutionary art and music / Juan Romero, Penousal Machado, eds.
The art of artificial evolution : a handbook on evolutionary art and music / Juan Romero, Penousal Machado, eds.
Sherman Library