Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Save for later
The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
by B. Jack Copeland,B. Jack Copeland
ISBN 13: 9780198250807
Format: Illustrated (622 pages) Publisher: Oxford University Press, USA Published: 18 Nov 2004
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 12th International Conference, RSFDGrC 2009, Delhi, India, December 16-18, 2009, ... / Lecture Notes in Artificial Intelligence)
by Hiroshi Sakai, Mihir Chakraborty, Aboul-Ella Hassanien, Dominik Slezak, William Zhu
ISBN 13: 9783642106453
Format: Paperback (528 pages) Publisher: Springer Published: 30 Nov 2009
Insights Into Mobile Multimedia Communications (Signal Processing and its Applications)
by David R. Bull Professor,C. Nishan Canagarajah,Andrew R. Nix
ISBN 13: 9780121403102
Format: Illustrated (682 pages) Publisher: Morgan Kaufmann Published: 08 Oct 1998
Essential ASP.NET™ fast: with examples in VB .Net (Essential Series)
by Simon Stobart
ISBN 13: 9781852336837
Format: Paperback (248 pages) Publisher: Springer Published: 24 Oct 2002
Self-Organizing Systems: 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009, Proceedings (Lecture Notes in ... Networks and Telecommunications)
by Thrasyvoulos Spyropoulos, Karin Anna Hummel
ISBN 13: 9783642108648
Format: Paperback (269 pages) Publisher: Springer Published: 30 Nov 2009
Designing Storage for Exchange 2007 SP1 (Digital Press Storage Technologies)
by Pierre Bijaoui, Juergen Hasslauer
ISBN 13: 9781555583088
Format: Paperback (560 pages) Publisher: Digital Press Published: 30 Sep 2008
Principles of Model Checking (The MIT Press)
by Christel Baier,Joost-Pieter Katoen
ISBN 13: 9780262026499
Format: Illustrated (975 pages) Publisher: The MIT Press Published: 03 Jun 2008
Data Warehousing Design and Advanced Engineering Applications: Methods for Complex Construction (Advances in Data Warehousing and Mining (Adwm) Book) (Premier Reference Source)
by Ladjel Bellatreche
ISBN 13: 9781605667560
Format: Illustrated (362 pages) Publisher: IGI Global Published: 15 Sep 2009
Realizability: An Introduction to its Categorical Side: Volume 152 (Studies in Logic and the Foundations of Mathematics)
by Jaap van Oosten
ISBN 13: 9780444515841
Format: Hardcover (328 pages) Publisher: Elsevier Science Published: 06 Mar 2008
Research and Advanced Technology for Digital Libraries: Third European Conference, ECDL'99, Paris, France, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science): 1696
by Serge Abiteboul
ISBN 13: 9783540665588
Format: Paperback (516 pages) Publisher: Springer Published: 18 Oct 1999
Managing Knowledge Networks
by J. David Johnson
ISBN 13: 9780521514545
Format: Illustrated (384 pages) Publisher: Cambridge University Press Published: 01 Oct 2009 Other Format: Paperback