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
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
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
Foundation Mathematics
by K.A. StroudDexter J. Booth,
ISBN 13: 9780230579071
Format: paperback Publisher: Red Globe Press
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
Linux System Administration: Solve Real-Life Linux Problems Quickly
by Tom Adelstein,Bill Lubanovic
ISBN 13: 9780596009526
Format: Illustrated (300 pages) Publisher: O'Reilly Media Published: 06 Apr 2007
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
Three-dimensional Integrated Circuit Design (Systems on Silicon)
by Vasilis F. Pavlidis
ISBN 13: 9780123743435
Format: Illustrated (326 pages) Publisher: Morgan Kaufmann Published: 06 Nov 2008