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

Design for Debugging and Validation of Embedded Systems (Morgan Kaufmann Series in Systems on Silicon (Hardcover))

by Roychoudhury

ISBN 13: 9780123742308

Format: Illustrated (400 pages)
Publisher: Morgan Kaufmann
Published: 08 Jul 2009

Save for later

FPGAs 101,: Everything you need to know to get started

by Gina Smith

ISBN 13: 9781856177061

Format: Illustrated (250 pages)
Publisher: Newnes
Published: 25 Mar 2010

Save for later

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

by David Gray

ISBN 13: 9783540761402

Format: Paperback (476 pages)
Publisher: Springer-Verlag
Published: 01 Nov 1998

Save for later

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, ... 2941 (Lecture Notes in Computer Science)

by Martin Wirsing, Alexander Knapp, Simonetta Balsamo

ISBN 13: 9783540211792

Format: Paperback (359 pages)
Publisher: Springer
Published: 18 Mar 2004

Save for later

Prospects for Functional Programming in Software Engineering: 1 (Research Reports Esprit)

by Jean-Pierre Banatre, Simon B. Jones, Daniel Le Metayer, P. Fradet, A. Sinclair

ISBN 13: 9783540538523

Format: Paperback (210 pages)
Publisher: Springer
Published: 03 Apr 1991

Save for later

The Designer's Guide to VHDL (Systems on Silicon): Volume 3

by Peter J. Ashenden

ISBN 13: 9780120887859

Format: Illustrated (936 pages)
Publisher: Morgan Kaufmann
Published: 01 Jul 2008

Save for later

Rapid Prototyping of Digital Systems: Sopc Edition

by J. O. Hamblen,T. S. Hall,M. D. Furman

ISBN 13: 9780387726700

Format: Illustrated (432 pages)
Publisher: Springer
Published: 31 Oct 2007

Save for later