Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
by
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008
Save for later
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
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