Buy Used and New Computer Science Books

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

Prozessautomatisierung 2: Modellierungskonzepte Und Automatisierungsverfahren Softwarewerkzeuge F R Den Automatisierungsingenieur Vorgehensweise in ... bei der Realisierung von Echtzeitsystemen

by Rudolf Lauber,Peter Gvhner,Peter Gahner,Peter Gohner,Peter G Hner

ISBN 13: 9783540653196

Format: Paperback (520 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: Oct 1999

Save for later

Brainchildren: Essays on Designing Minds (Representation and Mind Series)

by Daniel C. Dennett

ISBN 13: 9780262540902

Format: Paperback (430 pages)
Publisher: MIT Press
Published: 31 Mar 1998

Save for later

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive ... II: Mathematics, Physics and Chemistry)

by

ISBN 13: 9781402035319

Format: Paperback (404 pages)
Publisher: Springer
Published: 15 Jul 2005
Other Format: Hardcover

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later