Copied Interactive Systems: Design, Specification, and Verification
Interactive Systems: Design, Specification, and Verification
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, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Finite Presentability of S-Arithmetic Groups. Compact Presentability of Solvable Groups
$29.99
Submanifold Theory
$89.99
Angular 5 Projects
$29.99
Climate Emergency in the Philippines
$159.99
Unternehmerischer Erfolg und gesellschaftliche Verantwortung
$49.99
Asymptotic Combinatorial Coding Theory
$84.99
Der feste Grund des Unberechenbaren
$34.99
Learning Musculoskeletal Imaging
$39.99
Processing Mathematics Through Digital Technologies
$49.99
Beacon Technologies
$69.99
Organisationsentwicklung konkret
$44.99
pKa Prediction for Organic Acids and Bases
$39.99
International Criminal Procedure
$109.99
The Handbook of Sidescan Sonar
$219.00
Auffllige Knaben
$59.99
Verteilungsprobleme in Industriegesellschaften
$59.99
Sammlung von Entscheidungen der Gerichte auf Grund des Weingesetzes vom 7. April 1909
$59.99
Explosion Seismology in Central Europe
$54.99
Robotic Surgery for Abdominal Wall Hernia Repair
$99.99
Mathematisches Argumentieren als Diskurs
$44.99
Antihypertensive Therapy
$109.99
Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approa
$219.99
Strukturen und Prozesse intelligenter Systeme
$49.99
Verdauungsapparat Atmungsapparat
$44.99
Experimental Robotics
$299.99
Quartiersforschung
$49.99
BDS/GPS Dual-Mode Software Receiver
$179.99
Die Lithiumtherapie Nutzen, Risiken, Alternativen
$54.99
Environmental Philosophy and Ethics in Buddhism
$84.99
Das betriebswirtschaftliche Praktikum als Instrument zur Personalauswahl
$59.99
Research Thinking for Responsive Teaching
$37.99
Cryptography and Coding
$54.99
The Transnational Activities of and Medium-Sized Enterprises
$84.99
Pro Cryptography and Cryptanalysis
$79.99
Nachhaltigkeit anders denken
$49.99
Neutron Induced Reactions
$39.99
Media Corporate Entrepreneurship
$39.99
Principles of Cardiovascular Neural Regulation in Health and Disease
$39.99
Einbindung und Freiraum
$59.99
Acute Lung Injury
$39.99
