Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)
by Philippe Audebaud
ISBN 13: 9783540705932
Format: Paperback (436 pages) Publisher: Springer Published: 15 Aug 2008
Save for later
Optimization Techniques for Solving Complex Problems: 76 (Wiley Series on Parallel and Distributed Computing)
by Enrique Alba,Christian Blum,Pedro Asasi,Coromoto Leon,Juan Antonio Gomez
ISBN 13: 9780470293324
Format: Illustrated (504 pages) Publisher: Wiley Published: 09 Apr 2009
Designing Embedded Internet Devices (Embedded Technology)
by Brian DeMuth,Dan Eisenreich
ISBN 13: 9781878707987
Format: Paperback (582 pages) Publisher: Newnes Published: 27 Nov 2002
DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming
by Tom Addis,Jan Addis
ISBN 13: 9781848826175
Format: Paperback (416 pages) Publisher: Springer Published: 04 Feb 2010
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009
High - Level Synthesis: Introduction to Chip and System Design
by Daniel D. Gajski,Nikil D. Dutt,Allen C-H Wu
ISBN 13: 9780792391944
Format: Illustrated (376 pages) Publisher: Springer Published: 29 Feb 1992
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
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