Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)
by Wolfgang Bibel,P.H. Schmitt
ISBN 13: 9780792351290
Format: Illustrated (508 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover
Save for later
AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008 ... 5360 (Lecture Notes in Computer Science)
by Wayne Wobcke
ISBN 13: 9783540893776
Format: Paperback (632 pages) Publisher: Springer Published: 03 Dec 2008
Advanced Computational Intelligence Paradigms in Healthcare - 3: Agent-Based Thinking: 107 (Studies in Computational Intelligence)
by Margarita Sordo, Sachin Vaidya, Lakhmi C. Jain
ISBN 13: 9783540776611
Format: Hardcover (268 pages) Publisher: Springer Published: 26 Jun 2008
Trust in Agent Societies: 11th International Workshop, Trust 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers: 5396 (Lecture Notes in Computer Science)
by Rino Falcone
ISBN 13: 9783540928027
Format: Paperback (360 pages) Publisher: Springer Published: 18 Dec 2008
A First Course in Discrete Mathematics (Springer Undergraduate Mathematics Series)
by Ian Anderson
ISBN 13: 9781852332365
Format: Illustrated (208 pages) Publisher: Springer Published: 27 Oct 2000
Simply SQL: The Fun and Easy Way to Learn Best-Practice SQL
by Rudy Limeback
ISBN 13: 9780980455250
Format: Illustrated (318 pages) Publisher: SitePoint Published: 15 Jan 2009
Eclipse Cookbook
by Steve Holzner
ISBN 13: 9780596007102
Format: Illustrated (362 pages) Publisher: O′Reilly Published: 01 Jul 2004
Clustering: 10 (IEEE Press Series on Computational Intelligence)
by Don Wunsch,Rui Xu
ISBN 13: 9780470276808
Format: Illustrated (370 pages) Publisher: John Wiley & Sons Published: 07 Nov 2008
Intelligent Data Analysis: An Introduction
by Michael R. Berthold,David J Hand
ISBN 13: 9783540430605
Format: Illustrated (526 pages) Publisher: Springer Published: 19 Mar 2003
Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science)
by Richard Lai,Ajin Jirachiefpattana
ISBN 13: 9780792382843
Format: Illustrated (332 pages) Publisher: Springer Published: 30 Sep 1998
Concrete Mathematics: A Foundation for Computer Science
by Donald E. Knuth, Ronald L. Graham, Oren Patashnik
ISBN 13: 9780201558029
Format: Hardcover (672 pages) Publisher: Addison Wesley Published: 28 Feb 1994
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman
ISBN 13: 9780444520128
Format: Illustrated (640 pages) Publisher: Elsevier Science Published: 09 Jun 2009