|
|
|
|
| LEADER |
00000cam a22000007a 4500 |
| 001 |
22866 |
| 003 |
CZ-ZlUTB |
| 005 |
20190825234406.0 |
| 008 |
051227s2004 gw | eng d |
| 020 |
|
|
|a 3540230688
|
| 040 |
|
|
|a ZLD002
|b cze
|c ZLD002
|d ZLD002
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.031.43
|2 v
|
| 080 |
|
|
|a 004.451.25.031.43
|2 v
|
| 111 |
2 |
|
|a International School on Formal Methods for the Design of Computer, Communication, and Software Systems
|n (5. :
|d 2005 :
|c Bertinoro, Itálie)
|
| 245 |
1 |
0 |
|a Formal methods for the design of real-time systems :
|b International school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 /
|c Marco Bernardo, Flavio Corradini (eds.)
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2004
|
| 300 |
|
|
|a vi, 293 s. :
|b il.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 3185
|
| 504 |
|
|
|a Obsahuje bibliografii a rejstřík
|
| 650 |
0 |
4 |
|a konstrukce
|
| 650 |
0 |
4 |
|a reálný čas
|
| 650 |
0 |
4 |
|a syntéza regulátorů
|
| 650 |
0 |
7 |
|a řídicí systémy
|7 ph128305
|2 czenas
|
| 655 |
|
7 |
|a sborníky
|7 fd163935
|2 czenas
|
| 700 |
1 |
|
|a Bernado, Marco
|4 edt
|
| 700 |
1 |
|
|a Corradini, Flavio,
|d 1966-
|7 xx0027026
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science
|
| 910 |
|
|
|a ZLD002
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 004FORMAL
|7 0
|8 BOOK
|9 41497
|a UTBZL
|b UTBZL
|c 007
|d 2006-07-29
|l 1
|m 4
|o 004/FORMAL
|p 420010091346
|q 2029-12-20
|r 2019-08-25 00:00:00
|v 1670.00
|w 2019-08-25
|x N:nákup | 20100630
|y 08
|
| 992 |
|
|
|a BK
|d 1
|
| 999 |
|
|
|c 22866
|d 22866
|
