Interactive systems : :: SCD d'Orléans

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 : 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002 : revised papers

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing,...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Údar corparáideach:	International Workshop on the design, specification and verification of Interactive Systems :Rostock
Rannpháirtithe:	Vanderdonckt, Jean, 19..- (Stiúrthóir foilseacháin), Urban, Bodo, 1953- (Stiúrthóir foilseacháin), Forbrig, Peter (Stiúrthóir foilseacháin)
Formáid:	Livre numérique
Teanga:	Anglais
Foilsithe / Cruthaithe:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sraith:	Lecture notes in computer science 2545
Ábhair:	Génie logiciel Informatique Systèmes conversationnels (informatique) Interfaces utilisateur (informatique) Informatique documentaire Actes de congrès
Rochtain ar líne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nóta:	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, 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12-14, 2002, revised papers, Peter Forbrig ... [et al.], Berlin, Springer, 2002, 1 vol. (X-267 p.), Lecture notes in computer science, 3-540-00266-9 • Interactive Systems: Design, Specification, and Verification, Texte imprimé, 9783662190425

Míreanna comhchosúla

Interactive systems : design, specification, and verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5 6, 2000 : revised papers
de réir: Palanque, Philippe, 1966-...., informaticien, et al.

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 : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, june 11-13, 2003 : revised papers

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
de réir: Stary, Christian

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

Directions in human factors for interactive systems
de réir: Ledgard, Henry F., 1943-, et al.

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

Advanced information systems engineering : 16th international conference, CAiSE 2004, Riga, Latvia, June 7-11, 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

Models and tools for managing development processes
de réir: Westfechtel, Bernhard

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

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

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

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

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

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

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

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

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

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

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

The adaptation of virtual man-computer interfaces to user requirements in dialogs
de réir: Dehning, Waltraud, 19..-, et al.

Web engineering : managing diversity and complexity of Web application development
de réir: Murugesan, San, 1948-

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

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
de réir: Giorgini, Paolo, 1968-

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

On the move to meaningful internet systems 2004 : OTM 2004 workshops : OTM confederated international workshops and posters GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, october 25-29, 2004 : proceedings
de réir: Meersman, Robert A., 1947-...., linguiste

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

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

Cooperative environments for distributed systems engineering : the distributed systems environment report
de réir: Drira, Khalil, 19..-

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

Foundations of intelligent systems : 13th International Symposium, ISMIS 2002 Lyon, France, June 27 29, 2002 : proceedings

Intelligent tutoring systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14 1996 : proceedings

Intelligent systems and soft computing : prospects, tools and applications
de réir: Azvine, Behnam

Group communications and charges : technology and business models : 5th COST 264 International Workshop on Networked Group Communications, NGC 2003 and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003 : proceedings

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

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

Workflow management systems for process organisations
de réir: Schael, Thomas, 1962-

Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20 21, 2002 : proceedings

© 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