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
Computer Arithmetic and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781439811245
Format: Hardcover (971 pages) Publisher: CRC Press Published: 30 Nov 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
The Art of Systems Architecting (Systems Engineering)
by Mark W. Maier
ISBN 13: 9781420079135
Format: Illustrated (466 pages) Publisher: CRC Press Published: 06 Jan 2009
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
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
by Steven S. Skiena, Miguel A. Revilla
ISBN 13: 9780387001630
Format: Paperback (368 pages) Publisher: Springer Published: 14 May 2003
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Compilation Techniques for Reconfigurable Architectures
by João M.P. Cardoso,Pedro C. Diniz
ISBN 13: 9780387096704
Format: Illustrated (236 pages) Publisher: Springer Published: 26 Nov 2008
Schaum's Outline of Computer Architecture (Schaum's Outline Series) (SCHAUMS' COMPUTING)
by Nick Carter
ISBN 13: 9780071362078
Format: Illustrated (314 pages) Publisher: McGraw-Hill Published: 26 Dec 2001
Living with the Chip
by T. Makimoto,D. Manners
ISBN 13: 9780412616907
Format: Paperback (224 pages) Publisher: Springer Published: 30 Nov 1994