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
Save for later
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)
by
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
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa
ISBN 13: 9780857290175
Format: Paperback (320 pages) Publisher: Springer Published: 07 Jan 2011
Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540851691
Format: Paperback (488 pages) Publisher: Springer Published: 30 Jul 2008
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540893295
Format: Paperback (343 pages) Publisher: Springer Published: 14 Nov 2008
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005
Logic Synthesis for Compositional Microprogram Control Units (Lecture Notes in Electrical Engineering)
by Alexander Barkalov,Larysa Titarenko
ISBN 13: 9783540692836
Format: Hardcover (288 pages) Publisher: Springer Published: 14 Aug 2008
Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540896739
Format: Paperback (406 pages) Publisher: Springer Published: 24 Nov 2008
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)
ISBN 13: 9783540938996
Format: Paperback (381 pages) Publisher: Springer Published: 18 Dec 2008
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
by Axel Simon
ISBN 13: 9781848000162
Format: Hardcover (322 pages) Publisher: Springer Published: 18 Jul 2008