Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
Save for later
Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited: ... 5397 (Lecture Notes in Computer Science)
by Matteo Baldoni
ISBN 13: 9783540939191
Format: Paperback (264 pages) Publisher: Springer Published: 13 Feb 2009
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
Process Algebra for Parallel and Distributed Processing (Chapman & Hall/CRC Computational Science Series)
by Michael Alexander, William Gardner
ISBN 13: 9781420064865
Format: Hardcover (440 pages) Publisher: Chapman and Hall/CRC Published: 22 Dec 2008
Fundamentals of Performance Evaluation of Computer and Telecommunication Systems
by Mohammed S. Obaidat,Noureddine A. Boudriga
ISBN 13: 9780471269830
Format: Hardcover (480 pages) Publisher: Wiley-Interscience Published: 04 Mar 2010
Neural Preprocessing and Control of Reactive Walking Machines: Towards Versatile Artificial Perception-Action Systems (Cognitive Technologies)
by Poramate Manoonpong
ISBN 13: 9783540688020
Format: Hardcover (188 pages) Publisher: Springer Published: 15 May 2007
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979: No. 70 (Lecture Notes in Computer Science)
by G. Kahn
ISBN 13: 9783540095118
Format: Paperback (380 pages) Publisher: Springer Published: 01 Jun 1979
Embedded Systems Building Blocks: Complete and Ready-to-Use Modules in C
by Jean J. Labrosse
ISBN 13: 9780879306045
Format: Hardcover (640 pages) Publisher: CRC Press Published: 12 Jan 1999
Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)
by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge
ISBN 13: 9789089640260
Format: Paperback (240 pages) Publisher: Amsterdam University Press Published: 01 Jul 2008
Handbook of Technology in Financial Services 1999
by Jessica Keyes
ISBN 13: 9780849399817
Format: Hardcover (752 pages) Publisher: Auerbach Publications Published: 18 Dec 1998