Buy Used and New Architecture & Logic Books

Logic in Computer Science: Modelling and Reasoning about Systems

by Huth, Michael Michael Huth,

ISBN 13: 9780521543101

Format: paperback
Publisher: Cambridge University Press

Save for later

FPGA Prototyping By Verilog Examples: Xilinx Spartan-3 Version

by Pong P. Chu

ISBN 13: 9780470185322

Format: Hardcover (528 pages)
Publisher: Wiley-Interscience
Published: 18 Jul 2008

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

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

High Performance Computing on Vector Systems 2007

by

ISBN 13: 9783540743835

Format: Hardcover (267 pages)
Publisher: Springer
Published: 17 Oct 2007

Save for later

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540746089

Format: Paperback (470 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later

Software Architectures, Components, and Applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, ... / Programming and Software Engineering)

by

ISBN 13: 9783540776178

Format: Paperback (251 pages)
Publisher: Springer
Published: 23 Jan 2008

Save for later

The Semantic Web - ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings (Lecture Notes ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540297543

Format: Paperback (1096 pages)
Publisher: Springer
Published: 04 Nov 2005

Save for later

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540488156

Format: Paperback (386 pages)
Publisher: Springer
Published: 30 Oct 2006

Save for later

System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised ... Networks and Telecommunications)

by

ISBN 13: 9783540683711

Format: Paperback (239 pages)
Publisher: Springer
Published: 07 Dec 2006

Save for later

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by

ISBN 13: 9783540799795

Format: Paperback (432 pages)
Publisher: Springer
Published: 15 Jul 2008

Save for later

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540710691

Format: Paperback (556 pages)
Publisher: Springer
Published: 25 Jul 2008

Save for later