Design, Specification, and Verification of Interactive Systems (DSV-IS)
15. DS-VIS 2008: Kingston, Ontario, Canada
T. C. Nicholas Graham, Philippe A. Palanque (Eds.): Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Springer 2008 Lecture Notes in Computer Science 5136 ISBN 978-3-540-70568-0 [ contents ]
14. DS-VIS / 10. EHCI 2007: Salamanca, Spain
- Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson (Eds.): Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Springer 2008 Lecture Notes in Computer Science 4940 ISBN 978-3-540-92697-9 [ contents ]
13. DS-VIS 2006: Dublin, Ireland
- Gavin J. Doherty, Ann Blandford (Eds.): Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Springer 2007 Lecture Notes in Computer Science 4323 ISBN 978-3-540-69553-0 [ contents ]
12. DS-VIS 2005: Newcastle upon Tyne, UK
- Stephen W. Gilroy, Michael D. Harrison (Eds.): Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Springer 2006 Lecture Notes in Computer Science 3941 ISBN 3-540-34145-5 [ contents ]
11. DS-VIS / 9. EHCI 2004: Hamburg, Germany
- Rémi Bastide, Philippe A. Palanque, Jörg Roth (Eds.): Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers. Springer 2005 Lecture Notes in Computer Science 3425 ISBN 3-540-26097-8 [ contents ]
10. DSV-IS 2003: Funchal, Madeira Island, Portugal
- Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (Eds.): Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Springer 2003 Lecture Notes in Computer Science 2844 ISBN 3-540-20159-9 [ contents ]
9. DSV-IS 2002: Rostock, Germany
- Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt (Eds.): Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Springer 2002 Lecture Notes in Computer Science 2545 ISBN 3-540-00266-9 [ contents ]
8. DSV-IS 2001: Glasgow, Scotland, UK
- Chris Johnson (Ed.): Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Springer 2001 Lecture Notes in Computer Science 2220 ISBN 3-540-42807-0 [ contents ]
7. DSV-IS 2000: Limerick, Ireland
- Philippe A. Palanque, Fabio Paternò (Eds.): Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1946 ISBN 3-540-41663-3 [ contents ]
6. DSV-IS 1999: Braga, Portugal
- David J. Duke, Angel R. Puerta (Eds.): Design, Specification and Verification of Interactive Systems'99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer 1999 ISBN 3-211-83405-2 [ contents ]
5. DSV-IS 1998: Abingdon, United Kingdom
- Panos Markopoulos, Peter Johnson (Eds.): Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Springer 19981 ISBN 3-211-83212-2 [ contents ]
- Panos Markopoulos, Peter Johnson (Eds.): Design, Specification and Verification of Interactive Systems'98, Supplementary Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom. Eurographics Association 19982 [ contents ]
4. DSV-IS 1997: Granada, Spain
- Michael D. Harrison, Juan Carlos Torres (Eds.): Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Springer 1997 ISBN 3-211-83055-3 [ contents ]
3. DSV-IS 1996: Namur, Belgium
- François Bodart, Jean Vanderdonckt (Eds.): Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. Springer 1996 ISBN 3-211-82900-8 [ contents ]
2. DSV-IS 1995: Chateau de Bonas, France
- Philippe A. Palanque, Rémi Bastide (Eds.): Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. Springer 1995 ISBN 3-211-82739-0 [ contents ]
1. DSV-IS 1994: Bocca di Magra, Italy
- Fabio Paternò (Ed.): Design, Specification and Verification of Interactive Systems'94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. Springer 1994 ISBN 3-540-59480-9 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team