RoboCup 2008: Robot Soccer World Cup XII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642029202
Format: Paperback (662 pages) Publisher: Springer Published: 24 Jun 2009
Save for later
Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings: 5663 (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642029585
Format: Paperback (504 pages) Publisher: Springer Published: 10 Jul 2009
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... / Programming and Software Engineering)
ISBN 13: 9783642031526
Format: Paperback (301 pages) Publisher: Springer Published: 14 Jul 2009
Parallel Computing Technologies: 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009, Proceedings: 5698 ... Computer Science and General Issues)
ISBN 13: 9783642032745
Format: Paperback (476 pages) Publisher: Springer Published: 04 Aug 2009
Software by Design: Shaping Technology and the Workplace
by Harold Salzman,Stephen R. Rosenthal
ISBN 13: 9780195083408
Format: Illustrated (364 pages) Publisher: Oxford University Press Published: 01 Jan 1994
Achievement and Assurance of Safety: Proceedings Of The Third Safety-Critical Systems Symposium
by Felix Redmill, Tom Anderson
ISBN 13: 9783540199229
Format: Paperback (329 pages) Publisher: Springer Published: 10 Feb 1995
Rescue Robotics: DDT Project on Robots and Systems for Urban Search and Rescue
ISBN 13: 9781848824737
Format: Hardcover (192 pages) Publisher: Springer Published: 05 Mar 2010
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540733690
Format: Paperback (285 pages) Publisher: Springer Published: 21 Jun 2007
Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540958871
Format: Paperback (257 pages) Publisher: Springer Published: 02 Feb 2009
Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783642009440
Format: Paperback (217 pages) Publisher: Springer Published: 26 Mar 2009
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783642013638
Format: Paperback (241 pages) Publisher: Springer Published: 19 May 2009
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, ... / Programming and Software Engineering)
ISBN 13: 9783642017018
Format: Paperback (215 pages) Publisher: Springer Published: 22 Apr 2009