Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology)
by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
ISBN 13: 9783642038280
Format: Paperback (339 pages) Publisher: Springer Published: 17 Aug 2009
Save for later
The Sourcebook of Parallel Computing (The Morgan Kaufmann Series in Computer Architecture and Design)
by Jack Dongarra,Ian Foster,Geoffrey C. Fox Dr.,William Gropp,Ken Kennedy,Linda Torczon,Andy White
ISBN 13: 9781558608719
Format: Hardcover (842 pages) Publisher: Morgan Kaufmann Published: 24 Nov 2002
Hardware Software Co-Design of a Multimedia SOC Platform
by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu
ISBN 13: 9781402096228
Format: Hardcover (152 pages) Publisher: Springer Published: 12 Feb 2009
Multi-Agent Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by Pieter J. Mosterman, Adelinde M. Uhrmacher, Danny Weyns
ISBN 13: 9781420070231
Format: Hardcover (566 pages) Publisher: CRC Press Published: 03 Jun 2009
Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers: 4940 (Lecture Notes in Computer Science)
by Jan Gulliksen
ISBN 13: 9783540926979
Format: Illustrated (656 pages) Publisher: Springer Published: 18 Dec 2008
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)
by Manuel Carro,Ricardo Peña
ISBN 13: 9783642115028
Format: Illustrated (297 pages) Publisher: Springer Published: 12 Jan 2010
Quantum Computing Devices: Principles, Designs, and Analysis (Chapman & Hall/CRC Applied Mathematics and Nonlinear Science)
by Goong Chen, David A. Church, Berthold-Georg Englert, Carsten Henkel, Bernd Rohwedder, Marlan O. Scully, M. Suhail Zubairy
ISBN 13: 9781584886815
Format: Hardcover (560 pages) Publisher: Chapman and Hall/CRC Published: 18 Sep 2006
Analog Circuit Design: High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management
by Michiel Steyaert,Arthur H. M. Van Roermund,Herman Casier
ISBN 13: 9781402089435
Format: Hardcover (372 pages) Publisher: Springer Published: 14 Oct 2008
Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings: 5792 (Lecture Notes in Computer Science)
by Thomas Zeugmann, Osamu Watanabe
ISBN 13: 9783642049439
Format: Paperback (221 pages) Publisher: Springer Published: 05 Oct 2009
INTRODUCTION TO QUANTUM STATISTICAL MECHANICS (2ND EDITION)
by N N Bogolubov,N N Bogolubov Jr
ISBN 13: 9789814295192
Format: Illustrated (440 pages) Publisher: World Scientific Publishing Company Published: 11 Feb 2010 Other Format: Paperback
Specification of Software Systems (Texts in Computer Science)
by V.S. Alagar,K. Periyasamy
ISBN 13: 9780857292766
Format: Hardcover (669 pages) Publisher: Springer Published: 28 Mar 2011
Mining Software Specifications: Methodologies and Applications (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by
ISBN 13: 9781439806265
Format: Hardcover (460 pages) Publisher: CRC Press Published: 17 Jun 2011