Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers /

Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers /

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. The 26 revised full papers and 5 revised short papers presented t...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Jorge, Joaquim (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Jardim Nunes, Nuno (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Falcao e Cunha, Joao (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2844
Θέματα:	Computers. User interfaces (Computer systems). Computer communication systems. Software engineering. Computer logic. Information storage and retrieval. Theory of Computation. User Interfaces and Human Computer Interaction. Computer Communication Networks. Software Engineering. Logics and Meanings of Programs. Information Storage and Retrieval.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Interactive Systems: Design, Specification, and Verification 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002 /
Έκδοση: (2002)

Web Engineering Managing Diversity and Complexity of Web Application Development /
Έκδοση: (2001)

Group Communications and Charges; Technology and Business Models 5th COST264 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 /
Έκδοση: (2003)

Foundations of Intelligent Systems 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings /
Έκδοση: (2003)

Management of Multimedia Networks and Services 6th IFIP/IEEE International Conference, MMNS 2003, Belfast, Northern Ireland, UK, September 7-10, 2003, Proceedings /
Έκδοση: (2003)

Web Mining: From Web to Semantic Web First European Web Mining Forum, EWMF 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and Invited Papers /
Έκδοση: (2004)

Innovative Internet Community Systems Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003, Revised Papers /
Έκδοση: (2003)

AI*IA 2018 - Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings /
Έκδοση: (2018)

Interactive Systems: Design, Specification, and Verification 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /
Έκδοση: (2001)

Web Technologies and Applications 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings /
Έκδοση: (2003)

Hypermedia: Openness, Structural Awareness, and Adaptivity International Workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001. Revised Papers /
Έκδοση: (2002)

Information in Contemporary Society 14th International Conference, iConference 2019, Washington, DC, USA, March 31-April 3, 2019, Proceedings /
Έκδοση: (2019)

Transforming Digital Worlds 13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings /
Έκδοση: (2018)

Cooperative Information Agents VII 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings /
Έκδοση: (2003)

Mobility Aware Technologies and Applications First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings /
Έκδοση: (2004)

Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings /
Έκδοση: (2018)

Practical Aspects of Knowledge Management 4th International Conference, PAKM 2002, Vienna, Austria, December 2-3, 2002, Proceedings /
Έκδοση: (2002)

Grid and Cooperative Computing - GCC 2004 Workshops GCC 2004 International Workshops, IGKG, SGT, GISS, AAC-GEVO, and VVS, Wuhan, China, October 21-24, 2004 /
Έκδοση: (2004)

Embedded and Ubiquitous Computing International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings /
Έκδοση: (2004)

Business Process Management International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings /
Έκδοση: (2003)

Management of Multimedia Networks and Services 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 3-6, 2004. Proceedings /
Έκδοση: (2004)

Foundations of Intelligent Systems 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings /
Έκδοση: (2002)

Knowledge-Based Intelligent Information and Engineering Systems 7th International Conference, KES 2003 Oxford, UK, September 3-5, 2003 Proceedings, Part II /
Έκδοση: (2003)

Knowledge-Based Intelligent Information and Engineering Systems 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I /
Έκδοση: (2003)

Machine Learning and Its Applications Advanced Lectures /
Έκδοση: (2001)

Data Warehousing and Knowledge Discovery Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 Proceedings /
Έκδοση: (2000)

Advances in Database Technologies ER '98 Workshops on Data Warehousing and Data Mining, Mobile Data Access, and Collaborative Work Support and Spatio-Temporal Data Management, Singapore, November 19-20, 1998, Proceedings /
Έκδοση: (1999)

Computers Helping People with Special Needs 8th International Conference, ICCHP 2002, Linz, Austria, July 15-20, Proceedings /
Έκδοση: (2002)

Management of Multimedia on the Internet 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA, October 29 - November 1, 2001. Proceedings /
Έκδοση: (2001)

Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
Έκδοση: (2001)

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings /
Έκδοση: (2018)

Envisioning Machine Translation in the Information Future 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000 Proceedings /
Έκδοση: (2000)

Rules and Rule Markup Languages for the Semantic Web Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings /
Έκδοση: (2003)

Innovative Internet Computing Systems Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings /
Έκδοση: (2002)

The Semantic Web - ISWC 2003 Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings /
Έκδοση: (2003)

NII Testbeds and Community for Information Access Research 14th International Conference, NTCIR 2019, Tokyo, Japan, June 10-13, 2019, Revised Selected Papers /
Έκδοση: (2019)

New Frontiers in Artificial Intelligence Joint JSAI 2001 Workshop Post-Proceedings /
Έκδοση: (2001)

Web Services European Conference, ECOWS 2004, Erfurt, Germany, September 27-30, 2004, Proceedings /
Έκδοση: (2004)

Advances in Conceptual Modeling ER'99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling Paris, France, November 15-18, 1999 Proceedings /
Έκδοση: (1999)

Web Intelligence: Research and Development First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings /
Έκδοση: (2001)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών