Buy Used and New Software Design, Testing & Engineering Books

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

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

Communities and Technologies: Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007

by Charles Steinfield, Brian T. Pentland, Mark Ackerman, Noshir Contractor

ISBN 13: 9781846289040

Format: Hardcover (566 pages)
Publisher: Springer
Published: 16 Jul 2007

Save for later

UbiComp 2007: Ubiquitous Computing: 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings: 4717 (Lecture Notes in Computer Science)

by John Krumm

ISBN 13: 9783540748526

Format: Illustrated (548 pages)
Publisher: Springer
Published: 09 Nov 2007

Save for later

Computer Aided Design and Design Automation (Circuits and Filters Handbook, 3rd Edition)

by Wai-Kai Chen

ISBN 13: 9781420059182

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

Save for later

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

by Sekharipuram S. Ravi, Sandeep K. Shukla

ISBN 13: 9781402096877

Format: Hardcover (518 pages)
Publisher: Springer
Published: 15 Apr 2009

Save for later

Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings: 2386 (Lecture Notes in Computer Science)

by Eerke A. Boiten,Bernhard Möller

ISBN 13: 9783540438571

Format: Paperback (273 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)

by ZhiWu Li, MengChu Zhou

ISBN 13: 9781848822436

Format: Hardcover (239 pages)
Publisher: Springer
Published: 04 Mar 2009

Save for later