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 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001. The 12 revised full papers presented have gone through two rounds of revie...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Johnson, Chris J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Έκδοση:	1st ed. 2001.
Σειρά:	Lecture Notes in Computer Science, 2220
Θέματα:	User interfaces (Computer systems). Application software. Computer hardware. Computer graphics. Software engineering. Computer logic. User Interfaces and Human Computer Interaction. Computer Applications. Computer Hardware. Computer Graphics. Software Engineering. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
Έκδοση: (2001)

Groupware: Design, Implementation, and Use 8th International Workshop, CRIWG 2002, La Serena, Chile, 1.-4. September 2002, Proceedings /
Έκδοση: (2002)

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Έκδοση: (1999)

Pervasive Computing First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceedings /
Έκδοση: (2002)

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004)

Cooperative Environments for Distributed Systems Engineering The Distributed Systems Environment Report /
ανά: Drira, Khalil, κ.ά.
Έκδοση: (2001)

Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings /
Έκδοση: (2019)

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
Έκδοση: (2002)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
Έκδοση: (2019)

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
Έκδοση: (2018)

Advances in Computer Graphics 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17-20, 2019, Proceedings /
Έκδοση: (2019)

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
Έκδοση: (2018)

Concurrency and Hardware Design Advances in Petri Nets /
Έκδοση: (2002)

Data Visualisation with R 111 Examples /
ανά: Rahlf, Thomas, κ.ά.
Έκδοση: (2019)

Formal Hardware Verification Methods and Systems in Comparison /
Έκδοση: (1997)

Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers /
Έκδοση: (2003)

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised Selected Papers /
Έκδοση: (2018)

MMIXware A RISC Computer for the Third Millennium /
ανά: Knuth, Donald E., κ.ά.
Έκδοση: (1999)

Multimodal Human-Computer Communication Systems, Techniques, and Experiments /
Έκδοση: (1998)

Augmented Reality Art From an Emerging Technology to a Novel Creative Medium /
Έκδοση: (2018)

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings /
Έκδοση: (2001)

Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings /
Έκδοση: (2019)

Augmented Cognition: Intelligent Technologies 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
Έκδοση: (2018)

Large-Scale Scientific Computing Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers /
Έκδοση: (2001)

Immersive Analytics
Έκδοση: (2018)

Gesture and Sign Languages in Human-Computer Interaction International Gesture Workshop, GW 2001, London, UK, April 18-20, 2001. Revised Papers /
Έκδοση: (2002)

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings /
Έκδοση: (2019)

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
Έκδοση: (2002)

Technologies for E-Services Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001. Proceedings /
Έκδοση: (2001)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

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

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
Έκδοση: (1998)

Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
Έκδοση: (2001)

Cognitive Technology: Instruments of Mind 4th International Conference, CT 2001 Coventry, UK, August 6-9, 2001 Proceedings /
Έκδοση: (2001)

Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings /
Έκδοση: (2018)

Mobile Agents 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings /
Έκδοση: (2001)

HCI in Games First International Conference, HCI-Games 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings /
Έκδοση: (2019)

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

Cannot write session to /tmp/vufind_sessions/sess_eu9po9gcts5kl7b0ptgm1vv5i5