Buy Used and New Architecture & Microprocessors Books

Embedded Software and Systems: Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540726845

Format: Paperback (829 pages)
Publisher: Springer
Published: 08 May 2007

Save for later

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Computer Science and General Issues)

by

ISBN 13: 9783540749141

Format: Paperback (600 pages)
Publisher: Springer
Published: 30 Aug 2007

Save for later

Requirements Engineering: Foundation for Software Quality: 14th International Working Conference, REFSQ 2008 Montpellier, France, june 16-17, 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783540690603

Format: Paperback (205 pages)
Publisher: Springer
Published: 30 May 2008
Other Format: Paperback

Save for later

B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture ... / Programming and Software Engineering)

by

ISBN 13: 9783540687603

Format: Paperback (306 pages)
Publisher: Springer
Published: 14 Dec 2006

Save for later

Coordination Models and Languages: 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

by

ISBN 13: 9783540727934

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

Save for later

Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, ... / Programming and Software Engineering)

by

ISBN 13: 9783540752103

Format: Paperback (301 pages)
Publisher: Springer
Published: 17 Sep 2007

Save for later

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540773948

Format: Paperback (215 pages)
Publisher: Springer
Published: 12 Dec 2007

Save for later

Artificial Intelligence and Computational Intelligence: Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642238802

Format: Paperback (719 pages)
Publisher: Springer
Published: 12 Sep 2011

Save for later

Advances in Computer Science and Education Applications: International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part II (Communications in Computer and Information Science)

by

ISBN 13: 9783642224553

Format: Paperback (587 pages)
Publisher: Springer
Published: 30 Jun 2011

Save for later

Artificial Intelligence and Computational Intelligence: Second International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642238864

Format: Paperback (736 pages)
Publisher: Springer
Published: 12 Sep 2011
Other Format: Paperback

Save for later

GPU Computing Gems Jade Edition (Applications of GPU Computing Series)

by

ISBN 13: 9780123859631

Format: Hardcover (560 pages)
Publisher: Morgan Kaufmann
Published: 02 Nov 2011

Save for later

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

ISBN 13: 9780857290175

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later