Buy Used and New Computer Science Books

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

Save for later

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

Save for later

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

Save for later

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

Save for later

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

Save for later

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

Save for later

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

Save for later

Introduction to Graphical Modelling (Springer Texts in Statistics)

by David Edwards

ISBN 13: 9780387950549

Format: Hardcover (333 pages)
Publisher: Springer
Published: 01 Jul 2000

Save for later

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)

by

ISBN 13: 9783540517221

Format: Paperback (350 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540514985

Format: Paperback (504 pages)
Publisher: Springer
Published: 31 Jul 1989

Save for later

Automated Theorem Proving: Theory and Practice

by Monty Newborn

ISBN 13: 9780387950754

Format: Hardcover (231 pages)
Publisher: Springer
Published: 01 Jan 2001

Save for later