Buy Used and New Architecture & Logic Books

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

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

System Performance Tuning

by Gian-Paolo D. Musumeci,Mike Loukides

ISBN 13: 9780596002848

Format: Paperback (352 pages)
Publisher: O'Reilly Media
Published: 15 Feb 2002
Other Format: Paperback

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

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

by Gilles Dowek,Jean-Jacques Lévy

ISBN 13: 9780857290755

Format: Paperback (118 pages)
Publisher: Springer
Published: 15 Dec 2010

Save for later

Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540251088

Format: Paperback (684 pages)
Publisher: Springer
Published: 04 Mar 2005

Save for later

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa

ISBN 13: 9780857290175

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jan 2011

Save for later

Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540851691

Format: Paperback (488 pages)
Publisher: Springer
Published: 30 Jul 2008

Save for later

Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540893295

Format: Paperback (343 pages)
Publisher: Springer
Published: 14 Nov 2008

Save for later

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540896739

Format: Paperback (406 pages)
Publisher: Springer
Published: 24 Nov 2008

Save for later

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)

by

ISBN 13: 9783540938996

Format: Paperback (381 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later