Buy Used and New Computer Science Books

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

Formal Refinement for Operating System Kernels

by Iain D. Craig

ISBN 13: 9781846289668

Format: Hardcover (336 pages)
Publisher: Springer
Published: 31 Jul 2007

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

Introduction to Constraint Databases (Texts in Computer Science)

by Peter Revesz

ISBN 13: 9780387987293

Format: Hardcover (407 pages)
Publisher: Springer
Published: 01 Feb 2002

Save for later

Parallel Algorithm Derivation and Program Transformation (The Springer International Series in Engineering and Computer Science)

by

ISBN 13: 9780792393627

Format: Hardcover (252 pages)
Publisher: Springer
Published: 30 Jun 1993

Save for later

Data Warehousing Und Data Mining: Eine Einfuhrung in Entscheidungsunterstutzende Systeme: Eine Einführung in entscheidungsunterstützende Systeme (Springer-Lehrbuch)

by Markus Lusti

ISBN 13: 9783540426776

Format: Paperback (444 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 13 Feb 2006

Save for later

Intelligent Agents: Specification, Modeling, and Application: 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540424345

Format: Paperback (237 pages)
Publisher: Springer
Published: 18 Jul 2001

Save for later

BANTAM User Guide: Biometric and Token Technology Application Modeling Language

by Julian Ashbourn

ISBN 13: 9781852335137

Format: Paperback (160 pages)
Publisher: Springer
Published: 17 Oct 2001

Save for later

Grammatical Picture Generation: A Tree-Based Approach (Texts in Theoretical Computer Science. An EATCS Series)

by Frank Drewes

ISBN 13: 9783540213048

Format: Hardcover (474 pages)
Publisher: Springer
Published: 18 Jan 2006

Save for later