Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised ... / Programming and Software Engineering)
by
ISBN 13: 9783540695530
Format: Paperback (269 pages) Publisher: Springer Published: 18 Jan 2007
Save for later
Software Engineering Research and Applications: Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected ... / Programming and Software Engineering)
ISBN 13: 9783540321330
Format: Paperback (276 pages) Publisher: Springer Published: 10 Feb 2006
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)
ISBN 13: 9783540326045
Format: Paperback (275 pages) Publisher: Springer Published: 06 Apr 2006
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