版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
丛 书 名:Lecture Notes in Computer Science
版本说明:1
I S B N:(纸本) 9783540428077
出 版 社:Springer Berlin Heidelberg
出 版 年:1000年
页 数:XII, 221页
主 题 词:User Interfaces and Human Computer Interaction Computer Applications Computer Hardware Computer Graphics Software Engineering Logics and Meanings of Programs
摘 要: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 reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.