Buy Used and New Architecture & Logic Books

Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))

by Michael G. Hinchey

ISBN 13: 9781852336400

Format: Illustrated (420 pages)
Publisher: Springer
Published: 17 Sep 1999

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

Nano-Net: 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009, Proceedings (Lecture Notes of the Institute ... and Telecommunications Engineering)

by Alexandre Schmid,Sanjay Goel,Wei Wang,Valeriu Beiu,Sandro Carrara

ISBN 13: 9783642048494

Format: Paperback (304 pages)
Publisher: Springer
Published: 06 Oct 2009

Save for later

Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems)

by Nancy A. Lynch

ISBN 13: 9781558603486

Format: Hardcover (904 pages)
Publisher: Morgan Kaufmann
Published: 16 Apr 1996

Save for later

Neural Information Processing: 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II (Lecture Notes ... Computer Science and General Issues)

by Chi-Sing Leung, Minho Lee, Jonathan H. Chan

ISBN 13: 9783642106828

Format: Paperback (888 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Integrating ISA Server 2006 with Microsoft Exchange 2007

by Fergus Strachan

ISBN 13: 9781597492751

Format: Paperback (376 pages)
Publisher: Syngress
Published: 17 Jul 2008

Save for later

FPGAs: World Class Designs

by Clive Maxfield

ISBN 13: 9781856176217

Format: Illustrated (526 pages)
Publisher: Newnes
Published: 18 Feb 2009

Save for later

High Performance Embedded Architectures and Compilers: 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings: 5952 (Lecture Notes in Computer Science)

by Yale N. Patt,Pierfrancesco Foglia,Evelyn Duesterwald,Paolo Faraboschi,Xavier Martorell

ISBN 13: 9783642115141

Format: Illustrated (370 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)

by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge

ISBN 13: 9789089640260

Format: Paperback (240 pages)
Publisher: Amsterdam University Press
Published: 01 Jul 2008

Save for later

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)

by Philippe Audebaud

ISBN 13: 9783540705932

Format: Paperback (436 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

Optimization Techniques for Solving Complex Problems: 76 (Wiley Series on Parallel and Distributed Computing)

by Enrique Alba,Christian Blum,Pedro Asasi,Coromoto Leon,Juan Antonio Gomez

ISBN 13: 9780470293324

Format: Illustrated (504 pages)
Publisher: Wiley
Published: 09 Apr 2009

Save for later