Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)
by Frank Pfenning
ISBN 13: 9783540735946
Format: Illustrated (536 pages) Publisher: Springer Published: 05 Jul 2007
Save for later
Spatial Tessellations: Concepts and Applications of Voronoi Diagrams (Wiley Series in Probability and Statistics)
by Atsuyuki Okabe,Barry Boots,Kokichi Sugihara,Dr Sung Nok Chiu
ISBN 13: 9780471986355
Format: Hardcover (696 pages) Publisher: Wiley-Blackwell Published: 26 May 2000
Numerik partieller Differentialgleichungen: Eine anwendungsorientierte Einfuhrung (Springer-Lehrbuch Masterclass)
by Peter Knabner,Lutz Angermann
ISBN 13: 9783540662310
Format: Paperback (365 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 27 Jul 2009
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)
by
ISBN 13: 9783540633983
Format: Paperback (425 pages) Publisher: Springer Published: 13 Aug 1997
Case-Based Reasoning Research and Development: 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642029974
Format: Paperback (526 pages) Publisher: Springer Published: 30 Jun 2009
Kompendium Theoretische Informatik.: Eine Ideensammlung
by Ingo Wegener
ISBN 13: 9783519021452
Format: Paperback (189 pages) Publisher: Teubner B.G. GmbH Published: 29 Feb 1996
Multimodal Intelligent Information Presentation (Text, Speech and Language Technology)
ISBN 13: 9781402030499
Format: Hardcover (343 pages) Publisher: Springer Published: 15 Feb 2005
Adaptive Multimedia Retrieval: User, Context, and Feedback: Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540321743
Format: Paperback (290 pages) Publisher: Springer Published: 13 Feb 2006
Soft Computing in Industrial Applications: Recent and Emerging Methods and Techniques (Advances in Intelligent and Soft Computing)
ISBN 13: 9783540707042
Format: Paperback (328 pages) Publisher: Springer Published: 11 May 2007
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures ... / Programming and Software Engineering)
ISBN 13: 9783540747918
Format: Paperback (297 pages) Publisher: Springer Published: 18 Dec 2007
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642029486
Format: Paperback (169 pages) Publisher: Springer Published: 24 Jun 2009
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005: 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540293279
Format: Paperback (981 pages) Publisher: Springer Published: 11 Oct 2005 Other Format: Paperback