Buy Used and New Architecture & Logic Books

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

High - Level Synthesis: Introduction to Chip and System Design

by Daniel D. Gajski,Nikil D. Dutt,Allen C-H Wu

ISBN 13: 9780792391944

Format: Illustrated (376 pages)
Publisher: Springer
Published: 29 Feb 1992

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

Algebraic Informatics: Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540754138

Format: Paperback (291 pages)
Publisher: Springer
Published: 14 Dec 2007

Save for later

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by

ISBN 13: 9783540741060

Format: Hardcover (624 pages)
Publisher: Springer
Published: 07 Dec 2007

Save for later

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540786627

Format: Paperback (401 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Programming Languages: An Active Learning Approach

by Kent D. Lee

ISBN 13: 9780387794211

Format: Hardcover (296 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later

Distributed and Parallel Systems: In Focus: Desktop Grid Computing

by

ISBN 13: 9780387794471

Format: Hardcover (220 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

Artificial Life: Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642104268

Format: Paperback (283 pages)
Publisher: Springer
Published: 06 Nov 2009

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783540787990

Format: Paperback (518 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)

by

ISBN 13: 9780387692449

Format: Hardcover (384 pages)
Publisher: Springer
Published: 29 Mar 2007

Save for later

SDL 2007: Design for Dependable Systems: 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer ... Networks and Telecommunications)

by

ISBN 13: 9783540749837

Format: Paperback (289 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later