Handbook of Practical Logic and Automated Reasoning
by John Harrison
ISBN 13: 9780521899574
Format: Hardcover (702 pages) Publisher: Cambridge University Press Published: 12 Mar 2009
Save for later
Languages and Compilers for Parallel Computing: 21st International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected ... Papers (Lecture Notes in Computer Science)
by Jose Nelson Amaral
ISBN 13: 9783540897392
Format: Paperback (368 pages) Publisher: Springer Published: 12 Dec 2008
Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... 4998 (Lecture Notes in Computer Science)
by Jaume Bacardit
ISBN 13: 9783540881377
Format: Paperback (320 pages) Publisher: Springer Published: 23 Oct 2008
Advances in Data and Web Management: Joint 9th Asia-Pacific Web Conference, Apweb 2007, and 8th International Conference on Web-age Information ... China, June 16-18, 2007, Proceedings: 4505
by Guozhu Dong,Xuemin Lin,Wei Wang
ISBN 13: 9783540724834
Format: Illustrated (922 pages) Publisher: Springer Published: 05 Jun 2007
Modeling and Reasoning with Bayesian Networks
by Adnan Darwiche
ISBN 13: 9780521884389
Format: Illustrated (562 pages) Publisher: Cambridge University Press Published: 06 Apr 2009
The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer
by David Berlinski
ISBN 13: 9780156013918
Format: Illustrated (368 pages) Publisher: Mariner Books Published: 03 May 2001
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach: 234 (Studies in Fuzziness and Soft Computing)
by Eyal Kolman,Michael Margaliot
ISBN 13: 9783540880769
Format: Hardcover (118 pages) Publisher: Springer Published: 17 Jan 2009
Algorithm Engineering: 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings (Lecture Notes in Computer Science)
by Gerd Stoelting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela
ISBN 13: 9783540425007
Format: Paperback (199 pages) Publisher: Springer Published: 15 Aug 2001
Artificial Neural Networks: Preliminary Entry 2104: Methods and Applications (Methods in Molecular Biology): 458
by David J. Livingstone
ISBN 13: 9781588297181
Format: Illustrated (268 pages) Publisher: Humana Press Published: 24 Oct 2008
Practical Problems in VLSI Physical Design Automation
by Sung Kyu Lim
ISBN 13: 9781402066269
Format: Hardcover (300 pages) Publisher: Springer Published: 04 Aug 2008
Sharing a Vision: Systems and Algorithms for Collaboratively-Teleoperated Robotic Cameras: 51 (Springer Tracts in Advanced Robotics)
by Song
ISBN 13: 9783540880646
Format: Hardcover (212 pages) Publisher: Springer Published: 17 Jan 2009
How We Became Posthuman: Virtual Bodies in Cybernetics, Literature, and Informatics
by N. Katherine Hayles
ISBN 13: 9780226321462
Format: Illustrated (364 pages) Publisher: University of Chicago Press Published: 15 Feb 1999