|
|
|
|
| LEADER |
02604nam a2200517 a 4500 |
| 001 |
nkc20112168581 |
| 003 |
CZ PrNK |
| 005 |
20130412083745.0 |
| 007 |
ta |
| 008 |
111104s2011 xr a f m 000 0 eng |
| 015 |
|
|
|a cnb002168581
|
| 020 |
|
|
|a 978-80-214-4251-1
|q (brož.)
|
| 035 |
|
|
|a (OCoLC)773170580
|
| 040 |
|
|
|a ABA001
|b cze
|
| 041 |
0 |
|
|a eng
|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.03
|2 MRF
|
| 080 |
|
|
|a 004.052.42
|2 MRF
|
| 080 |
|
|
|a (043.5:042.3)
|2 MRF
|
| 080 |
|
|
|a (048.3)
|2 MRF
|
| 100 |
1 |
|
|a Vojnar, Tomáš,
|d 1973-
|7 mzk2008433892
|4 aut
|
| 245 |
1 |
0 |
|a Coping with complexity and undecidability in automated verification of computer-based systems :
|b thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovacímu řízení v oboru Výpočetní technika a informatika /
|c Tomáš Vojnar
|
| 246 |
3 |
1 |
|a Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů
|
| 260 |
|
|
|a Brno :
|b VUTIUM,
|c 2011
|
| 300 |
|
|
|a 33 s. :
|b il. ;
|c 24 cm
|
| 490 |
1 |
|
|a Vědecké spisy Vysokého učení technického v Brně. Habilitační a inaugurační spisy,
|x 1213-418X ;
|v sv. 385
|
| 502 |
|
|
|a Nad názvem: Brno University of Technology, Faculty of Information Technology, Department of Intelligent Systems
|
| 504 |
|
|
|a Obsahuje bibliografii
|
| 546 |
|
|
|a České resumé
|
| 650 |
0 |
7 |
|a počítačové systémy
|7 ph115866
|2 czenas
|
| 650 |
0 |
7 |
|a formální verifikace
|7 ph755479
|2 czenas
|
| 650 |
0 |
9 |
|a computer systems
|2 eczenas
|
| 650 |
0 |
9 |
|a formal verification
|2 eczenas
|
| 655 |
|
7 |
|a profesorské přednášky
|7 fd187329
|2 czenas
|
| 655 |
|
7 |
|a teze
|7 fd133701
|2 czenas
|
| 655 |
|
9 |
|a inauguration lectures
|2 eczenas
|
| 655 |
|
9 |
|a abstracts
|2 eczenas
|
| 710 |
2 |
|
|a Vysoké učení technické v Brně.
|b Ústav inteligentních systémů
|7 kn20050411004
|
| 810 |
2 |
|
|a Vysoké učení technické v Brně.
|t Vědecké spisy.
|p Habilitační a inaugurační spisy
|0 s
|
| 910 |
2 |
|
|a BOA001
|b 2-1279.280
|
| 928 |
9 |
|
|a Vysoké učení technické v Brně
|
| 990 |
|
|
|a BK
|
| 995 |
|
|
|a 01
|
| 991 |
|
|
|b 201202
|c NOV
|e n
|
| 996 |
6 |
|
|b 2610500412
|c 2-1279.280
|l MZK
|r Sklad / do 1 hodiny
|n 0
|p p.v.
|w 001224738
|u 000010
|a 1
|e BOA001
|j MZK50
|s P
|
| 996 |
7 |
|
|b 2610500413
|c 2-1279.280
|l MZK
|r Sklad / do 1 hodiny
|n 0
|p p.v.
|w 001224738
|u 000020
|a 1
|e BOA001
|j MZK50
|s A
|
English 
Čeština 
