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
Save for later
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
Parallel Computer Architecture: A Hardware/Software Approach (The Morgan Kaufmann Series in Computer Architecture and Design)
by David Culler Dr., Jaswinder Pal Singh Dr., Anoop Gupta Ph.D. Dr.
ISBN 13: 9781558603431
Format: Hardcover (1056 pages) Publisher: Morgan Kaufmann Published: 29 Sep 1998
Virtual Team Leadership and Collaborative Engineering Advancements: Contemporary Issues and Implications (Advances in E-Collaboration (AECOB) Book Series)
by Ned Kock
ISBN 13: 9781605661100
Format: Illustrated (263 pages) Publisher: IGI Global Published: 15 Feb 2009
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
Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design
by Diomidis Spinellis,Georgios Gousios
ISBN 13: 9780596517984
Format: Illustrated (426 pages) Publisher: O′Reilly Published: 20 Jan 2009
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
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