Buy Used and New Architecture & Logic Books

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

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

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein

ISBN 13: 9783540004288

Format: Hardcover (437 pages)
Publisher: Springer
Published: 24 Apr 2007

Save for later

ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers (Communications in Computer and Information Science)

by

ISBN 13: 9783642193248

Format: Paperback (378 pages)
Publisher: Springer
Published: 01 Mar 2011

Save for later