Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540773948
Format: Paperback (215 pages) Publisher: Springer Published: 12 Dec 2007
Save for later
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
Business Process Management Workshops: BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783540782377
Format: Paperback (518 pages) Publisher: Springer Published: 29 Feb 2008
Electronic Healthcare: First International Conference, eHealth 2008, London, September 8-9, 2008, Revised Selected Papers (Lecture Notes of the ... and Telecommunications Engineering)
ISBN 13: 9783642004124
Format: Paperback (222 pages) Publisher: Springer Published: 19 Feb 2009