Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science
by Richard Lassaigne,Michel de Rougemont
ISBN 13: 9781852335656
Format: Illustrated (376 pages) Publisher: Springer Published: 20 Jan 2004
Save for later
The Robot: The Life Story of a Technology (Greenwood Technographies)
by Lisa Nocks
ISBN 13: 9780313331688
Format: Illustrated (224 pages) Publisher: Greenwood Press Published: 28 Feb 2007
Natural Computing in Computational Finance: 100 (Studies in Computational Intelligence)
by Anthony Brabazon,Michael O'Neill
ISBN 13: 9783540774761
Format: Hardcover (316 pages) Publisher: Springer Published: 09 May 2008
Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
by Tarek Sobh,Khaled Elleithy,Ausif Mahmood
ISBN 13: 9781402087363
Format: Hardcover (604 pages) Publisher: Springer Published: 01 Aug 2008
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
High Performance Computing - HiPC 2008: 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings: 5374 (Lecture Notes in Computer Science)
by Ponnuswamy Sadayappan
ISBN 13: 9783540898931
Format: Paperback (624 pages) Publisher: Springer Published: 23 Nov 2008
Relational Database Technology (Monographs in Computer Science)
by Suad Alagic
ISBN 13: 9780387962764
Format: Hardcover (276 pages) Publisher: Springer Published: 18 Jul 1986
An Integrated Introduction to Computer Graphics and Geometric Modeling
by Ronald Goldman
ISBN 13: 9781439803349
Format: Hardcover (574 pages) Publisher: CRC Press Published: 14 Jul 2009
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Cooperative Control of Dynamical Systems: Applications to Autonomous Vehicles
by Zhihua Qu
ISBN 13: 9781848823242
Format: Hardcover (344 pages) Publisher: Springer Published: 19 Feb 2009