Buy Used and New Software Design, Testing & Engineering Books

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities

by Axel Simon

ISBN 13: 9781848000162

Format: Hardcover (322 pages)
Publisher: Springer
Published: 18 Jul 2008

Save for later

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

by Javier Esparza,Keijo Heljanko

ISBN 13: 9783540774259

Format: Hardcover (184 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

by Fred Kröger,Stephan Merz

ISBN 13: 9783540674016

Format: Hardcover (448 pages)
Publisher: Springer
Published: 27 Mar 2008

Save for later

Computer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania): v. 5

by

ISBN 13: 9781402058196

Format: Hardcover (298 pages)
Publisher: Springer
Published: 22 Oct 2007

Save for later

Ambient Intelligence: European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings (Lecture Notes in Computer Science / ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540896166

Format: Paperback (361 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

On the Move to Meaningful Internet Systems: OTM 2008: OTM Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783540888727

Format: Paperback (645 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

High Assurance Services Computing

by

ISBN 13: 9780387876573

Format: Hardcover (326 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

Voice: User Interface Design

by Michael H. Cohen,James P. Giangola,Jennifer Balogh

ISBN 13: 9780321185761

Format: Paperback (368 pages)
Publisher: Addison Wesley
Published: 02 Feb 2004

Save for later

Signal Processing for Intelligent Sensor Networks with MATLAB (Signal Processing and Communications)

by David C. Swanson

ISBN 13: 9781420043044

Format: Hardcover (683 pages)
Publisher: CRC Press
Published: 26 Jul 2011

Save for later

Beginning Spring 2: From Novice to Professional (Beginning: From Novice to Professional)

by Dave Minter

ISBN 13: 9781590596852

Format: Illustrated (296 pages)
Publisher: Apress
Published: 04 May 2009

Save for later

Peer-to-Peer Systems III: Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers: v. 3 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540242529

Format: Paperback (311 pages)
Publisher: Springer
Published: 21 Jan 2005

Save for later

RoboCup 2003: Robot Soccer World Cup VII: v. 7 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540224433

Format: Paperback (783 pages)
Publisher: Springer
Published: 02 Sep 2004

Save for later