Opening book details…
Can I read Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers on EtoBox?
Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers by Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.) is a nonfiction available to read on EtoBox.
What is Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers about?
This book constitutes the refereed proceedings of the 10th European PVM/MPI Users' Group Meeting held in Venice, Italy, in September/October 2003. The 64 revised full papers and 16 revised short papers presented together with abstracts of 8 invited contributions and 7 reviewed special track papers were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on evaluation and performance analysis; parallel algorithms using message passing; extensions, im
Who reads Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Islands, Portugal, June 11-13, 2003 : revised papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2003
- Language
- EN
- ISBN
- 9788354039921
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Mathematics
- Updated
- 2026-03-25
Other editions & translations
More by Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
Similar books
- Interactive storytelling : 10th International Conference on Interactive Digital Storytelling, ICIDS 2017, Funchal, Madeira, Portugal, November 14-17, 2017, proceedings — Nuno Nunes, Ian Oakley, Valentina Nisi (2017)
- Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers — Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (2008)
- Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers — Paul Curzon, Ann Blandford (auth.), Peter Forbrig, Quentin Limbourg, Jean Vanderdonckt, Bodo Urban (2002)
- Agents and Artificial Intelligence : 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 – 18, 2018, Revised Selected Papers — Jaap van den Herik, Ana Paula Rocha (2019)
- Evaluation of novel approaches to software engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers — Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, (2019)
- Biomedical engineering systems and technologies : International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 : revised selected papers — Albert M. Cook (auth.), Ana Fred, Joaquim Filipe, Hugo Gamboa (2009)