Interactive systems : :: SCD d'Orléans

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5 6, 2000 : revised papers

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5 6, 2000 : revised papers

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Auteurs principaux:	Palanque, Philippe, 1966-...., informaticien (Auteur), Paternò, Fabio, 1960- (Auteur)
Autor Corporativo:	International Workshop on the design, specification and verification of Interactive Systems :Limerick, Irlande
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colecção:	Lecture notes in computer science 1946
Assuntos:	Génie logiciel Informatique Systèmes conversationnels (informatique) Interfaces utilisateur (informatique) Actes de congrès
Acesso em linha:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Interactive systems, design, specification, and verification, 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 2000, revised papers, Philippe Palanque, Fabio Patern'o (eds.), 2001, Berlin, Springer, 1 vol. (VI-250 p.), Lecture notes in computer science, 3-540-41663-3 • Interactive Systems. Design, Specification, and Verification, Texte imprimé, 9783662182697

Registos relacionados

Interactive systems : design,specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13 15, 2001 : revised papers

Interactive systems : design, specification, and verification : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

Interactive systems : design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, june 11-13, 2003 : revised papers

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings

User-centered interaction paradigms for universal access in the information society : 8th ERCIM workshop on user interfaces for all, Vienna, Austria, June 28-29, 2004 : revised selected papers
Por: Stary, Christian

Engineering for human-computer interaction : 8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 : revised papers

Text-and speech-triggered information access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30 2000 : revised lectures

Web services, E-Business, and the Semantic Web : Second international workshop, WES 2003, Klagenfurt, Austria, June 16-17, 2003 : revised selected papers
Por: Bussler, Christoph

Affective interactions : towards a new generation of computer interfaces
Por: Paiva, Ana

Models and tools for managing development processes
Por: Westfechtel, Bernhard

Directions in human factors for interactive systems
Por: Ledgard, Henry F., 1943-, et autres

Advances in learning software organizations : 4th international workshop, LSO 2002, Chicago, IL, USA, August 6, 2002 : revised papers

Engineering societies in the agents world : first international workshop, ESAW 2000, Berlin, Germany, August 21, 2000 : revised papers

Mobile and ubiquitous information access : Mobile HCI 2003 international workshop, Udine, Italy, September 8, 2003 : revised and invited papers
Por: Crestani, Fabio, 1962-

Advances in multimodal interfaces - ICMI 2000 : third international conference, Beijing, China, October 14-16, 2000 : proceedings

Metainformatics : international symposium, MIS 2003, Graz, Austria, September 17-20, 2003 : revised papers

Web services, E-Business, and the Semantic Web : CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27 28, 2002 : revised papers
Por: Bussler, Christoph

Advances in learning software organizations : 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings
Por: Melnik, Grigori

Software engineering research and applications : First international conference, SERA 2003, San Fransisco, CA, USA, June 25-27, 2003 : Selected revised papers

Intelligent tutoring systems : 5th International Conference, ITS 2000, Montréal, Canada, June 19-23, 2000 : proceedings

Agent-mediated knowledge management : international symposium AMKM 2003, Stanford, CA, USA, March 24-26, 2003 : revised and invited papers
Por: Elst, Ludger van

Cooperative Information Agents VIII : 8th International Workshop, CIA 2004, Erfurt, Germany, September 27-29, 2004. Proceedings

Interactive multimedia and next generation networks : Second international workshop on multimedia interactive protocols and systems, MIPS 2004, Grenoble, France, November 16-19, 2004 : proceedings

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings

Innovative concepts for agent-based systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers

From theory to practice in multi-agent systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 26 29, 2001 : revised papers

Agent-oriented information systems : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13, 2003 : revised selected papers
Por: Giorgini, Paolo, 1968-

The adaptation of virtual man-computer interfaces to user requirements in dialogs
Por: Dehning, Waltraud, 19..-, et autres

Digital libraries : technology and management of indigenous knowledge for global access : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003 : proceedings

Grid and cooperative computing : second international workshop, GCC 2003, Shanghai, China, December 7-10, 2003 : revised papers, part I

Multi-agent-based simulation. 4th International Workshop, MABS 2003, Melbourne, Australia, July 14, 2003 : revised papers

Advanced information systems engineering : 16th international conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004 : proceedings

Cooperative information agents VII : 7th international workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003 : proceedings

Business process management : models, techniques, and empirical studies
Por: Aalst, Wil van der, 1966-

Enduser systems and their human factors : proceedings of the scientific symposium conducted on the occasion of the 15th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, March 18, 1983

Cooperative environments for distributed systems engineering : the distributed systems environment report
Por: Drira, Khalil, 19..-

Advanced information systems engineering : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14 18, 1999 proceedings

Multi-agent-based simulation. third international workshop, MABS 2002, Bologna, Italy, July 15-16, 2002 : revised papers

Intelligent systems and soft computing : prospects, tools and applications
Por: Azvine, Behnam

Advances in informatics : 8th Panhellenic Conference on Informatics, PCI 2001, Nicosia, Cyprus, November 8 10, 2001 : revised selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales