Buy Used and New Architecture & Microprocessors Books

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

Save for later

Communicating Embedded Systems for Computer Science

by Claude Jard,Olivier Roux

ISBN 13: 9781848211438

Format: Hardcover (288 pages)
Publisher: Wiley-Blackwell
Published: 06 Nov 2009

Save for later

Human Machine Interaction: Research Results of the MMI Program: Research Results of the MMJ Program (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642004360

Format: Paperback (311 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642017476

Format: Paperback (245 pages)
Publisher: Springer
Published: 12 May 2009

Save for later

Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642020162

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Apr 2009

Save for later

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540697350

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

Save for later

Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)

by

ISBN 13: 9783642031373

Format: Paperback (342 pages)
Publisher: Springer
Published: 13 Jul 2009
Other Format: Paperback

Save for later

Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642145674

Format: Paperback (137 pages)
Publisher: Springer
Published: 30 Jul 2010

Save for later

Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)

by Jim Smith,Ravi Nair

ISBN 13: 9781558609105

Format: Hardcover (656 pages)
Publisher: Morgan Kaufmann
Published: 12 Jul 2005

Save for later

Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010, Proceedings ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642116582

Format: Paperback (283 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

High Performance Computing and Applications: Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ... Computer Science and General Issues)

by

ISBN 13: 9783642118418

Format: Paperback (589 pages)
Publisher: Springer
Published: 19 Feb 2010

Save for later

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540009139

Format: Paperback (558 pages)
Publisher: Springer
Published: 18 Mar 2003

Save for later