Buy Used and New Architecture & Logic Books

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

Software Engineering 2: Specification of Systems and Languages: v. 2 (Texts in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner

ISBN 13: 9783540211501

Format: Hardcover (804 pages)
Publisher: Springer
Published: 22 Feb 2006
Other Format: Hardcover

Save for later

Cryptographic Hardware and Embedded Systems - CHES 2007: 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783540747345

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Software Language Engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers ... / Programming and Software Engineering)

by

ISBN 13: 9783642194399

Format: Paperback (428 pages)
Publisher: Springer
Published: 23 Feb 2011

Save for later

Recent Advances in Constraints: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642194856

Format: Paperback (164 pages)
Publisher: Springer
Published: 16 Mar 2011

Save for later

Selected Papers on Analysis of Algorithms (Center for the Study of Language and Information Publication Lecture Notes)

by Donald E. Knuth

ISBN 13: 9781575862125

Format: Paperback (540 pages)
Publisher: Cambridge University Press
Published: 29 May 2000

Save for later

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