Computer Arithmetic and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781439811245
Format: Hardcover (971 pages) Publisher: CRC Press Published: 30 Nov 2009
Save for later
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
by David Powell
ISBN 13: 9780792372950
Format: Hardcover (260 pages) Publisher: Springer Published: 31 Jan 2001
Data Flow Analysis: Theory and Practice
by Uday Khedker,Amitabha Sanyal,Bageshri Sathe
ISBN 13: 9780849328800
Format: Illustrated (395 pages) Publisher: CRC Press Published: 31 Mar 2009
Methods in Algorithmic Analysis (Chapman & Hall/CRC Computer & Information Science Series) (CRC Computer and Information Science Series)
by Sartaj Sahni, Vladimir A. Dobrushkin
ISBN 13: 9781420068290
Format: Hardcover (824 pages) Publisher: Chapman & Hall Published: 03 Nov 2009
Java SOA Cookbook: Soa Implementation Recipes, Tips, and Techniques
by Eben Hewitt
ISBN 13: 9780596520724
Format: Illustrated (740 pages) Publisher: O'Reilly Media Published: 26 Mar 2009
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
by T. F. Melham
ISBN 13: 9780521417181
Format: Hardcover (179 pages) Publisher: Cambridge University Press Published: 11 Nov 1993
Correct Systems: Building a Business Process Solution (Applied Computing)
by Mike Holcombe, Florentin Ipate
ISBN 13: 9783540762461
Format: Paperback (206 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Sep 1998
Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC
by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi
ISBN 13: 9781420044713
Format: Hardcover (288 pages) Publisher: CRC Press Published: 17 Sep 2008
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)
by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque
ISBN 13: 9783642117961
Format: Paperback (163 pages) Publisher: Springer Published: 18 Feb 2010
Analysis and Synthesis of Fuzzy Control Systems (Automation and Control Engineering Series)
by Gang Feng
ISBN 13: 9781420092646
Format: Hardcover (299 pages) Publisher: CRC Press Published: 10 Mar 2010
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009