Buy Used and New Computer Science Books

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

Understanding Concurrent Systems (Texts in Computer Science)

by A.W. Roscoe

ISBN 13: 9781848822573

Format: Hardcover (533 pages)
Publisher: Springer
Published: 25 Oct 2010

Save for later

Damage Models and Algorithms for Assessment of Structures Under Operation Conditions (Structures and Infrastructures)

by

ISBN 13: 9780415421959

Format: Hardcover (340 pages)
Publisher: CRC Press
Published: 17 Sep 2009

Save for later

Algorithmic Randomness and Complexity (Theory and Applications of Computability)

by Rodney G. Downey,Denis R. Hirschfeldt

ISBN 13: 9780387955674

Format: Hardcover (855 pages)
Publisher: Springer
Published: 05 Nov 2010

Save for later

Pro SQL Server 2005 Reporting Services

by Rodney Landrum,Walter J. Voytek II

ISBN 13: 9781590594988

Format: Paperback (400 pages)
Publisher: APRESS
Published: 01 Oct 2005

Save for later

Process Planning and Scheduling for Distributed Manufacturing (Springer Series in Advanced Manufacturing)

by

ISBN 13: 9781846287510

Format: Hardcover (429 pages)
Publisher: Springer
Published: 15 May 2007

Save for later

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

RFID in Manufacturing

by Oliver P. Günther,Wolfhard Kletti,Uwe Kubach

ISBN 13: 9783540764533

Format: Hardcover (179 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later