- 5 Ergebnisse
Kleinster Preis: € 42,79, größter Preis: € 79,99, Mittelwert: € 62,38
1
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - Alexander Degtyarev
Bestellen
bei hive.co.uk
£ 57,79
(ca. € 65,72)
Bestellengesponserter Link
Alexander Degtyarev:

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

2003, ISBN: 9783540399292

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 F… Mehr…

No. 9783540399292. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
2
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - L. Molnar
Bestellen
bei hive.co.uk
£ 38,24
(ca. € 43,43)
Bestellengesponserter Link

L. Molnar:

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

2003, ISBN: 9783540399292

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 F… Mehr…

No. 9783540399292. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
3
Interactive Systems. Design, Specification, and Verification
Bestellen
bei Springer.com
€ 42,79
Versand: € 0,001
Bestellengesponserter Link
Interactive Systems. Design, Specification, and Verification - neues Buch

2003

ISBN: 9783540399292

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 F… Mehr…

Nr. 978-3-540-39929-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
4
Interactive Systems. Design Specification and Verification
Bestellen
bei Hugendubel.de
€ 79,99
Versand: € 0,001
Bestellengesponserter Link
Interactive Systems. Design Specification and Verification - neues Buch

2003, ISBN: 9783540399292

Interactive Systems. Design Specification and Verification ab 79.99 € als pdf eBook: 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers… Mehr…

Nr. 33488541. Versandkosten:, , DE. (EUR 0.00)
5
Interactive Systems. Design Specification and Verification
Bestellen
bei eBook.de
€ 79,99
Versand: € 0,001
Bestellengesponserter Link
Interactive Systems. Design Specification and Verification - neues Buch

2003, ISBN: 9783540399292

Interactive Systems. Design Specification and Verification - 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers: ab 79.99 € Medien > Bü… Mehr…

Nr. 33488541. Versandkosten:, , DE. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Interactive Systems. Design, Specification, and Verification


EAN (ISBN-13): 9783540399292
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-02-18T09:25:40+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-23T14:18:15+02:00 (Berlin)
ISBN/EAN: 9783540399292

ISBN - alternative Schreibweisen:
978-3-540-39929-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hans pohl
Titel des Buches: island design, madeira


Daten vom Verlag:

Autor/in: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cunha
Titel: Lecture Notes in Computer Science; Interactive Systems. Design, Specification, and Verification - 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Verlag: Springer; Springer Berlin
432 Seiten
Erscheinungsjahr: 2003-12-15
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 427 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; 3D; HCI; Multimedia; Performance; System; Unified Modeling Language (UML); adaptive interfaces; human-computer interaction; intelligent interfaces; mobile devices; modeling; semi-formal methods; ubiquitous computing; user interface design; user interfaces; C; Theory of Computation; User Interfaces and Human Computer Interaction; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Information Storage and Retrieval; Computer Science; Mensch-Computer-Interaktion; Netzwerk-Hardware; Software Engineering; Informationsrückgewinnung, Information Retrieval; Data Warehousing; BC

Invited Paper.- Canonical Abstract Prototypes for Abstract Visual and Interaction Design.- Test and Evaluation.- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering.- Applying Extended Finite State Machines in Software Testing of Interactive Systems.- An Empirical Study of Personal Document Spaces.- Web & Groupware.- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer.- Workspaces: A Multi-level Architectural Style for Synchronous Groupware.- Tools and Technologies.- Functionally Modeled User Interfaces.- Architectures for Widget-Level Plasticity.- Specification-Based Testing of User Interfaces.- Calligraphic Interfaces: Mixed Metaphors for Design.- Task Modeling.- Using Task Knowledge to Guide Interactor Specifications Analysis.- Higher-Order Task Models.- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction.- Describing Just-UI Concepts Using a Task Notation.- Model-Based Design.- Model-Based Design of Speech Interfaces.- Model-Based Design of Adaptive User Interfaces through Connectors.- Model-Based Electronic Performance Support.- Mobile and Multiple Devices.- Improving User Interface Usability Using Mobile Agents.- Reasoning about Dynamic Information Displays.- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology.- UML.- Usability Design-Extending Rational Unified Process with a New Discipline.- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms.- Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach.- Specification Languages.- ISML: An Interface SpecificationMeta-language.- A Review of XML-compliant User Interface Description Languages.- Contextual Design of a Computer-Supported Film Set: A Case Study.- Short Papers.- Evaluating and Comparing Interaction Styles.- A Navigation and Registration System for Mobile and Augmented Environments.- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds.- An Approach to Develop User Interfaces with Plasticity.- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783709136935 Design Specification and Verification of Interactive Systems '98 (Peter Johnson; Panos Markopoulos)


< zum Archiv...