Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783540326045
Format: Paperback (275 pages) Publisher: Springer Published: 06 Apr 2006
Save for later
Advances in Web Based Learning - ICWL 2007: 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540781387
Format: Paperback (654 pages) Publisher: Springer Published: 14 Apr 2008
Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540309482
Format: Paperback (380 pages) Publisher: Springer Published: 11 Jan 2006
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540753339
Format: Paperback (339 pages) Publisher: Springer Published: 22 Nov 2007
Engineering Societies in the Agents World VIII: 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers: ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540876533
Format: Paperback (351 pages) Publisher: Springer Published: 07 Oct 2008
Motion in Games: First International Workshop, MIG 2008, Utrecht, The Netherlands, June 14-17, 2008, Revised Papers (Lecture Notes in Computer Science ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540892199
Format: Paperback (257 pages) Publisher: Springer Published: 19 Nov 2008
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540773948
Format: Paperback (215 pages) Publisher: Springer Published: 12 Dec 2007
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783540711551
Format: Paperback (317 pages) Publisher: Springer Published: 28 Feb 2007
Computer Music Modeling and Retrieval: Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers (Lecture Notes in ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540244585
Format: Hardcover (371 pages) Publisher: Springer Published: 14 Feb 2005 Other Format: Paperback
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783540489283
Format: Paperback (203 pages) Publisher: Springer Published: 03 Nov 2006
Multi-Agent-Based Simulation VII: International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers: No. 7 (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540765363
Format: Paperback (189 pages) Publisher: Springer Published: 07 Nov 2007
Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540737698
Format: Paperback (217 pages) Publisher: Springer Published: 09 Aug 2007