|
|
|
|
| LEADER |
03197nam a22007337a 4500 |
| 001 |
MUB01000452460 |
| 003 |
CZ BrMU |
| 005 |
20250807112521.0 |
| 008 |
060424s2005 xxu||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2025-08-13
|
| 020 |
|
|
|a 1-59593-148-1
|
| 040 |
|
|
|a BOD018
|b cze
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a (063)
|2 MRF
|
| 111 |
2 |
|
|a International Workshop on Formal Methods for Industrial Critical Systems
|n (10. :
|d 2005 :
|c Lisabon, Portugalsko)
|4 aut
|
| 245 |
1 |
0 |
|a FMICS '05 :
|b proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/FSE'05 /
|c editors Tiziana Margaria & Mieke Massink ; sponsored by ACM SIGSOFT
|
| 246 |
3 |
0 |
|a Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
|
| 246 |
3 |
0 |
|a Formal Methods for Industrial Critical Systems
|
| 260 |
|
|
|a New York :
|b Association for Computing Machinery,
|c c2005
|
| 300 |
|
|
|a viii, 144 s. :
|b il.
|
| 504 |
|
|
|a Obsahuje bibliografii a rejstřík
|
| 650 |
0 |
7 |
|a počítačové modelování
|7 ph124513
|2 czenas
|
| 650 |
0 |
9 |
|a computer modeling
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| 700 |
1 |
|
|a Margaria-Steffen, Tiziana,
|d 1964-
|7 xx0021284
|4 edt
|
| 700 |
1 |
|
|a Massink, Mieke
|4 edt
|
| 710 |
2 |
|
|a ACM Sigsoft
|4 oth
|
| 711 |
2 |
|
|a ESEC/FSE 2005
|d (2005 :
|c Lisabon, Portugalsko)
|4 oth
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20060424
|l MUB01
|h 1508
|
| CAT |
|
|
|a BISKUPOVA
|b 02
|c 20060424
|l MUB01
|h 1509
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2154
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080213
|l MUB01
|h 0600
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1812
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1826
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0120
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1800
|
| CAT |
|
|
|a HANAV
|b 02
|c 20120302
|l MUB01
|h 1507
|
| CAT |
|
|
|c 20120306
|l MUB01
|h 1324
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0045
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20120913
|l MUB01
|h 1231
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0725
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0034
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 1103
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1233
|
| CAT |
|
|
|a VASICEKX
|b 02
|c 20160607
|l MUB01
|h 1239
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20161017
|l MUB01
|h 0648
|
| CAT |
|
|
|a PTICHAX
|b 02
|c 20190912
|l MUB01
|h 2249
|
| CAT |
|
|
|c 20200810
|l MUB01
|h 1721
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20201018
|l MUB01
|h 1321
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1904
|
| CAT |
|
|
|a HANAV
|b 02
|c 20211014
|l MUB01
|h 1639
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20230607
|l MUB01
|h 1024
|
| CAT |
|
|
|a VARTECKAX
|b 02
|c 20250513
|l MUB01
|h 0738
|
| CAT |
|
|
|a HANAV
|b 02
|c 20250513
|l MUB01
|h 2040
|
| CAT |
|
|
|a HANAV
|b 02
|c 20250513
|l MUB01
|h 2044
|
| CAT |
|
|
|a HANAV
|b 02
|c 20250723
|l MUB01
|h 1314
|
| CAT |
|
|
|a HANAV
|b 02
|c 20250807
|l MUB01
|h 1125
|
| CAT |
|
|
|c 20250813
|l MUB01
|h 1015
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2025-08-13
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 K1024.05
|5 4200511885
|8 20060424
|f 74
|f Měsíční
|r 20060424
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d K1024.05
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|j SKLAD
|
