|
|
|
|
| LEADER |
03395nam a22006617a 4500 |
| 001 |
MUB01000547207 |
| 003 |
CZ BrMU |
| 005 |
20190905085213.0 |
| 008 |
080416s2008 xxu||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2017-05-09
|
| 020 |
|
|
|a 978-0-262-02649-9
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004.03
|2 MRF
|
| 080 |
|
|
|a 004.4
|2 MRF
|
| 100 |
1 |
|
|a Baier, Christel
|7 xx0054243
|4 aut
|
| 245 |
1 |
0 |
|a Principles of model checking /
|c Christel Baier, Joost-Pieter Katoen
|
| 260 |
|
|
|a Cambridge, Mass. :
|b MIT Press,
|c [2008]
|
| 300 |
|
|
|a xvii, 975 s.
|
| 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 systems
|2 eczenas
|
| 650 |
0 |
9 |
|a software
|2 eczenas
|
| 655 |
|
7 |
|a e-prezenčka
|2 CZ-BrMU
|
| 700 |
1 |
|
|a Katoen, Joost-Pieter,
|d 1964-
|7 xx0228450
|4 aut
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20080416
|l MUB01
|h 0939
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1829
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20080618
|l MUB01
|h 1546
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0209
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1852
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 1151
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0113
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20120604
|l MUB01
|h 1350
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0958
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0312
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20151012
|l MUB01
|h 1025
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2327
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20160503
|l MUB01
|h 1114
|
| CAT |
|
|
|c 20170509
|l MUB01
|h 0934
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20190905
|l MUB01
|h 0852
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0931
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1920
|
| CAT |
|
|
|c 20230830
|l MUB01
|h 2000
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2017-05-09
|
| 995 |
|
|
|a e-prezenčka
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270 - skříň
|5 4200514363
|8 20080530
|f 74
|f Měsíční
|g 2008-99
|r 20080714
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270 - skříň
|5 4200514557
|8 20081006
|f 74
|f Měsíční
|g 2008-153
|r 20081013
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270 - skříň
|5 4200514569
|8 20080930
|f 74
|f Měsíční
|g 2008-151
|r 20081015
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200514298
|8 20080416
|f 77
|f Dlouhodobá
|g 2008-52
|r 20080618
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200514302
|8 20080530
|f 77
|f Dlouhodobá
|g 2008-99
|r 20080624
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200514362
|8 20080626
|f 77
|f Dlouhodobá
|g 2008-116
|r 20080714
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200514568
|8 20080930
|f 77
|f Dlouhodobá
|g 2008-151
|r 20081015
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200514570
|8 20080930
|f 74
|f Měsíční
|g 2008-151
|r 20081015
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200514571
|8 20080930
|f 74
|f Měsíční
|g 2008-151
|r 20081015
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200518870
|8 20191114
|f 77
|f Dlouhodobá
|g 2019-103
|r 20191205
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U270
|5 4200519788
|8 20230713
|f 77
|f Dlouhodobá
|g 2023-16
|r 20230817
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d U270
|e check_holdings
|t Neznámá dostupnost
|h N
|j SKLAD
|