|
|
|
|
LEADER |
02665cam a22006497a 4500 |
001 |
MUB01000156018 |
003 |
CZ BrMU |
005 |
20240311140531.0 |
008 |
010925s2001 gw ||||| |||||||||||eng|d |
STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
020 |
|
|
|a 3-540-42556-X
|
040 |
|
|
|a BOD018
|b cze
|d BOD114
|
072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
080 |
|
|
|a (062.534)
|2 MRF
|
080 |
|
|
|a 004
|2 MRF
|
111 |
2 |
|
|a PAPM-PROBMIV 2001
|d (2001 :
|c Cáchy, Německo)
|4 aut
|
245 |
1 |
0 |
|a Process algebra and probabilistic methods :
|b performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12.-14., 2001 : proceedings /
|c edited by Luca de Alfaro, Stephen Gilmore
|
260 |
|
|
|a Berlin :
|b Springer,
|c c2001
|
300 |
|
|
|a xii, 215 s.
|
490 |
1 |
|
|a Lecture notes in computer science ;
|v 2165
|
650 |
0 |
7 |
|a výpočetní technika
|7 ph137273
|2 czenas
|
650 |
0 |
9 |
|a computer science
|2 eczenas
|
655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
655 |
|
9 |
|a proceedings of conferences
|2 eczenas
|
700 |
1 |
|
|a De Alfaro, Luca,
|d 1966-
|7 xx0038325
|4 edt
|
700 |
1 |
|
|a Gilmore, Stephen,
|d 1962-
|7 stk2008441904
|4 edt
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 2165
|
CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1747
|
CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
CAT |
|
|
|c 20050122
|l MUB01
|h 1222
|
CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2123
|
CAT |
|
|
|c 20070427
|l MUB01
|h 2115
|
CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0634
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
CAT |
|
|
|c 20080602
|l MUB01
|h 1117
|
CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
CAT |
|
|
|a HANAV
|b 02
|c 20090620
|l MUB01
|h 2126
|
CAT |
|
|
|c 20090622
|l MUB01
|h 0749
|
CAT |
|
|
|c 20091202
|l MUB01
|h 2155
|
CAT |
|
|
|c 20091203
|l MUB01
|h 1432
|
CAT |
|
|
|c 20101015
|l MUB01
|h 2114
|
CAT |
|
|
|c 20101016
|l MUB01
|h 0130
|
CAT |
|
|
|a PUTNOVAX
|b 02
|c 20101201
|l MUB01
|h 1301
|
CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1710
|
CAT |
|
|
|c 20150403
|l MUB01
|h 1951
|
CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0501
|
CAT |
|
|
|c 20160401
|l MUB01
|h 1230
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20160408
|l MUB01
|h 0950
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20160411
|l MUB01
|h 0719
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20160517
|l MUB01
|h 1044
|
CAT |
|
|
|a VARTECKAX
|b 02
|c 20160804
|l MUB01
|h 0720
|
CAT |
|
|
|a VESELA
|b 02
|c 20240311
|l MUB01
|h 1405
|
LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K390.01
|5 4200506951
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
AVA |
|
|
|a INF50
|b FI
|d K390.01
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|