Buy Used and New Architecture & Logic Books

Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence

by Pamela McCorduck

ISBN 13: 9781568812052

Format: Paperback (600 pages)
Publisher: A K Peters/CRC Press
Published: 17 Mar 2004

Save for later

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

The Steiner Tree Problem: A Tour Through Graphs, Algorithms and Complexity (Advanced Lectures in Mathematics)

by Hans-Jurgen Promel,Angelika Steger,Hans-Juergen Proemel

ISBN 13: 9783528067625

Format: Paperback (241 pages)
Publisher: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
Published: Aug 1996

Save for later

Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)

by Chi-Sing Leung, Minho Lee, Jonathan H. Chan

ISBN 13: 9783642106828

Format: Paperback (888 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings (Lecture Notes of the Institute ... and Telecommunications Engineering)

by Alexandre Schmid,Sanjay Goel,Wei Wang,Valeriu Beiu,Sandro Carrara

ISBN 13: 9783642048494

Format: Paperback (304 pages)
Publisher: Springer
Published: 06 Oct 2009

Save for later

High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009, Procceding: 5409 (Lecture Notes in Computer Science)

by Andre Seznec

ISBN 13: 9783540929895

Format: Paperback (436 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

Handbook of Natural Language Processing (Chapman & Hall/CRC Machine Learning & Pattern Recognition)

by Nitin Indurkhya,Fred J. Damerau

ISBN 13: 9781420085921

Format: Illustrated (702 pages)
Publisher: Chapman and Hall/CRC
Published: 22 Feb 2010

Save for later

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later

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

Adaptive and Natural Computing Algorithms: 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers: 5495 (Lecture Notes in Computer Science)

by Mikko Kolehmainen,Pekka Toivanen,Bartlomiej Beliczynski

ISBN 13: 9783642049200

Format: Illustrated (648 pages)
Publisher: Springer Berlin Heidelberg
Published: 15 Oct 2009

Save for later

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

The Pillars of Computation Theory: State, Encoding, Nondeterminism: 0 (Universitext)

by Arnold L. L. Rosenberg

ISBN 13: 9780387096384

Format: Paperback (344 pages)
Publisher: Springer
Published: 12 Nov 2009

Save for later