Tools

LEADER 01768cam a22004694a 4500

001 ocm45835561;

003 OCoLC;

005 20141212160002.0;

008 010126s2001 gw a b 101 0 eng ;

010 a| 2001020058;

015 a| GBA1-13977;

016 7 a| 9605289972| GyFmDB;

019 a| 46394000;

020 a| 3540416633 (pbk. : alk. paper);

035 a| (Sirsi) o45835561;

035 a| (OCoLC)45835561;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.I58b| D78 2000;

072 7 a| Q2| lcco;

082 00 a| 0042| 21;

111 2 a| DSV-IS 2000d| (2000 :c| Limerick, Ireland)=| ^A489663;

245 10 a| Interactive systems :b| design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers /c| Philippe Palanque, Fabio Paternò (eds.).;

300 a| x, 250 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1946;

504 a| Includes bibliographical references and indexes.;

650 0 a| Interactive computer systemsv| Congresses.=| ^A125754;

700 1 a| Palanque, Philippe,d| 1966-=| ^A489664;

700 1 a| Paternò, Fabio,d| 1960-=| ^A528528;

830 0 a| Lecture notes in computer sciencev| 1946.=| ^A466336;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har015004356c| 78.00 DEM;

980 a| 2001-07-25b| 45d| 2.57e| 42.75f| 869960;

596 a| 1;

998 a| 849459;

999 a| QA76.9.I58 D78 2000w| LCc| 1i| 30372011188734d| 9/23/2001l| JGESm| JOYNERp| $42.75r| Ys| Yt| JGESBKu| 8/14/2001x| BOOKz| JSTACKSo| .STAFF. 0;

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers / Philippe Palanque, Fabio Paternò (eds.).

Author/creator	DSV-IS 2000
Other author	Palanque, Philippe, 1966-
Other author	Paternò, Fabio, 1960-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2001.
Description	x, 250 pages : illustrations ; 24 cm.
Subjects	Interactive computer systems--Congresses.

Series	Lecture notes in computer science ; 1946 Lecture notes in computer science 1946. ^A466336
Bibliography note	Includes bibliographical references and indexes.
LCCN	2001020058
ISBN	3540416633 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.I58 D78 2000	✔ Available	Place Hold

Interactive systems : design, specification, and verification : 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000 : revised papers / Philippe Palanque, Fabio Paternò (eds.).

Click here for more information about this title

Availability