Buy Used and New Architecture & Logic Books

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

Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC

by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi

ISBN 13: 9781420044713

Format: Hardcover (288 pages)
Publisher: CRC Press
Published: 17 Sep 2008

Save for later

Computer Arithmetic and Verilog HDL Fundamentals

by Joseph Cavanagh

ISBN 13: 9781439811245

Format: Hardcover (971 pages)
Publisher: CRC Press
Published: 30 Nov 2009

Save for later

Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings (Lecture Notes in Computer Science)

by Alexander Kurz,Marina Lenisa

ISBN 13: 9783642037405

Format: Paperback (472 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

iMac, Ibook Adn G3 Troubleshooting Pocket Reference (Hardware)

by Don Rittner

ISBN 13: 9780072124682

Format: Illustrated (372 pages)
Publisher: McGraw-Hill Companies
Published: 01 May 2000

Save for later

Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)

by Andrea Corradini, Ugo Montanari

ISBN 13: 9783642034282

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

Save for later

Introduction to Discrete-time Signals and Systems

by R.I. Damper

ISBN 13: 9780412476501

Format: Illustrated (288 pages)
Publisher: Springer
Published: 30 Jun 1995

Save for later

Computer Organisation and Architecture: An Introduction (Grassroots)

by B. S. Chalk,Antony Carter,Robert Hind

ISBN 13: 9781403901644

Format: Paperback (296 pages)
Publisher: Palgrave
Published: 04 Dec 2003

Save for later

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth: 5393 (Lecture Notes in Computer Science)

by Jacques Calmet,Willi Geiselmann,Jörn Müller-Quade

ISBN 13: 9783540899938

Format: Paperback (208 pages)
Publisher: Springer Berlin Heidelberg
Published: 09 Dec 2008

Save for later

DNA Computing and Molecular Programming: 15th International Meeting on DNA Computing, DNA 15, Fayetteville, AR, USA, June 8-11, 2009. Revised Selected Papers: 5877 (Lecture Notes in Computer Science)

by Russell Deaton, Akira Suyama

ISBN 13: 9783642106033

Format: Paperback (165 pages)
Publisher: Springer
Published: 07 Dec 2009

Save for later

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

by Hanne Riis Nielson,Flemming Nielson

ISBN 13: 9781846286919

Format: Paperback (288 pages)
Publisher: Springer London
Published: 27 Apr 2007

Save for later