Buy Used and New Architecture & Microprocessors Books

Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

by T. F. Melham

ISBN 13: 9780521417181

Format: Hardcover (179 pages)
Publisher: Cambridge University Press
Published: 11 Nov 1993

Save for later

Principles of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9781848820319

Format: Illustrated (171 pages)
Publisher: Springer
Published: 13 Mar 2009

Save for later

Three-dimensional Integrated Circuit Design (Systems on Silicon)

by Vasilis F. Pavlidis

ISBN 13: 9780123743435

Format: Illustrated (326 pages)
Publisher: Morgan Kaufmann
Published: 06 Nov 2008

Save for later

Manufacturing Execution Systems (MES): Optimal Design, Planning, and Deployment

by Heiko Meyer,Franz Fuchs,Klaus Thiel

ISBN 13: 9780071623834

Format: Illustrated (274 pages)
Publisher: McGraw-Hill Education
Published: 01 Apr 2009

Save for later

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)

by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque

ISBN 13: 9783642117961

Format: Paperback (163 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Analysis and Synthesis of Fuzzy Control Systems (Automation and Control Engineering Series)

by Gang Feng

ISBN 13: 9781420092646

Format: Hardcover (299 pages)
Publisher: CRC Press
Published: 10 Mar 2010

Save for later

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)

by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

ISBN 13: 9783540883869

Format: Paperback (430 pages)
Publisher: Springer
Published: 06 Oct 2008

Save for later

Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)

by Olivier Bournez,Igor Potapov

ISBN 13: 9783642044199

Format: Paperback (244 pages)
Publisher: Springer
Published: 07 Sep 2009

Save for later

Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science

by Richard Lassaigne,Michel de Rougemont

ISBN 13: 9781852335656

Format: Illustrated (376 pages)
Publisher: Springer
Published: 20 Jan 2004

Save for later

AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence, . ... 5883 (Lecture Notes in Computer Science)

by Roberto Serra, Rita Cucchiara

ISBN 13: 9783642102905

Format: Paperback (503 pages)
Publisher: Springer
Published: 30 Nov 2009

Save for later

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings (Lecture Notes in Computer Science)

by David Kaeli

ISBN 13: 9783540937982

Format: Paperback (156 pages)
Publisher: Springer
Published: 13 Feb 2009

Save for later

Transactions on Computational Science VII: 5890 (Lecture Notes in Computer Science)

by C. J. Kenneth Tan

ISBN 13: 9783642113888

Format: Paperback (184 pages)
Publisher: Springer
Published: 15 Feb 2010

Save for later