Buy Used and New Architecture & Logic Books

Taxonomies for the Development and Verification of Digital Systems

by

ISBN 13: 9780387240190

Format: Hardcover (180 pages)
Publisher: Springer
Published: 10 May 2005

Save for later

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

Save for later

Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642004360

Format: Paperback (311 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642017476

Format: Paperback (245 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642020162

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Apr 2009

Save for later

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

by Jean-Pierre Deschamps,Gery J.A. Bioul,Gustavo D. Sutter

ISBN 13: 9780471687832

Format: Hardcover (576 pages)
Publisher: Wiley-Blackwell
Published: 31 Mar 2006

Save for later

Fundamentals of Digital Logic and Microcomputer Design

by M. Rafiquzzaman

ISBN 13: 9780471727842

Format: Hardcover (872 pages)
Publisher: Wiley-Blackwell
Published: 01 Jul 2005

Save for later

Interfacing with C++: Programming Real-World Applications

by Jayantha Katupitiya,Kim Bentley

ISBN 13: 9783540253785

Format: Hardcover (489 pages)
Publisher: Springer
Published: 13 Mar 2006

Save for later

Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)

by

ISBN 13: 9783642005893

Format: Paperback (411 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Computational Intelligence: Foundations and Applications, Proceedings of the 9th International Flins Conference (World Scientific Proceedings Series on Computer Engineering and Inform)

by

ISBN 13: 9789814324694

Format: Hardcover (1188 pages)
Publisher: World Scientific Publishing Co Pte Ltd
Published: 30 Jul 2010

Save for later

Oracle SOA Suite 11g Handbook (Osborne Oracle Press Series)

by Lucas Jellema

ISBN 13: 9780071608978

Format: Paperback (800 pages)
Publisher: McGraw-Hill Osborne
Published: 01 Oct 2010

Save for later

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