Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Making Things Move DIY Mechanisms for Inventors, Hobbyists, and Artists
by Dustyn Roberts
ISBN 13: 9780071741675
Format: Paperback (368 pages) Publisher: Tab Electronics Published: 25 Jan 2011
Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek,Jean-Jacques Lévy
ISBN 13: 9780857290755
Format: Paperback (118 pages) Publisher: Springer Published: 15 Dec 2010
Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)
by Reza Adhami,III Peter M. Meenen,Denis Hite
ISBN 13: 9781581129717
Format: Paperback (736 pages) Publisher: Dissertation.com Published: 20 Aug 2007
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540251088
Format: Paperback (684 pages) Publisher: Springer Published: 04 Mar 2005
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
Design and Safety Assessment of Critical Systems
by Marco Bozzano, Adolfo Villafiorita
ISBN 13: 9781439803318
Format: Hardcover (297 pages) Publisher: Auerbach Publications Published: 14 Dec 2010
The Semantic Web - Iswc 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings: 3298 (Lecture Notes in Computer Science)
by S. a. McIlraith,Sheila A. McIlraith,Dimitris Plexousakis
ISBN 13: 9783540237983
Format: Illustrated (872 pages) Publisher: Springer Published: 28 Oct 2004
AI for Games and Animation: A Cognitive Modeling Approach
by John David Funge
ISBN 13: 9781568811031
Format: Hardcover (236 pages) Publisher: A K Peters/CRC Press Published: 22 Jul 1999