Export byl úspěšný — 

Interactive systems : design, specification, and verification : 13th International Workshop : DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /

Uloženo v:
Podrobná bibliografie
Korporativní autor: DSVIS (workshop) Dublin, Irsko) (Autor)
Další autoři: Doherty, Gavin (Editor), Blandford, Ann (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006.
Edice:Lecture notes in computer science ; 4323
Témata:
interaktivní systémy
interactive computer systems
interactive systems
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02260nam a22005657a 4500
001 MUB01000497745
003 CZ BrMU
005 20201018151520.0
008 070411s2006 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-02-27 
020 |a 978-3-540-69553-0  |z 3540695532 
040 |a BOD018  |b cze 
080 |a 004.031.42  |2 MRF 
111 2 |a DSVIS (workshop)  |d (2006 :  |c Dublin, Irsko)  |7 stk2007399450  |4 aut 
245 1 0 |a Interactive systems :  |b design, specification, and verification : 13th International Workshop : DSVIS 2006, Dublin, Ireland, July 26-28, 2006 : revised papers /  |c edited by Gavin Doherty, Ann Blandford. 
260 |a Berlin :  |b Springer,  |c c2006. 
300 |a xi, 268 s. 
490 1 |a Lecture notes in computer science ;  |v 4323 
650 0 7 |a interaktivní systémy  |7 ph175765  |2 czenas 
650 0 9 |a interactive computer systems  |2 eczenas 
650 0 9 |a interactive systems  |2 eczenas 
700 1 |a Doherty, Gavin  |7 stk2007393872  |4 edt 
700 1 |a Blandford, Ann  |7 stk2007393873  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 4323 
CAT |a BISKUPOVA  |b 02  |c 20070411  |l MUB01  |h 0947 
CAT |c 20070427  |l MUB01  |h 2203 
CAT |c 20080429  |l MUB01  |h 1813 
CAT |c 20080429  |l MUB01  |h 1827 
CAT |c 20091203  |l MUB01  |h 0145 
CAT |c 20091203  |l MUB01  |h 1828 
CAT |a KOZOVA  |b 02  |c 20100118  |l MUB01  |h 1231 
CAT |c 20101015  |l MUB01  |h 2302 
CAT |c 20101016  |l MUB01  |h 0328 
CAT |a PUTNOVAX  |b 02  |c 20110602  |l MUB01  |h 1119 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0058 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0844 
CAT |c 20140127  |l MUB01  |h 1829 
CAT |c 20140227  |l MUB01  |h 1030 
CAT |c 20150404  |l MUB01  |h 0220 
CAT |c 20150703  |l MUB01  |h 1009 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2232 
CAT |c 20160401  |l MUB01  |h 1234 
CAT |a FUKSOVAX  |b 02  |c 20201018  |l MUB01  |h 1515 
CAT |c 20210614  |l MUB01  |h 0923 
CAT |c 20210614  |l MUB01  |h 1911 
CAT |a BATCH-UPD  |b 00  |c 20251007  |l MUB01  |h 2352 
LOW |a POSLANO DO SKCR  |b 2014-02-27 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K299.06  |5 4200512850  |8 20070411  |f 74  |f Měsíční  |r 20070411 
AVA |a INF50  |b FI  |c sklad  |d K299.06  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky