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
The Healthy PC: Preventive Care and Home Remedies for Your Computer
by Carey Holzman
ISBN 13: 9780072229233
Format: Illustrated (260 pages) Publisher: McGraw-Hill Published: 27 Oct 2003
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
Modern Logic: A Text in Elementary Symbolic Logic
by Graeme Forbes
ISBN 13: 9780195080292
Format: Paperback (416 pages) Publisher: OUP USA Published: 07 Apr 1994
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
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)
by Gheorghe Paun
ISBN 13: 9783642114663
Format: Illustrated (500 pages) Publisher: Springer Published: 12 Jan 2010
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)
by Andrea Toselli, Olof Widlund
ISBN 13: 9783540206965
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Oct 2004
The SIM Guide to Enterprise Architecture
by Leon Kappelman
ISBN 13: 9781439811139
Format: Illustrated (330 pages) Publisher: CRC Press Published: 27 Oct 2009