Buy Used and New Architecture & Logic Books

Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings: ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540728818

Format: Paperback (337 pages)
Publisher: Springer
Published: 25 May 2007

Save for later

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

Building Web Applications with C# and .NET: A Complete Reference

by Dudley W. Gill

ISBN 13: 9780849312502

Format: Illustrated (760 pages)
Publisher: CRC Press
Published: 02 Dec 2002

Save for later

Electronics System Design Techniques for Safety Critical Applications: 26 (Lecture Notes in Electrical Engineering)

by Luca Sterpone

ISBN 13: 9781402089787

Format: Hardcover (164 pages)
Publisher: Springer
Published: 14 Oct 2008

Save for later

The Healthy PC: Preventive Care and Home Remedies for Your Computer

by Carey Holzman

ISBN 13: 9780072229233

Format: Illustrated (260 pages)
Publisher: McGraw-Hill
Published: 27 Oct 2003

Save for later

Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)

by Steven S. Skiena, Miguel A. Revilla

ISBN 13: 9780387001630

Format: Paperback (368 pages)
Publisher: Springer
Published: 14 May 2003

Save for later

From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)

by Olaf Owe, Stein Krogdahl, Tom Lyche

ISBN 13: 9783540213666

Format: Illustrated (404 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Compilation Techniques for Reconfigurable Architectures

by João M.P. Cardoso,Pedro C. Diniz

ISBN 13: 9780387096704

Format: Illustrated (236 pages)
Publisher: Springer
Published: 26 Nov 2008

Save for later

Living with the Chip

by T. Makimoto,D. Manners

ISBN 13: 9780412616907

Format: Paperback (224 pages)
Publisher: Springer
Published: 30 Nov 1994

Save for later