Buy Used and New Architecture & Logic Books

Grid Computing: Achievements and Prospects

by

ISBN 13: 9780387094564

Format: Hardcover (308 pages)
Publisher: Springer
Published: 21 Jul 2008

Save for later

Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... / Programming and Software Engineering)

by

ISBN 13: 9783540878780

Format: Paperback (235 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)

by

ISBN 13: 9783540921875

Format: Paperback (313 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

by Artur S. D'Avila Garcez,Luís C. Lamb,Dov M. Gabbay

ISBN 13: 9783540732457

Format: Hardcover (212 pages)
Publisher: Springer
Published: 22 Oct 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540852377

Format: Paperback (626 pages)
Publisher: Springer
Published: 12 Aug 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

The gm/ID Methodology, a sizing tool for low-voltage analog CMOS Circuits: The semi-empirical and compact model approaches (Analog Circuits and Signal Processing)

by Paul Jespers

ISBN 13: 9780387471006

Format: Audiobook (188 pages)
Publisher: Springer
Published: 07 Dec 2009

Save for later

Creating Cool MINDSTORMS NXT Robots (Technology in Action)

by Daniele Benedettelli

ISBN 13: 9781590599662

Format: Illustrated (608 pages)
Publisher: Apress
Published: 28 Apr 2008

Save for later

Analog Circuit Design: Smart Data Converters, Filters on Chip, Multimode Transmitters

by Roermund

ISBN 13: 9789048130825

Format: Hardcover (352 pages)
Publisher: Springer
Published: 07 Dec 2009

Save for later

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007, ... 5129 (Lecture Notes in Computer Science)

by Francesca Rossi, François Fages, Sylvain Soliman

ISBN 13: 9783540898115

Format: Paperback (159 pages)
Publisher: Springer
Published: 01 Dec 2008

Save for later