Interactive Systems. Design, Specification, and Verification
13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Gavin Doherty
Themen in »Interactive Systems. Design, Specification, and Verification«
3D Augmented Reality Computer Multimedia adaptive interfaces association rules formal method formal methods human computer interaction human-computer interaction (HCI) mobile computing mobile devices model-based design modeling verification
Stimmen zu »Interactive Systems. Design, Specification, and Verification«
Details
ISBN: 9783540695530
Verlag: Springer Berlin
Erscheinung: 18.01.2007