Buy Used and New Architecture & Microprocessors Books

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

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540671022

Format: Paperback (540 pages)
Publisher: Springer
Published: 26 Jan 2000
Other Format: Paperback

Save for later

Distributed and Parallel Systems: From Cluster to Grid Computing

by

ISBN 13: 9780387698571

Format: Hardcover (235 pages)
Publisher: Springer
Published: 23 May 2007

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

Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540851691

Format: Paperback (488 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

Logic Synthesis for Compositional Microprogram Control Units (Lecture Notes in Electrical Engineering)

by Alexander Barkalov,Larysa Titarenko

ISBN 13: 9783540692836

Format: Hardcover (288 pages)
Publisher: Springer
Published: 14 Aug 2008

Save for later

Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540896739

Format: Paperback (406 pages)
Publisher: Springer
Published: 24 Nov 2008

Save for later

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)

by

ISBN 13: 9783540938996

Format: Paperback (381 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later