Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
by
ISBN 13: 9783540733676
Format: Paperback (562 pages) Publisher: Springer Published: 02 Jul 2007
Save for later
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008
Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540790020
Format: Paperback (331 pages) Publisher: Springer Published: 08 Apr 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
PHYSARUM MACHINES: COMPUTERS FROM SLIME MOULD (World Scientific Series on Nonlinear Science: Series A)
by ADAMATZKY ANDREW
ISBN 13: 9789814327589
Format: Hardcover (280 pages) Publisher: World Scientific Publishing Published: 26 Oct 2010
Ultimate Zero and One: Computing at the Quantum Frontier
by Colin P. Williams,Scott H. Clearwater
ISBN 13: 9780387947693
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Nov 1999
Eda for IC Implementation, Circuit Design, and Processtechnology (Electronic Design Automation for Integrated Circuits)
ISBN 13: 9780849379246
Format: Hardcover (608 pages) Publisher: CRC Press Published: 23 Mar 2006
Feedback, Nonlinear, and Distributed Circuits (Circuits and Filters Handbook, 3rd Edition)
ISBN 13: 9781420058819
Format: Hardcover (466 pages) Publisher: CRC Press Published: 30 Jun 2009
Distributed .NET Programming in VB .NET (.Net Developer)
by Tom Barnaby
ISBN 13: 9781590590683
Format: Illustrated (532 pages) Publisher: Apress Published: 01 Oct 2002
Theory and Design of Digital Computer Systems
by Douglas Lewin
ISBN 13: 9780412428807
Format: Paperback (512 pages) Publisher: Springer Published: Nov 1992
Digital Logic Design
by BRIAN HOLDSWORTH
ISBN 13: 9780750645829
Format: Paperback (534 pages) Publisher: Newnes Published: 17 Apr 2000
Building Robots With Lego Mindstorms
by Mario Ferrari,Guilio Ferrari
ISBN 13: 9781928994671
Format: Paperback (448 pages) Publisher: Syngress Published: 06 Dec 2001