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
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
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
Computer Arithmetic and Verilog HDL Fundamentals
by Joseph Cavanagh
ISBN 13: 9781439811245
Format: Hardcover (971 pages) Publisher: CRC Press Published: 30 Nov 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
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
Parallel Programming with MPI
by Peter S. Pacheco
ISBN 13: 9781558603394
Format: Paperback (442 pages) Publisher: Morgan Kaufmann Published: 26 Nov 1996
Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning: 2636 (Lecture Notes in Computer Science)
by Daniel Kudenko,Eduardo Alonso,Dimitar Kazakov
ISBN 13: 9783540400684
Format: Paperback (344 pages) Publisher: Springer Published: 13 Jun 2008
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth: 5393 (Lecture Notes in Computer Science)
by Jacques Calmet,Willi Geiselmann,Jörn Müller-Quade
ISBN 13: 9783540899938
Format: Paperback (208 pages) Publisher: Springer Berlin Heidelberg Published: 09 Dec 2008
DNA Computing and Molecular Programming: 15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers: 5877 (Lecture Notes in Computer Science)
by Russell Deaton, Akira Suyama
ISBN 13: 9783642106033
Format: Paperback (165 pages) Publisher: Springer Published: 07 Dec 2009
97 Things Every Software Architect Should Know
by Richard Monson?haefel
ISBN 13: 9780596522698
Format: Paperback (222 pages) Publisher: O'Reilly Media Published: 15 Feb 2009