Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2008, held in Kingston, Canada, in July 2008. The 21 revised full papers and 10 late breaking and experience report papers presented were carefu...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Graham, T. C. Nicholas (Editor ), Palanque, Philippe (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Programming and Software Engineering,
5136 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /
Publicado: (2007) -
Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II /
Publicado: (2007) -
Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I /
Publicado: (2007) -
Advances in Multimedia Information Processing -- PCM 2010, Part II 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010 Proceedings /
Publicado: (2010) -
Advances in Multimedia Information Processing, PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012, Proceedings /
por: Sun, Ming-Ting
Publicado: (2012)