Buy Used and New Computer Science Books

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

Technological Concepts and Mathematical Models in the Evolution of Modern Engineering Systems: Controlling, Managing, Organizing

by

ISBN 13: 9783764369408

Format: Hardcover (246 pages)
Publisher: Birkhauser
Published: 27 Nov 2003

Save for later

Elliptische Kurven in Der Kryptographie (Springer-Lehrbuch)

by Annette Werner

ISBN 13: 9783540425182

Format: Paperback (142 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: Mar 2002

Save for later

Advances in Artificial Life: 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540288480

Format: Paperback (968 pages)
Publisher: Springer
Published: 29 Aug 2005

Save for later

Dynamic Programming: A Computational Tool (Studies in Computational Intelligence)

by Art Lew,Holger Mauch

ISBN 13: 9783540370130

Format: Hardcover (397 pages)
Publisher: Springer
Published: 09 Oct 2006

Save for later

Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540322030

Format: Paperback (319 pages)
Publisher: Springer
Published: 01 Feb 2006

Save for later

Transactions on Rough Sets V: v. 5 (Lecture Notes in Computer Science / Transactions on Rough Sets)

by

ISBN 13: 9783540393825

Format: Paperback (507 pages)
Publisher: Springer
Published: 12 Oct 2006

Save for later

Advances in Knowledge Acquisition and Management: Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540689553

Format: Paperback (270 pages)
Publisher: Springer
Published: 14 Dec 2006

Save for later

Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised ... Computer Science and General Issues)

by

ISBN 13: 9783540741299

Format: Paperback (281 pages)
Publisher: Springer
Published: 23 Aug 2007

Save for later

Autonomous Navigation in Dynamic Environments (Springer Tracts in Advanced Robotics)

by

ISBN 13: 9783540734215

Format: Hardcover (179 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Advances in Spatial and Temporal Databases: 11th International Symposium, SSTD 2009 Aalborg, Denmark, July 8-10, 2009 Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642029813

Format: Paperback (466 pages)
Publisher: Springer
Published: 30 Jun 2009

Save for later