Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
Save for later
Micro, Nanosystems and Systems on Chips: Modeling, Control, and Estimation (ISTE)
by Alina Voda
ISBN 13: 9781848211902
Format: Illustrated (308 pages) Publisher: Wiley-ISTE Published: 15 Jan 2010
Advances in Computation and Intelligence: 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, . . . ... 5821 (Lecture Notes in Computer Science)
by Zhihua Cai, Zhenhua Li, Zhuo Kang, Yong Liu
ISBN 13: 9783642048425
Format: Paperback (554 pages) Publisher: Springer Published: 05 Oct 2009
The Cultural Logic of Computation
by D Golumbia
ISBN 13: 9780674032927
Format: Hardcover (272 pages) Publisher: Harvard University Press Published: 17 Apr 2009
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)
by
ISBN 13: 9783540729006
Format: Paperback (219 pages) Publisher: Springer Published: 31 May 2007
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540789284
Format: Paperback (680 pages) Publisher: Springer Published: 03 Apr 2008
Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540786092
Format: Paperback (344 pages) Publisher: Springer Published: 18 Mar 2008
Pattern Calculus: Computing with Functions and Structures
by Barry Jay
ISBN 13: 9783540891840
Format: Hardcover (230 pages) Publisher: Springer Published: 12 Aug 2009
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)
ISBN 13: 9783540340973
Format: Paperback (265 pages) Publisher: Springer Published: 15 May 2006
Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540728818
Format: Paperback (337 pages) Publisher: Springer Published: 25 May 2007
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)
ISBN 13: 9783540733676
Format: Paperback (562 pages) Publisher: Springer Published: 02 Jul 2007
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