Buy Used and New Software Design, Testing & Engineering Books

Analytical and Stochastic Modeling Techniques and Applications: 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings ... / Programming and Software Engineering)

by

ISBN 13: 9783642022043

Format: Paperback (401 pages)
Publisher: Springer
Published: 25 May 2009

Save for later

Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction: 13th International Conference, HCI International 2009, San Diego, CA, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642025792

Format: Paperback (818 pages)
Publisher: Springer
Published: 01 Jul 2009

Save for later

Human-Computer Interaction. Interacting in Various Application Domains: 13th International Conference, HCI International 2009, San Diego, CA, USA, ... Applications, incl. Internet/Web, and HCI)

by

ISBN 13: 9783642025822

Format: Paperback (781 pages)
Publisher: Springer
Published: 01 Jul 2009

Save for later

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings: 5578 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642026515

Format: Paperback (297 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, ... / Programming and Software Engineering)

by

ISBN 13: 9783642026737

Format: Paperback (337 pages)
Publisher: Springer
Published: 12 Jun 2009

Save for later

Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642027154

Format: Paperback (341 pages)
Publisher: Springer
Published: 24 Jun 2009

Save for later

Knowledge Management for Health Care Procedures: ECAI 2008 Workshop K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642032615

Format: Paperback (167 pages)
Publisher: Springer
Published: 20 Jul 2009

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

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

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

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

New Trends on Human-Computer Interaction: Research, Development, New Tools and Methods

by Macías

ISBN 13: 9781848823518

Format: Illustrated (176 pages)
Publisher: Springer
Published: 10 Mar 2009

Save for later