Interactive systems : design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers
Uloženo v:
| Další autoři: | |
|---|---|
| Konference: | |
| Médium: | Kniha |
| Jazyk: | čeština |
| Vydáno: |
Berlin :
Springer,
2001
|
| Edice: | Lecture notes in computer science ;
v. 2220 |
| ISSN: | 0302-9743 |
| ISBN: | 3-540-42807-0 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01304nam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 000006933 | ||
| 003 | CZ PrSTK | ||
| 005 | 20070615110738.0 | ||
| 008 | 011010s2001 xr 1|| | cze | ||
| 020 | |a 3-540-42807-0 | ||
| 022 | |a 0302-9743 | ||
| 040 | |a ABA013 |b cze | ||
| 050 | 0 | |a QA76.9.I58 |b D78 2001 | |
| 080 | |a 004.6(063) |2 undef | ||
| 080 | |a 004.5(063) |2 undef | ||
| 080 | |a 004.38(063) |2 undef | ||
| 080 | |a 004.7(063) |2 undef | ||
| 111 | 2 | |a DSV-IS 2001 |c (Glasgow, Skotsko) |7 xx0027207 | |
| 245 | 1 | 0 | |a Interactive systems : |b design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers / |c C. Johnson [ed.] |
| 260 | |a Berlin : |b Springer, |c c2001 | ||
| 300 | |a xii, 217 s. : |b il. | ||
| 490 | 0 | |a Lecture notes in computer science ; |v v. 2220 | |
| 504 | |a Obsahuje bibliografie a rejstřík | ||
| 650 | 0 | 7 | |a databázové systémy distribuované |x vt |7 psh12533 |2 psh |
| 650 | 0 | 7 | |a rozhraní |x vt |7 psh12457 |2 psh |
| 650 | 0 | 7 | |a člověk |x fi |7 psh2693 |2 psh |
| 650 | 0 | 7 | |a počítače |x vt |7 psh12315 |2 psh |
| 650 | 0 | 7 | |a Petriho sítě |x if |7 psh6551 |2 psh |
| 700 | 1 | |a Johnson, Chris |4 edt | |
| 910 | |a ABA013 |b A 37024/2 | ||
| 996 | |a STK |b 2660214244 |c 3992/2001 |d 20070615 |f 1241.10 |g A 37024/2 |v QA76 .9 .I58 D78 2001 |l 6.NP, regál 6D/097 |t 04 | ||