Buy Used and New Software Design, Testing & Engineering Books

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

by Yves Bertot,Pierre Castéran

ISBN 13: 9783540208549

Format: Hardcover (500 pages)
Publisher: Springer
Published: 14 May 2004

Save for later

Guide to Advanced Empirical Software Engineering

by

ISBN 13: 9781848000438

Format: Hardcover (388 pages)
Publisher: Springer
Published: 25 Oct 2007

Save for later

Tools for High Performance Computing: Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

by Rainer Keller,Valentin Himmler,Bettina Krammer

ISBN 13: 9783540685616

Format: Hardcover (216 pages)
Publisher: Springer
Published: 24 Jun 2008

Save for later

Design and Implementation of Data Mining Tools

by Bhavani Thuraisingham, Latifur Khan, Mamoun Awad, Lei Wang

ISBN 13: 9781420045901

Format: Hardcover (272 pages)
Publisher: Auerbach Publications
Published: 18 Jun 2009

Save for later

Analog and VLSI Circuits (Circuits and Filters Handbook, 3rd Edition)

by Wai-Kai Chen

ISBN 13: 9781420058918

Format: Hardcover (702 pages)
Publisher: CRC Press
Published: 23 Jun 2009

Save for later

Categories for Types (Cambridge Mathematical Textbooks)

by Crole

ISBN 13: 9780521457019

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1994

Save for later

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009

by Chris Dale,Tom Anderson

ISBN 13: 9781848823488

Format: Paperback (256 pages)
Publisher: Springer
Published: 28 Jan 2009
Other Format: Paperback

Save for later

Microcontrollers

by Fernando E. Valdes-Perez, Ramon Pallas-Areny

ISBN 13: 9781420077674

Format: Hardcover (300 pages)
Publisher: CRC Press
Published: 11 Feb 2009

Save for later

APL2 in Depth (Springer Series in Statistics)

by Norman D. Thomson

ISBN 13: 9780387942131

Format: Illustrated (280 pages)
Publisher: Springer
Published: 29 Jun 1995

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

UML 2.0 in a Nutshell: A Desktop Quick Reference (In a Nutshell (O'Reilly))

by Dan Pilone

ISBN 13: 9780596007959

Format: Paperback (234 pages)
Publisher: O′Reilly
Published: 24 Jun 2005

Save for later

Grid Computing: International Symposium on Grid Computing (ISGC 2007)

by Stella Shen,Simon C. Lin,Eric Yen

ISBN 13: 9780387784168

Format: Hardcover (224 pages)
Publisher: Springer
Published: 10 Oct 2008

Save for later