Výsledky vyhledávání
- Cone-beam CT a korekce chyb při nastavení u nádorů pánve ve FN Olomouc [rukopis] / Marie Landová. 2011 . 37 s., 5 s. příloh
- Implementace literatury pro děti a mládež do výchovně vzdělávacího procesu lesní mateřské školy [rukopis] / Marie Chládková. 2021 . 67 s. (106 715) 36 s.(37 787)
- Kritický racionalismus Karla Raimunda Poppera [rukopis] / Martin Kozel. 2019
- Mapování a charakterizace lokusů ovlivňujících důležité agronomické znaky pšenice [rukopis] / Adam Lampar. 2018 . 55
- Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Cambridge, Massachusetts ; London : The MIT Press, [1999] ©1999 . xiv, 314 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Principles of model checking / Christel Baier, Joost-Pieter Katoen. Cambridge, Massachusetts ; London : MIT Press, [2008] ©2008 . xvii, 975 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 - Příprava pacienta před radioterapií pro karcinom děložního čípku [rukopis] / Lucie Sílová. 2009 . 42 s., 2 s. obr. příloh.
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol. Hoboken, N.J. : Wiley-Interscience, c2008 . xv, 231 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Verifikace programů / V. Mrkvička. Olomouc : Rektorát Univerzity Palackého, 1984 . 79 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0