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

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

Bio-Inspired Computational Intelligence and Applications: International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, ... Computer Science and General Issues)

by

ISBN 13: 9783540747680

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

Save for later

Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783642013379

Format: Paperback (289 pages)
Publisher: Springer
Published: 22 Apr 2009

Save for later

Pattern Recognition and Image Analysis: Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I (Lecture Notes in ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783540728467

Format: Paperback (625 pages)
Publisher: Springer
Published: 31 May 2007

Save for later