Buy Used and New Architecture & Microprocessors Books

Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers: v. ... / Programming and Software Engineering)

by

ISBN 13: 9783540340973

Format: Paperback (265 pages)
Publisher: Springer
Published: 15 May 2006

Save for later

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

Eda for IC Implementation, Circuit Design, and Processtechnology (Electronic Design Automation for Integrated Circuits)

by

ISBN 13: 9780849379246

Format: Hardcover (608 pages)
Publisher: CRC Press
Published: 23 Mar 2006

Save for later

Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC

by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi

ISBN 13: 9781420044713

Format: Hardcover (288 pages)
Publisher: CRC Press
Published: 17 Sep 2008

Save for later

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture ... / Programming and Software Engineering)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Principles of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9781848820319

Format: Paperback (158 pages)
Publisher: Springer
Published: 13 Mar 2009

Save for later

Three-dimensional Integrated Circuit Design (Systems on Silicon)

by Eby G. Friedman, Vasilis F. Pavlidis

ISBN 13: 9780123743435

Format: Hardcover (336 pages)
Publisher: Morgan Kaufmann
Published: 06 Nov 2008

Save for later

Models of Network Reliability

by Ilya B. Gertsbakh, Yoseph Shpungin

ISBN 13: 9781439817414

Format: Hardcover (217 pages)
Publisher: CRC Press
Published: 22 Dec 2009

Save for later