Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
by Michael G. Hinchey
ISBN 13: 9781852336400
Format: Illustrated (420 pages) Publisher: Springer Published: 17 Sep 1999
Save for later
Kasparov and Deep Blue: The Historic Chess Match Between Man and Machine
by Bruce Pandolfini
ISBN 13: 9780684848525
Format: Illustrated (176 pages) Publisher: Touchstone Published: 16 Oct 1997
Advanced Data Structures
by Peter Brass
ISBN 13: 9780521880374
Format: Hardcover (472 pages) Publisher: Cambridge University Press Published: 08 Sep 2008
Algorithms & Data Structures
by William McAllister
ISBN 13: 9780763757564
Format: Paperback (600 pages) Publisher: Jones and Bartlett Publishers, Inc Published: 29 Sep 2008
Learning and Intelligent Optimization: Second International Conference, LION 2007 II Trento, Italy, December 8-12, 2007 Selected Papers (Lecture Notes in Computer Science)
by Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson
ISBN 13: 9783540926948
Format: Paperback (243 pages) Publisher: Springer Published: 18 Dec 2008
Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations: 102 (Studies in Computational Intelligence)
by Carlos Cotta, Simeon Reich, Antoni Ligeza
ISBN 13: 9783540774747
Format: Hardcover (344 pages) Publisher: Springer Published: 30 May 2008
Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)
by Nancy A. Lynch
ISBN 13: 9781558603486
Format: Hardcover (904 pages) Publisher: Morgan Kaufmann Published: 16 Apr 1996
Geometric Fundamentals of Robotics (Monographs in Computer Science)
by J.M. Selig
ISBN 13: 9780387208749
Format: Hardcover (398 pages) Publisher: Springer Published: 07 Jan 2005
Advances in Multidisciplinary Retrieval: First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)
by
ISBN 13: 9783642130830
Format: Paperback (167 pages) Publisher: Springer Published: 20 May 2010
Music Recommendation and Discovery: The Long Tail, Long Fail, and Long Play in the Digital Music Space
by Òscar Celma
ISBN 13: 9783642132865
Format: Hardcover (194 pages) Publisher: Springer Published: 05 Sep 2010
Computational Fluid Dynamics with Moving Boundaries (Dover Books on Engineering)
by Wei Shyy,H.S. Udaykumar
ISBN 13: 9780486458908
Format: Paperback (304 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2000
Studying Those Who Study Us: An Anthropologist in the World of Artificial Intelligence (Writing Science)
by Diana E. Forsythe
ISBN 13: 9780804742030
Format: Paperback (272 pages) Publisher: Stanford University Press Published: 31 Jul 2001