Buy Used and New Computer Science Books

Introduction to Formal Hardware Verification

by Thomas Kropf

ISBN 13: 9783540654452

Format: Hardcover (308 pages)
Publisher: Springer
Published: 16 Oct 1999

Save for later

Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series)

by Michael Thielscher

ISBN 13: 9781402030680

Format: Hardcover (327 pages)
Publisher: Springer
Published: 05 Jul 2005

Save for later

Coordination: Neural, Behavioral and Social Dynamics (Understanding Complex Systems)

by

ISBN 13: 9783540744764

Format: Hardcover (370 pages)
Publisher: Springer
Published: 03 Jan 2008

Save for later

Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers (Lecture ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540785651

Format: Paperback (215 pages)
Publisher: Springer
Published: 03 Mar 2008

Save for later

Software-Entwicklung Fur Echtzeitsysteme

by

ISBN 13: 9783642015953

Format: Paperback (262 pages)
Publisher: Springer
Published: Aug 2009

Save for later

Out of their Minds: The Lives and Discoveries of 15 Great Computer Scientists

by Dennis Shasha,Cathy Lazere

ISBN 13: 9780387982694

Format: Paperback (302 pages)
Publisher: Springer
Published: 01 Jul 1998

Save for later

AMST'05 Advanced Manufacturing Systems and Technology: Proceedings of the Seventh International Conference (CISM International Centre for Mechanical Sciences)

by

ISBN 13: 9783211265376

Format: Paperback (792 pages)
Publisher: Springer
Published: 01 Jul 2005

Save for later

Information, Interaction, and Agency

by

ISBN 13: 9781402036002

Format: Paperback (336 pages)
Publisher: Springer
Published: 22 Jul 2005

Save for later

Field and Service Robotics: Recent Advances in Research and Applications (Springer Tracts in Advanced Robotics)

by

ISBN 13: 9783540328018

Format: Hardcover (576 pages)
Publisher: Springer
Published: 26 Jun 2006

Save for later

Computational Intelligence: Eine Einfuhrung: Eine Einführung (Informatik Im Fokus)

by Oliver Kramer

ISBN 13: 9783540797388

Format: Paperback (158 pages)
Publisher: Unknown
Published: 16 Apr 2009

Save for later

Guide to RISC Processors: for Programmers and Engineers

by Sivarama P. Dandamudi

ISBN 13: 9780387210179

Format: Hardcover (387 pages)
Publisher: Springer
Published: 21 Mar 2005

Save for later

Classification Algorithms for Codes and Designs (Algorithms and Computation in Mathematics)

by Petteri Kaski,Patric R.J. Östergård

ISBN 13: 9783540289906

Format: Hardcover (424 pages)
Publisher: Springer
Published: 13 Dec 2005

Save for later