Buy Used and New Computer Science Books

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540689775

Format: Paperback (658 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540744450

Format: Paperback (223 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540744634

Format: Paperback (269 pages)
Publisher: Springer
Published: 01 Oct 2007

Save for later

Comparative Evaluation of XML Information Retrieval Systems: 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540738879

Format: Paperback (554 pages)
Publisher: Springer
Published: 22 Aug 2007

Save for later

Computer Recognition Systems 2: No. 2 (Advances in Intelligent and Soft Computing)

by

ISBN 13: 9783540751748

Format: Paperback (863 pages)
Publisher: Springer
Published: 15 Oct 2007

Save for later

ECOOP - Object-Oriented Programming: 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540735885

Format: Paperback (625 pages)
Publisher: Springer
Published: 27 Jul 2007

Save for later

Enterprise Information Systems: 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers (Lecture Notes in Business Information Processing)

by

ISBN 13: 9783540775805

Format: Paperback (466 pages)
Publisher: Springer
Published: 08 Feb 2008

Save for later

ECOOP 2008 - Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540705918

Format: Paperback (694 pages)
Publisher: Springer
Published: 01 Jul 2008

Save for later

Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence)

by

ISBN 13: 9780444514936

Format: Hardcover (750 pages)
Publisher: Elsevier Science
Published: 01 Mar 2005

Save for later

Komplexitatstheorie Und Kryptologie: Eine Einfuhrung in Kryptokomplexitat: Eine Einführung in Kryptokomplexität (eXamen.Press)

by Jarg Rothe,Jorg Rothe

ISBN 13: 9783540797449

Format: Hardcover (535 pages)
Publisher: Springer
Published: Aug 2008

Save for later

Datenbanksysteme: Konzepte und Techniken der Implementierung

by Theo Hdrder,Erhard Rahm,Theo Harder

ISBN 13: 9783540421337

Format: Hardcover (582 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 01 Sep 2001

Save for later

The Semantic Web: 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540762973

Format: Paperback (973 pages)
Publisher: Springer
Published: 22 Oct 2007

Save for later