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
Logic Functions and Equations: Examples and Exercises
by Bernd Steinbach,Christian Posthoff
ISBN 13: 9781402095948
Format: Hardcover (254 pages) Publisher: Springer Published: 12 Feb 2009
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
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
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
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
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
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
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