عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540416633 (pbk. : alk. paper)
(Number (ISBN
9783540416630 (pbk. : alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433606
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Interactive systems
General Material Designation
[Book]
Other Title Information
design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /
First Statement of Responsibility
Philippe Palanque, Fabio Paternò (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2001.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 250 p. :
Other Physical Details
ill. ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in computer science,
Volume Designation
1946
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and indexes.
CONTENTS NOTE
Text of Note
Designing interactive distributed systems -- Designing user interfaces -- Tools for user interfaces -- Formal methods for human-computer interaction -- Model-based design of interactive systems.
0
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
OTHER EDITION IN ANOTHER MEDIUM
Title
Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers
PIECE
Title
OhioLINK electronic book center
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Interactive computer systems, Congresses.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Palanque, Philippe,1966-
Paternò, Fabio,1960-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
DSV-IS 2000(2000 :, Limerick, Ireland)
ORIGINATING SOURCE
Date of Transaction
20100716094926.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
