Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The ... 5953 (Lecture Notes in Computer Science)
by Jose Monteiro
ISBN 13: 9783642118012
Format: Illustrated (384 pages) Publisher: Springer Published: 18 Feb 2010
Save for later
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
Advanced Topics in Dataflow Computing and Multithreading: 53 (Practitioners)
by Lubomir Bic,Guang R. Gao,Jean-Luc Gaudiot
ISBN 13: 9780818665424
Format: Illustrated (464 pages) Publisher: Wiley-IEEE Computer Society Pr Published: 30 Jun 1995
The Pentium Chronicles: The People, Passion, and Politics Behind Intel's Landmark Chips: 12 (Practitioners)
by Robert P. Colwell
ISBN 13: 9780471736172
Format: Illustrated (208 pages) Publisher: Wiley-IEEE Computer Society Pr Published: 24 May 2011
Discrete Mathematics for Computing
by Peter Grossman
ISBN 13: 9780230216112
Format: Paperback (332 pages) Publisher: Palgrave Published: 16 Dec 2008
Computer Arithmetic and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781439811245
Format: Hardcover (971 pages) Publisher: CRC Press Published: 30 Nov 2009
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
An Introduction to the Analysis of Algorithms
by SOLTYS MICHAEL
ISBN 13: 9789814271400
Format: Illustrated (150 pages) Publisher: World Scientific Publishing Company Published: 14 Dec 2009