|
|
|
|
| LEADER |
03116nam a22006257i 4500 |
| 001 |
MUB01006403742 |
| 003 |
CZ BrMU |
| 005 |
20180622114656.0 |
| 008 |
171027t20182018sz ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2018-07-11
|
| 020 |
|
|
|a 978-3-319-10574-1
|
| 040 |
|
|
|a BOD018
|b cze
|e rda
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.94
|2 MRF
|
| 080 |
|
|
|a 004.03
|2 MRF
|
| 080 |
|
|
|a 004.4
|2 MRF
|
| 245 |
0 |
0 |
|a Handbook of model checking /
|c Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Editors
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing AG,
|c [2018]
|
| 264 |
|
4 |
|c ©2018
|
| 300 |
|
|
|a xxiv, 1210 stran :
|b ilustrace
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a bez média
|b n
|2 rdamedia
|
| 338 |
|
|
|a svazek
|b nc
|2 rdacarrier
|
| 500 |
|
|
|a Obsahuje bibliografii a rejstřík
|
| 650 |
0 |
7 |
|a počítačové modelování
|7 ph124513
|2 czenas
|
| 650 |
0 |
7 |
|a počítačové systémy
|7 ph115866
|2 czenas
|
| 650 |
0 |
7 |
|a software
|7 ph125823
|2 czenas
|
| 650 |
0 |
9 |
|a computer modeling
|2 eczenas
|
| 650 |
0 |
9 |
|a computer systems
|2 eczenas
|
| 650 |
0 |
9 |
|a software
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 700 |
1 |
|
|a Clarke, E. M.,
|d 1945-
|7 stk2007415785
|4 edt
|
| 700 |
1 |
|
|a Henzinger, T. A.,
|d 1962-
|7 stk2008428963
|4 edt
|
| 700 |
1 |
|
|a Veith, Helmut
|7 vut2010439843
|4 edt
|
| 700 |
1 |
|
|a Bloem, Roderick
|4 edt
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20171027
|l MUB01
|h 1017
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20171027
|l MUB01
|h 1019
|
| CAT |
|
|
|a HANAV
|b 02
|c 20180606
|l MUB01
|h 1425
|
| CAT |
|
|
|a VESELA
|b 02
|c 20180622
|l MUB01
|h 1146
|
| CAT |
|
|
|c 20180711
|l MUB01
|h 1157
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1026
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 2012
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1257
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2018-07-11
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343 - skříň
|5 4200518522
|8 20171027
|f 74
|f Měsíční
|g 2017-125
|r 20180622
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343 - skříň
|5 4200518523
|8 20171027
|f 74
|f Měsíční
|g 2017-125
|r 20180622
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343 - skříň
|5 4200518525
|8 20171027
|f 74
|f Měsíční
|g 2017-125
|r 20180622
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343 - skříň
|5 4200518526
|8 20171027
|f 74
|f Měsíční
|g 2017-125
|r 20180622
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343
|5 4200518521
|8 20171027
|f 77
|f Dlouhodobá
|g 2017-125
|r 20180622
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343
|5 4200518524
|8 20171027
|f 74
|f Měsíční
|g 2017-125
|r 20180622
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343
|5 4200518881
|8 20191114
|f 77
|f Dlouhodobá
|g 2019-102
|r 20200110
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U343
|5 4200519785
|8 20230713
|f 77
|f Dlouhodobá
|g 2023-13
|r 20230817
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d U343
|e available
|t K dispozici
|f 8
|g 3
|h N
|i 13
|j SKLAD
|
