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
Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)
by V. Wiktor Marek,Miroslaw Truszczynski
ISBN 13: 9783540564485
Format: Hardcover (430 pages) Publisher: Springer Published: 24 Aug 2011
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
Automatisierungstechnik - Algorithmen Und Programme: Entwurf Und Programmierung Von Automatisierungssystemen: Entwurf und Programmierung von Automatisierungssystemen. Mit 188 Beispielen und Übungen
by Walter Jakoby
ISBN 13: 9783540603719
Format: Paperback (346 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 01 Feb 1996
Projektmanagement Mit Dem Rational Unified Process (Xpert.Press)
by Gerhard Versteegen
ISBN 13: 9783540667551
Format: Hardcover (309 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 20 Jun 2008
Springers Mathematische Formeln: Taschenbuch Fur Ingenieure, Naturwissenschaftler, Informatiker, Wirtschaftswissenschaftler: Taschenbuch für ... Wirtschaftswissenschaftler
by Lennart Rade,Bertil Westergren
ISBN 13: 9783540675051
Format: Hardcover (551 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: Apr 2009
Dreidimensionales Computersehen: Gewinnung Und Analyse Von Tiefenbildern
by Xiaoyi Jiang,Horst Bunke
ISBN 13: 9783540607977
Format: Hardcover (361 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 01 Sep 1996
Introduction to Graphical Modelling (Springer Texts in Statistics)
by David Edwards
ISBN 13: 9780387950549
Format: Hardcover (333 pages) Publisher: Springer Published: 01 Jul 2000
Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
ISBN 13: 9783540517221
Format: Paperback (350 pages) Publisher: Springer Published: 11 Oct 1989
Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540514985
Format: Paperback (504 pages) Publisher: Springer Published: 31 Jul 1989