Buy Used and New Software Design, Testing & Engineering Books

Principles of the Spin Model Checker

by Mordechai Ben-Ari

ISBN 13: 9781846287695

Format: Paperback (216 pages)
Publisher: Springer
Published: 08 Jan 2008

Save for later

Trusted Computing: Second International Conference, Trust 2009 Oxford, UK, April 6-8, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783642005862

Format: Paperback (265 pages)
Publisher: Springer
Published: 26 Mar 2009

Save for later

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2009: 12th International Conference, London, UK, September 20-24, 2009, ... Vision, Pattern Recognition, and Graphics)

by

ISBN 13: 9783642042676

Format: Paperback (1037 pages)
Publisher: Springer
Published: 07 Sep 2009
Other Format: Paperback

Save for later

Information Systems, Technology and Management: 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings (Communications in Computer and Information Science)

by

ISBN 13: 9783642120343

Format: Paperback (418 pages)
Publisher: Springer
Published: 01 Mar 2010

Save for later

Pro Apache Tomcat 6

by Matthew Moodie,Kunal Mittal

ISBN 13: 9781590597859

Format: Illustrated (352 pages)
Publisher: Apress
Published: 26 Mar 2007

Save for later

SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on Current Trends in Theory and Practice of Computer Science, pindleruv Mlýn, ... Computer Science and General Issues)

by

ISBN 13: 9783642112652

Format: Paperback (780 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by Gabriele Puppis

ISBN 13: 9783642118807

Format: Paperback (206 pages)
Publisher: Springer
Published: 18 Feb 2010

Save for later

Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010, Proceedings (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642130939

Format: Paperback (548 pages)
Publisher: Springer
Published: 20 May 2010

Save for later

Recent Trends in Networks and Communications: International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010,Chennai, India, July 23-25, 2010. ... in Computer and Information Science)

by

ISBN 13: 9783642144929

Format: Paperback (725 pages)
Publisher: Springer
Published: 07 Jul 2010

Save for later

Human and Nature Minding Automation: An Overview of Concepts, Methods, Tools and Applications (Intelligent Systems, Control and Automation: Science and Engineering)

by Spyros G. Tzafestas

ISBN 13: 9789048135615

Format: Hardcover (346 pages)
Publisher: Springer
Published: 18 Dec 2009

Save for later

Multimedia Interaction and Intelligent User Interfaces: Principles, Methods and Applications (Advances in Pattern Recognition)

by

ISBN 13: 9781849965064

Format: Hardcover (304 pages)
Publisher: Springer
Published: 17 Sep 2010

Save for later

Software Verification and Validation: An Engineering and Scientific Approach

by Marcus S. Fisher

ISBN 13: 9780387327259

Format: Hardcover (172 pages)
Publisher: Springer
Published: 20 Dec 2006

Save for later