NovaCat - NSU Libraries Catalog user info Skip the menu to the main content
     

Nearby LIBRARY OF CONGRESS CALL NOS are:
   Prev Next
Check   Format Year
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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 1983
QA76.6 .W3195 1984 : Compiler construction / William M. Waite, Gerhard Goos.     
      Compiler construction / William M. Waite, Gerhard Goos. Sherman Library   PRINT MATERIAL 1984
QA76.6 .W3265 2002 : Complete idiot's guide to programming basics / Clayton Walnum.     
      Complete idiot's guide to programming basics / Clayton Walnum. Sherman Library   PRINT MATERIAL 2002
QA76.6 .W335 2001 : The essential guide to computing / E. Garrison Walters.     
      The essential guide to computing / E. Garrison Walters. Sherman Library   PRINT MATERIAL 2001
QA76.6 .W344 1996 : The programmer's job handbook / Gene Wang.     
      The programmer's job handbook / Gene Wang. Sherman Library   PRINT MATERIAL 1996
QA76.6 .W375 2003 : Hacker's delight / Henry S. Warren, Jr.     
      Hacker's delight / Henry S. Warren, Jr. Sherman Library   PRINT MATERIAL 2003
QA76.6 .W376 1993 : Watch what I do : programming by demonstration / edited by Allen Cypher ; co-edited by Daniel C. Halbert ... [and others].     
      Watch what I do : programming by demonstration / edited by Allen Cypher ; co-edited by Daniel C. Halbert ... [and others]. Sherman Library   PRINT MATERIAL 1993
QA76.6 .W384 : 67 ready-to-run programs in BASIC : graphics, home & business, education, games / by Wm. Scott Watson.     
      67 ready-to-run programs in BASIC : graphics, home & business, education, games / by Wm. Scott Watson. Sherman Library   PRINT MATERIAL 1981
QA76.6 .W45 : The psychology of computer programming / Gerald M. Weinberg.     
      The psychology of computer programming / Gerald M. Weinberg. Sherman Library   PRINT MATERIAL 1971
QA76.6 .W5472x 1999 : Logical derivation of computer programs / Thomas G. Windeknecht.     
      Logical derivation of computer programs / Thomas G. Windeknecht. Sherman Library   PRINT MATERIAL 1999
QA76.6 .W5557 1990 : Designing object-oriented software / Rebecca Wirfs-Brock, Brian Wilkerson, Lauren Wiener.     
      Designing object-oriented software / Rebecca Wirfs-Brock, Brian Wilkerson, Lauren Wiener. Sherman Library   PRINT MATERIAL 1990
QA76.6 .W59 : The environment for systems programs / Frederic G. Withington.     
      The environment for systems programs / Frederic G. Withington. Sherman Library   PRINT MATERIAL 1978
QA76.6 .W62 1988 : Rule-based programming with OPS 5 / Nancy Wogrin and Thomas Cooper.     
      Rule-based programming with OPS 5 / Nancy Wogrin and Thomas Cooper. Sherman Library   PRINT MATERIAL 1988
QA76.6 .W63 1983 : Conversion of computer software / John R. Wolberg.     
      Conversion of computer software / John R. Wolberg. Sherman Library   PRINT MATERIAL 1983
QA76.6 .W69a    
      Annual International Workshop on Microprogramming and Microarchitecture : [proceedings]. Sherman Library   PRINT MATERIAL c1990
      Proceedings of the ... Annual International Symposium on Microarchitecture. Sherman Library   PRINT MATERIAL 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   PRINT MATERIAL 2001
QA76.6 .Y6682 1998 : Rise & resurrection of the American programmer / Edward Yourdon.     
      Rise & resurrection of the American programmer / Edward Yourdon. Sherman Library   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 2007
QA76.612 .A68 2003 : Principles of constraint programming / Krzysztof R. Apt.     
      Principles of constraint programming / Krzysztof R. Apt. Sherman Library   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 2001
QA76.612 .C7 : Principles and practice of constraint programming.     
      Principles and practice of constraint programming. Sherman Library   PRINT MATERIAL 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   PRINT MATERIAL 2005
QA76.612 .F78 2003 : Essentials of constraint programming / Thom Fr uhwirth, Slim Abdennadher.     
      Essentials of constraint programming / Thom Fr uhwirth, Slim Abdennadher. Sherman Library   PRINT MATERIAL 2003
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   PRINT MATERIAL 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   PRINT MATERIAL  
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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 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   PRINT MATERIAL 2008
QA76.618 .B46 1999 : Evolutionary design by computers / Peter Bentley.     
      Evolutionary design by computers / Peter Bentley. Sherman Library   PRINT MATERIAL 1999
QA76.618 .B49 2001 : The theory of evolution strategies / Hans-Georg Beyer.     
      The theory of evolution strategies / Hans-Georg Beyer. Sherman Library   PRINT MATERIAL 2001
   Prev Next
Use classic NovaCat |