Buy Used and New Architecture & Logic Books

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna

ISBN 13: 9783540741121

Format: Hardcover (366 pages)
Publisher: Springer
Published: 03 Sep 2007

Save for later

Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)

by Jim Smith,Ravi Nair

ISBN 13: 9781558609105

Format: Hardcover (656 pages)
Publisher: Morgan Kaufmann
Published: 12 Jul 2005

Save for later

Design of Enterprise Systems

by N/A

ISBN 13: 9781439818237

Format: Hardcover (447 pages)
Publisher: CRC Press
Published: 27 Jan 2010

Save for later

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th ... Computer Science and General Issues)

by N/A

ISBN 13: 9783642046384

Format: Paperback (367 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

Neural Networks in a Softcomputing Framework

by Ke-Lin Du,M.N.S. Swamy

ISBN 13: 9781846283024

Format: Hardcover (566 pages)
Publisher: Springer
Published: 18 Apr 2006

Save for later

Job Scheduling Strategies for Parallel Processing: 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers (Lecture Notes ... Computer Science and General Issues)

by N/A

ISBN 13: 9783642046322

Format: Paperback (301 pages)
Publisher: Springer
Published: 05 Oct 2009

Save for later

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

by N/A

ISBN 13: 9783642114854

Format: Paperback (425 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, ... Networks and Telecommunications)

by N/A

ISBN 13: 9783642050305

Format: Paperback (247 pages)
Publisher: Springer
Published: 16 Oct 2009

Save for later

Embedded Linux System Design and Development

by P. Raghavan,Amol Lad,Sriram Neelakandan

ISBN 13: 9780849340581

Format: Hardcover (432 pages)
Publisher: Auerbach Publications
Published: 21 Dec 2005

Save for later

Reinforcement Learning and Dynamic Programming Using Function Approximators (Automation and Control Engineering)

by Lucian Busoniu,Robert Babuska,Bart De Schutter,Damien Ernst

ISBN 13: 9781439821084

Format: Hardcover (280 pages)
Publisher: CRC Press
Published: 29 Apr 2010

Save for later

Graph Classification And Clustering Based On Vector Space Embedding (Series in Machine Perception and Artificial Intelligence)

by Riesen Kaspar & Bunke Horst

ISBN 13: 9789814304719

Format: Hardcover (348 pages)
Publisher: World Scientific Publishing
Published: 30 Jun 2011

Save for later

The Compiler Design Handbook: Optimizations and Machine Code Generation

by

ISBN 13: 9781420043822

Format: Hardcover (784 pages)
Publisher: CRC Press
Published: 07 Dec 2007

Save for later