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
Save for later
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
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
Integrating ISA Server 2006 with Microsoft Exchange 2007
by Fergus Strachan
ISBN 13: 9781597492751
Format: Paperback (376 pages) Publisher: Syngress Published: 17 Jul 2008
Hardware Software Co-Design of a Multimedia SOC Platform
by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu
ISBN 13: 9781402096228
Format: Hardcover (152 pages) Publisher: Springer Published: 12 Feb 2009
Prediction, Learning, and Games
by Nicolo Cesa-Bianchi,Gabor Lugosi
ISBN 13: 9780521841085
Format: Illustrated (408 pages) Publisher: Cambridge University Press Published: 13 Mar 2006
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... 200: 1785 (Lecture Notes in Computer Science)
by Susanne Graf,Michael Schwartzbach
ISBN 13: 9783540672821
Format: Paperback (570 pages) Publisher: Springer Published: 15 Mar 2000
Discrete Maths Software Engineers: An Introduction for Software Engineers
by Mike Piff
ISBN 13: 9780521386227
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 27 Jun 1991