![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
International Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS)
15th DS-VIS 2008: Kingston, Ontario, Canada
- T. C. Nicholas Graham, Philippe A. Palanque:
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Lecture Notes in Computer Science 5136, Springer 2008, ISBN 978-3-540-70568-0 [contents]
14th DS-VIS / 10. EHCI 2007: Salamanca, Spain
- Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson:
Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Lecture Notes in Computer Science 4940, Springer 2008, ISBN 978-3-540-92697-9 [contents]
13th DS-VIS 2006: Dublin, Ireland
- Gavin J. Doherty
, Ann Blandford
:
Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers. Lecture Notes in Computer Science 4323, Springer 2007, ISBN 978-3-540-69553-0 [contents]
12th DS-VIS 2005: Newcastle upon Tyne, UK
- Stephen W. Gilroy, Michael D. Harrison:
Interactive Systems, Design, Specification, and Verification, 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. Lecture Notes in Computer Science 3941, Springer 2006, ISBN 3-540-34145-5 [contents]
11th DS-VIS / 9. EHCI 2004: Hamburg, Germany
- Rémi Bastide, Philippe A. Palanque, Jörg Roth:
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3425, Springer 2005, ISBN 3-540-26097-8 [contents]
10th DSV-IS 2003: Funchal, Madeira Island, Portugal
- Joaquim A. Jorge
, Nuno Jardim Nunes
, João Falcão e Cunha:
Interactive Systems. Design, Specification, and Verification, 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Lecture Notes in Computer Science 2844, Springer 2003, ISBN 3-540-20159-9 [contents]
9th DSV-IS 2002: Rostock, Germany
- Peter Forbrig, Quentin Limbourg, Bodo Urban, Jean Vanderdonckt:
Interactive Systems. Design, Specification, and Verification, 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002. Lecture Notes in Computer Science 2545, Springer 2002, ISBN 3-540-00266-9 [contents]
8th DSV-IS 2001: Glasgow, Scotland, UK
- Chris W. Johnson:
Interactive Systems: Design, Specification, and Verification, 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001, Revised Papers. Lecture Notes in Computer Science 2220, Springer 2001, ISBN 3-540-42807-0 [contents]
7th DSV-IS 2000: Limerick, Ireland
- Philippe A. Palanque, Fabio Paternò:
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Lecture Notes in Computer Science 1946, Springer 2000, ISBN 3-540-41663-3 [contents]
6th DSV-IS 1999: Braga, Portugal
- David J. Duke, Angel R. Puerta:
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]
5th DSV-IS 1998: Abingdon, United Kingdom
- Panos Markopoulos, Peter Johnson:
Design, Specification and Verification of Interactive Systems'98, Proceedings of the Fifth International Eurographics Workshop, June 3-5, 1998, Abingdon, United Kingdom, Volume 1. Eurographics, Springer 1998, ISBN 3-211-83212-2 [contents] - Panos Markopoulos, Peter Johnson:
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 1998 [contents]
4th DSV-IS 1997: Granada, Spain
- Michael D. Harrison, Juan Carlos Torres:
Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. Eurographics, Springer 1997, ISBN 3-211-83055-3 [contents]
3rd DSV-IS 1996: Namur, Belgium
- François Bodart, Jean Vanderdonckt:
Design, Specification and Verification of Interactive Systems'96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. Eurographics, Springer 1996, ISBN 3-211-82900-8 [contents]
2nd DSV-IS 1995: Chateau de Bonas, France
- Philippe A. Palanque, Rémi Bastide:
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]
1st DSV-IS 1994: Bocca di Magra, Italy
- Fabio Paternò:
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]
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.