The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Architecture & Microprocessors Books

Results for Architecture & Microprocessors

Showing 313 to 324 of 927 results
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport


ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

 
New : $33.01  
New : $33.01
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues) by

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)

by


ISBN 13: 9783540489283

Format: Paperback (203 pages)
Publisher: Springer
Published: 03 Nov 2006

Save for later

 
New : $53.61  
New : $53.61
Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology) Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology) by

Cryptographic Hardware and Embedded Systems - CHES 2006: 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by


ISBN 13: 9783540465591

Format: Paperback (462 pages)
Publisher: Springer
Published: 27 Sep 2006

Save for later

 
New : $63.13  
New : $63.13
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering) Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering) by

Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings ... / Programming and Software Engineering)

by


ISBN 13: 9783540729006

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

Save for later

 
New : $53.62  
New : $53.62
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues) by

Hybrid Systems: Computation and Control: 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by


ISBN 13: 9783540789284

Format: Paperback (680 pages)
Publisher: Springer
Published: 03 Apr 2008

Save for later

 
New : $105.15  
New : $105.15
Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings ... Computer Science and General Issues) Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings ... Computer Science and General Issues) by

Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings ... Computer Science and General Issues)

by


ISBN 13: 9783540786092

Format: Paperback (344 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

 
New : $53.62  
New : $53.62
Pattern Calculus: Computing with Functions and Structures Pattern Calculus: Computing with Functions and Structures by Barry Jay

Pattern Calculus: Computing with Functions and Structures

by Barry Jay


ISBN 13: 9783540891840

Format: Hardcover (230 pages)
Publisher: Springer
Published: 12 Aug 2009

Save for later

 
New : $160.02  
New : $160.02
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering) Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering) by

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)

by


ISBN 13: 9783540340973

Format: Paperback (265 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

 
New : $53.62  
New : $53.62
Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI) Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI) by

Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI)

by


ISBN 13: 9783540728818

Format: Paperback (337 pages)
Publisher: Springer
Published: 25 May 2007

Save for later

 
New : $53.61  
New : $53.61
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) by

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by


ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

 
New : $53.98  
New : $53.98
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering) Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering) by

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)

by


ISBN 13: 9783540779643

Format: Paperback (267 pages)
Publisher: Springer
Published: 01 Feb 2008

Save for later

 
New : $53.61  
New : $53.61
Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence) Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence) by

Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)

by


ISBN 13: 9783540790020

Format: Paperback (331 pages)
Publisher: Springer
Published: 08 Apr 2008

Save for later

 
New : $53.61  
New : $53.61