Buy Used and New Architecture & Logic Books

Design and Safety Assessment of Critical Systems

by Marco Bozzano, Adolfo Villafiorita

ISBN 13: 9781439803318

Format: Hardcover (297 pages)
Publisher: Auerbach Publications
Published: 14 Dec 2010

Save for later

FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)

by Ana Cavalcanti,Dennis Dams

ISBN 13: 9783642050886

Format: Paperback (840 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

A Modular Calculus for the Average Cost of Data Structuring: Efficiency-oriented Programming in Moqa

by Michel Schellekens

ISBN 13: 9780387733838

Format: Hardcover (272 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

High Performance ASIC Design: Using Synthesizable Domino Logic in an ASIC Flow

by Razak Hossain

ISBN 13: 9780521873345

Format: Hardcover (160 pages)
Publisher: Cambridge University Press
Published: 21 Aug 2008

Save for later

FPGA Prototyping by VHDL Examples: Xilinx Spartan-3 Version

by Pong P. Chu

ISBN 13: 9780470185315

Format: Hardcover (468 pages)
Publisher: Wiley-Interscience
Published: 14 Mar 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

Save for later

Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)

by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg

ISBN 13: 9783642111976

Format: Paperback (273 pages)
Publisher: Springer
Published: 21 Dec 2009

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