دانلود کتاب Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

Name: Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers
Availability: InStock
Author: Kris Luyten
ISBN: 3540428070, 9783540428077

by Kris Luyten, Karin Coninx (auth.), Chris Johnson (eds.)

عنوان فارسی: سیستم های تعاملی : طراحی، مشخصات ، و تایید : کارگاه آموزشی بین المللی 8 ، DSV -IS 2001 گلاسکو، اسکاتلند، بریتانیا ، ژوئن 13-15، 2001 مقالات تجدید نظر
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2001
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 221-230
شابک: 3540428070, 9783540428077
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 2.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.