Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering)
by Kai-hui Chang,Igor L. Markov,Valeria Bertacco
ISBN 13: 9781402093647
Format: Hardcover (228 pages) Publisher: Springer Published: 10 Dec 2008
Save for later
Electronics System Design Techniques for Safety Critical Applications: 26 (Lecture Notes in Electrical Engineering)
by Luca Sterpone
ISBN 13: 9781402089787
Format: Hardcover (164 pages) Publisher: Springer Published: 14 Oct 2008
Logic for Applications (Texts in Computer Science)
by Anil Nerode,Richard A. Shore
ISBN 13: 9780387948935
Format: Illustrated (469 pages) Publisher: Springer Published: 01 Feb 1997
VLSI Risc Architecture and Organization: 56 (Electrical and Computer Engineering)
by S.B. Furber
ISBN 13: 9780824781514
Format: Illustrated (392 pages) Publisher: CRC Press Published: 31 Mar 1989
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
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
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
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
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
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
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
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009