Kniha Interactive Systems: Design, Specification, and Verification Bodo Urban

Interactive Systems: Design, Specification, and Verification

9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2002
Stránek
274
EAN
9783540002666
ISBN
3540002669
Enbook ID
01556035
Hmotnost
890
Rozměry
155 x 235 x 16

Kompletní popis

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.

Mohlo by vás zajímat

Windpumps

Roy Barlow
570

Jones Very

Jones Very
2 059
351

Unhinged

McCarragher Gary
309
162

Big Nate on a Roll

Lincoln Peirce
283

Aurora

Charles Wong
1 026
292

Classical Favorites

Hal Leonard Corp
209
309

Zákaznicí kteří koupili tuto knihu koupili také

FENOMENOS

BLANCO ROMERO
195

Le Manifeste Travail

Isabelle Ferreras
403
1 031

HITLER

CZECH-JOCHBERG
446
261

Normas de manejo y terapeutica

Calle Rodas Daniel Alejandro
1 082
494

Kelten; .

Joe Fullman
165

Internet y La Elao

Celina De Diego Hernando
1 750

Tristán e Iseo

Alicia Yllera
306
1 495