Buy Used and New Architecture & Logic Books

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later

FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version

by Pong P. Chu

ISBN 13: 9780470185322

Format: Hardcover (528 pages)
Publisher: Wiley-Interscience
Published: 18 Jul 2008

Save for later

Digital Logic Design

by BRIAN HOLDSWORTH

ISBN 13: 9780750645829

Format: Paperback (534 pages)
Publisher: Newnes
Published: 17 Apr 2000
Other Format: Paperback

Save for later

Conceptual Structures in Practice (Chapman & Hall/CRC Studies in Informatics Series)

by Pascal Hitzler, Henrik Scharfe, G.Q. Zhang

ISBN 13: 9781420060621

Format: Hardcover (425 pages)
Publisher: Chapman & Hall
Published: 06 May 2009

Save for later

High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 2009, Procceding: 5409 (Lecture Notes in Computer Science)

by Andre Seznec

ISBN 13: 9783540929895

Format: Paperback (436 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

Analytical and Stochastic Modeling Techniques and Applications: 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings ... / Programming and Software Engineering)

by

ISBN 13: 9783540689805

Format: Paperback (323 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)

by

ISBN 13: 9783540710653

Format: Paperback (321 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Computer Science - Theory and Applications: Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, ... Computer Science and General Issues)

by

ISBN 13: 9783540797081

Format: Paperback (411 pages)
Publisher: Springer
Published: 08 May 2008

Save for later

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540734475

Format: Paperback (419 pages)
Publisher: Springer
Published: 21 Jun 2007

Save for later

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540735793

Format: Paperback (418 pages)
Publisher: Springer
Published: 04 Jul 2007

Save for later

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540682356

Format: Paperback (436 pages)
Publisher: Springer
Published: 08 May 2008

Save for later

ECOOP 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642030123

Format: Paperback (631 pages)
Publisher: Springer
Published: 30 Jun 2009

Save for later