Buy Used and New Architecture & Logic Books

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

by Artur S. D'Avila Garcez,Luís C. Lamb,Dov M. Gabbay

ISBN 13: 9783540732457

Format: Hardcover (212 pages)
Publisher: Springer
Published: 22 Oct 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540852377

Format: Paperback (626 pages)
Publisher: Springer
Published: 12 Aug 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540899815

Format: Paperback (844 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later

GPU Computing Gems Emerald Edition (Applications of GPU Computing Series)

by

ISBN 13: 9780123849885

Format: Hardcover (886 pages)
Publisher: Morgan Kaufmann
Published: 21 Mar 2011

Save for later

Achieving Extreme Performance with Oracle Exadata (Osborne Oracle Press Series)

by Rick Greenwald,Robert Stackowiak,Maqsood Alam,Mans Bhuller

ISBN 13: 9780071752596

Format: Paperback (432 pages)
Publisher: McGraw-Hill Osborne
Published: 01 Mar 2011

Save for later

AI for Games and Animation: A Cognitive Modeling Approach

by John David Funge

ISBN 13: 9781568811031

Format: Hardcover (236 pages)
Publisher: A K Peters/CRC Press
Published: 22 Jul 1999

Save for later

Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)

by

ISBN 13: 9783540222613

Format: Paperback (857 pages)
Publisher: Springer
Published: 14 Jun 2004

Save for later

Concurrency in Dependable Computing

by

ISBN 13: 9781441952783

Format: Paperback (328 pages)
Publisher: Springer
Published: 12 Oct 2010

Save for later

Design of Multithreaded Software: The Entity-Life Modeling Approach

by Bo I. Sandén

ISBN 13: 9780470876596

Format: Hardcover (320 pages)
Publisher: Wiley-Blackwell
Published: 15 Feb 2011

Save for later

High Performance Computing on Vector Systems 2008

by

ISBN 13: 9783540858683

Format: Hardcover (256 pages)
Publisher: Springer
Published: 04 Nov 2008

Save for later