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
Save for later
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
Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)
by Andrea Toselli, Olof Widlund
ISBN 13: 9783540206965
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Oct 2004
Mobile Robot Navigation with Intelligent Infrared Image Interpretation
by William L. Fehlman,Mark K. Hinders
ISBN 13: 9781848825086
Format: Hardcover (306 pages) Publisher: Springer Published: 05 Mar 2010
Network Control and Optimization: First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007, Proceedings: 4465 (Lecture Notes in Computer Science)
by Tijani Chahed
ISBN 13: 9783540727088
Format: Illustrated (324 pages) Publisher: Springer Published: 11 Jul 2007
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
Dynamic Modeling of Diseases and Pests (Modeling Dynamic Systems)
by Matthias Ruth, Bruce Hannon
ISBN 13: 9780387095592
Format: Hardcover (290 pages) Publisher: Springer Published: 27 Nov 2008
Mathematical Visualization: Algorithms, Applications and Numerics
by H.-C. Hege, K. Polthier
ISBN 13: 9783540639916
Format: Hardcover (391 pages) Publisher: Springer Published: 20 Oct 1998
Scheduling for Parallel Processing (Computer Communications and Networks)
by Maciej Drozdowski
ISBN 13: 9781848823099
Format: Hardcover (402 pages) Publisher: Springer Published: 05 Sep 2009
Mathematical Methods in Counterterrorism
by Memon
ISBN 13: 9783211094419
Format: Hardcover (404 pages) Publisher: Springer Published: 29 Aug 2009