Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ... Computer Science and General Issues)
by
ISBN 13: 9783642027765
Format: Paperback (540 pages) Publisher: Springer Published: 19 Jun 2009
Save for later
Computer Graphics and Geometric Modelling: Mathematics: Mathematics v. 2
by Max K. Agoston
ISBN 13: 9781852338176
Format: Hardcover (976 pages) Publisher: Springer Published: 01 Mar 2005 Other Format: Hardcover
Advanced Parallel Processing Technologies: 6th International Workshop, APPT 2005, Hong kong, China, October 27-28, 2005, Proceedings: 5th ... 4002 (Lecture Notes in Computer Science)
by Ming Xu,Jiannong Cao,Wolfgang Nejdl
ISBN 13: 9783540354673
Format: Paperback (544 pages) Publisher: Springer Published: 07 Dec 2006
The Mind in Action: Personal View of Cognitive Science (Psychology Library Editions: Cognitive Science)
by Alan Garnham
ISBN 13: 9780415008495
Format: Paperback (160 pages) Publisher: Routledge Published: 02 May 1991
Advances in Information Retrieval: 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings (Lecture Notes in Computer Science)
by Giovanni Romano, Giambattista Amati, Claudio Carpineto
ISBN 13: 9783540714941
Format: Paperback (759 pages) Publisher: Springer Published: 19 Mar 2007
How Machines Think: General Introduction to Artificial Intelligence Illustrated in PROLOG
by Nigel Ford
ISBN 13: 9780471911395
Format: Illustrated (214 pages) Publisher: Wiley–Blackwell Published: 22 Apr 1987
New Approaches to Circle Packing in a Square: With Program Codes (Springer Optimization and Its Applications): 6
by P. G. Szabo,M. Cs Markot,T. Csendes
ISBN 13: 9780387456737
Format: Illustrated (258 pages) Publisher: Springer Published: 09 Feb 2007
Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit)
by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, P. Fradet, A. Sinclair
ISBN 13: 9783540538523
Format: Paperback (210 pages) Publisher: Springer Published: 03 Apr 1991
Computers and Intractability: A Guide to the Theory of NP-completeness (Series of Books in the Mathematical Sciences)
by M R Garey,D S Johnson
ISBN 13: 9780716710455
Format: Paperback (338 pages) Publisher: W. H. Freeman Published: 26 Apr 1979
Computational and Conversational Discourse: Burning Issues ― An Interdisciplinary Account: 151 (Nato ASI Subseries F:, 151)
by Eduard H. Hovy,Donia R. Scott
ISBN 13: 9783540609483
Format: Hardcover (214 pages) Publisher: Springer Published: 17 Sep 1996
Cryptology and Network Security: 7th International Conference, CANS 2008, Hong-Kong, China, December 2-4, 2008. Proceedings (Lecture Notes in Computer Science/Security and Cryptology): 5339
by Matthew K. Franklin
ISBN 13: 9783540896401
Format: Paperback (412 pages) Publisher: Springer Published: 03 Dec 2008
Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)
by Francesca Rossi, François Fages, Sylvain Soliman
ISBN 13: 9783540898115
Format: Paperback (159 pages) Publisher: Springer Published: 01 Dec 2008