Buy Used and New Architecture & Logic Books

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

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

Real-Time Systems: Design Principles for Distributed Embedded Applications (Real-Time Systems Series)

by Hermann Kopetz

ISBN 13: 9781441982360

Format: Hardcover (394 pages)
Publisher: Springer
Published: 20 Apr 2011

Save for later

Debugging at the Electronic System Level

by Frank Rogin,Rolf Drechsler

ISBN 13: 9789048192540

Format: Hardcover (218 pages)
Publisher: Springer
Published: 05 Jul 2010

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

Multimedia Multiprocessor Systems: Analysis, Design and Management (Embedded Systems)

by Akash Kumar,Henk Corporaal,Bart Mesman,Yajun Ha

ISBN 13: 9789400700826

Format: Hardcover (179 pages)
Publisher: Springer
Published: 23 Sep 2010

Save for later

Pervasive Information Architecture: Designing Cross-Channel User Experiences

by Andrea Resmini,Luca Rosati

ISBN 13: 9780123820945

Format: Paperback (272 pages)
Publisher: Morgan Kaufmann
Published: 17 May 2011

Save for later