Buy Used and New Architecture & Logic Books

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733676

Format: Paperback (562 pages)
Publisher: Springer
Published: 02 Jul 2007

Save for later

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)

by

ISBN 13: 9783540779643

Format: Paperback (267 pages)
Publisher: Springer
Published: 01 Feb 2008

Save for later

Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540790020

Format: Paperback (331 pages)
Publisher: Springer
Published: 08 Apr 2008

Save for later

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... / Programming and Software Engineering)

by

ISBN 13: 9783540688549

Format: Paperback (341 pages)
Publisher: Springer
Published: 27 May 2008

Save for later

PHYSARUM MACHINES: COMPUTERS FROM SLIME MOULD (World Scientific Series on Nonlinear Science: Series A)

by ADAMATZKY ANDREW

ISBN 13: 9789814327589

Format: Hardcover (280 pages)
Publisher: World Scientific Publishing
Published: 26 Oct 2010

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

The JR Programming Language: Concurrent Programming in an Extended Java (The Springer International Series in Engineering and Computer Science): 774

by Ronald A. Olsson,Aaron W. Keen

ISBN 13: 9781402080852

Format: Hardcover (396 pages)
Publisher: Springer
Published: 20 Jul 2004

Save for later

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)

by Eerke A. Boiten,Bernhard Möller

ISBN 13: 9783540438571

Format: Paperback (273 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

by Sekharipuram S. Ravi, Sandeep K. Shukla

ISBN 13: 9781402096877

Format: Hardcover (518 pages)
Publisher: Springer
Published: 15 Apr 2009

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

Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control)

by John C. Eidson

ISBN 13: 9781846282508

Format: Illustrated (304 pages)
Publisher: Springer
Published: 09 Mar 2006

Save for later