|
|
|
|
| LEADER |
02787cam a22006617a 4500 |
| 001 |
MUB01000154056 |
| 003 |
CZ BrMU |
| 005 |
20231030133837.0 |
| 008 |
010926s2001 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 020 |
|
|
|a 3-540-42479-2
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 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 Euro Summer School on Trends in Computer Science
|n (1. :
|d 2000 :
|c Berg en Dal, Nizozemsko)
|4 aut
|
| 245 |
1 |
0 |
|a Lectures on Formal Methods and Performance Analysis :
|b first EEF/Euro Summer School on Trends in Computer in Computer Science : Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
|c edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2001
|
| 300 |
|
|
|a vi, 429 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 2090
|
| 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 Brinksma, H.,
|d 1957-
|7 mub20231183634
|4 edt
|
| 700 |
1 |
|
|a Hermanns, Holger,
|d 1967-
|7 xx0046430
|4 edt
|
| 700 |
1 |
|
|a Katoen, Joost-Pieter,
|d 1964-
|7 xx0228450
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 2090
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1746
|
| 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 2122
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2114
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0633
|
| 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 |
|
|
|c 20090622
|l MUB01
|h 0747
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2154
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1431
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2114
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0130
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20120604
|l MUB01
|h 1349
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1708
|
| CAT |
|
|
|a PTICHAX
|b 02
|c 20140213
|l MUB01
|h 2311
|
| CAT |
|
|
|a PTICHAX
|b 02
|c 20140522
|l MUB01
|h 2133
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 1949
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0459
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1229
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161017
|l MUB01
|h 0740
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20190905
|l MUB01
|h 0851
|
| CAT |
|
|
|a PUTNOVAX
|b 02
|c 20230405
|l MUB01
|h 0959
|
| CAT |
|
|
|a VESELA
|b 02
|c 20231030
|l MUB01
|h 1338
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K394.00
|5 4200506954
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|d K394.00
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|
