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)
by
ISBN 13: 9783540688549
Format: Paperback (341 pages) Publisher: Springer Published: 27 May 2008
Save for later
Building Web Applications with C# and .NET: A Complete Reference
by Dudley W. Gill
ISBN 13: 9780849312502
Format: Illustrated (760 pages) Publisher: CRC Press Published: 02 Dec 2002
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
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