Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005
Save for later
Advances in Brain, Vision, and Artificial Intelligence: Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007, Proceedings ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540755548
Format: Paperback (618 pages) Publisher: Springer Published: 01 Oct 2007
Intelligent Virtual Agents: 7th International Working Conference, IVA 2007, Paris, France, September 17-19, 2007, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540749967
Format: Paperback (425 pages) Publisher: Springer Published: 06 Sep 2007
Post-Quantum Cryptography: Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA October 17-19, 2008 Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783540884026
Format: Paperback (231 pages) Publisher: Springer Published: 06 Oct 2008
Distributed Computing and Networking: 10th International Conference, ICDCN 2009, Hyderabad, India, January 2009 Proceedings: 10th International ... 5408 (Lecture Notes in Computer Science)
by Vijay Garg, Roger Wattenhofer, Kishore Kothapalli
ISBN 13: 9783540922940
Format: Paperback (476 pages) Publisher: Springer Published: 18 Dec 2008
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Advances in Artificial Intelligence - IBERAMIA 2008: 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings: 5290 (Lecture Notes in Computer Science)
by Hector Geffner,Rui Prada,Isabel Machado Alexandre,Nuno David
ISBN 13: 9783540883081
Format: Paperback (480 pages) Publisher: Springer Published: 29 Sep 2008
Data Warehousing and Knowledge Discovery: 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540745525
Format: Paperback (482 pages) Publisher: Springer Published: 21 Aug 2007
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540733676
Format: Paperback (562 pages) Publisher: Springer Published: 02 Jul 2007
Information Security and Privacy: 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007, Proceedings (Lecture Notes in Computer Science / Security and Cryptology)
ISBN 13: 9783540734574
Format: Paperback (476 pages) Publisher: Springer Published: 15 Jun 2007
Intelligent Data Engineering and Automated Learning - IDEAL 2007: 8th International Conference, Birmingham, UK, December 16-19, 2007, Proceedings ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540772255
Format: Paperback (1174 pages) Publisher: Springer Published: 10 Dec 2007
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... / Programming and Software Engineering)
ISBN 13: 9783540779643
Format: Paperback (267 pages) Publisher: Springer Published: 01 Feb 2008