عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540416633 (pbk. : alk. paper)
شابک
9783540416630 (pbk. : alk. paper)
شماره کتابشناسی ملی
شماره
b433606
عنوان و نام پديدآور
عنوان اصلي
Interactive systems
نام عام مواد
[Book]
ساير اطلاعات عنواني
design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /
نام نخستين پديدآور
Philippe Palanque, Fabio Paternò (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2001.
مشخصات ظاهری
نام خاص و کميت اثر
x, 250 p. :
ساير جزييات
ill. ;
ابعاد
24 cm.
فروست
عنوان فروست
Lecture notes in computer science,
مشخصه جلد
1946
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and indexes.
یادداشتهای مربوط به مندرجات
متن يادداشت
Designing interactive distributed systems -- Designing user interfaces -- Tools for user interfaces -- Formal methods for human-computer interaction -- Model-based design of interactive systems.
بدون عنوان
0
یادداشتهای مربوط به نیازمندی های سیستم (منابع الکترونیک)و جزئیات فنی
متن يادداشت
Mode of access: World Wide Web.
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers
قطعه
عنوان
OhioLINK electronic book center
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Interactive computer systems, Congresses.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Palanque, Philippe,1966-
مستند نام اشخاص تاييد نشده
Paternò, Fabio,1960-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
DSV-IS 2000(2000 :, Limerick, Ireland)
مبدا اصلی
تاريخ عمليات
20100716094926.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
