Computational Geometry: Algorithms and Applications
by Mark de Berg,Otfried Cheong,Marc van Kreveld,Mark Overmars
ISBN 13: 9783540779735
Format: Hardcover (386 pages) Publisher: Springer Published: 07 Mar 2008
Save for later
Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)
by Matthew J. Sottile,Timothy G. Mattson,Craig E Rasmussen
ISBN 13: 9781420072136
Format: Hardcover (344 pages) Publisher: Chapman and Hall/CRC Published: 07 Oct 2009
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Informatics in Control, Automation and Robotics: Selected Papers from the International Conference on Informatics in Control, Automation and Robotics 2007: 24 (Lecture Notes in Electrical Engineering)
by Joaquim Filipe, Juan Andrade Cetto, Jean-Louis Ferrier
ISBN 13: 9783540856399
Format: Paperback (316 pages) Publisher: Springer Published: 10 Oct 2008
Handbook of Applied Cryptography (Discrete Mathematics and Its Applications)
by Alfred J. Menezes,Paul C. van Oorschot,Scott A. Vanstone,Scott A. Vanstone
ISBN 13: 9780849385230
Format: Illustrated (810 pages) Publisher: CRC Press Published: 16 Oct 1996
The Component-Based Business: Plug and Play (Practitioner Series)
by Richard Veryard
ISBN 13: 9781852333614
Format: Illustrated (240 pages) Publisher: Springer Published: 11 Dec 2000
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
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
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
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