Práce na příbuzné téma (mají shodná klíčová slova):

verifikace, poct, verification, acidobazicka rovnovaha, acid-base balance

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Berger, Richard
Fakulta: Lékařská fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ošetřovatelství / Všeobecná sestra
Obhajoba bakalářské práce: Znalosti nelékařského zdravotnického personálu v monitoraci dýchání v intenzivní péči | Práce na příbuzné téma Zobrazit popisek

2.
Blahoudek, František
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Nástroje pro automatickou analýzu dynamicky alokované paměti | Práce na příbuzné téma

3.
Ha Trinh, Hung Son
Fakulta: Lékařská fakulta
Rok: 2019, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Optika a optometrie
Obhajoba bakalářské práce: Oko jako biometrický identifikátor | Práce na příbuzné téma

4.
Kelnar, David
Fakulta: Pedagogická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy (pětileté) / Učitelství speciální pedagogiky pro základní školy, Učitelství technické výchovy pro základní školy
Obhajoba diplomové práce: Informovanost pedagogických pracovníků základních škol o problematice poruch příjmu potravy | Práce na příbuzné téma

5.
Kovalíková, Lenka
Fakulta: Přírodovědecká fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik / Bioanalytická laboratorní diagnostika ve zdravotnictví - Bioanalytik
Obhajoba diplomové práce: Exprese proteinu Schlafen 11 u karcinomu ovaria | Práce na příbuzné téma

6.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma

7.
Murasová, Markéta
Fakulta: Lékařská fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Laboratorní diagnostika ve zdravotnictví / Laboratorní diagnostika ve zdravotnictví
Obhajoba bakalářské práce: Zavedení nové metody pro stanovení glukózy | Práce na příbuzné téma

8.
Slabá, Iva
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informační studia a knihovnictví / Informační studia a knihovnictví
Obhajoba diplomové práce: Srovnání problematiky elektronických identifikačních karet v Itálii a v České republice | Práce na příbuzné téma

9.
Stražovský, Oldřich
Fakulta: Fakulta informatiky
Rok: 2003, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Efektivní analýza ohraničených Petriho sítí | Práce na příbuzné téma

10.
Višňovská, Ema
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mezinárodní vztahy / Mezinárodní vztahy
Obhajoba bakalářské práce: The Biological Weapons Non-Proliferation Regime: Addressing its Deficiencies in the Contemporary World | Práce na příbuzné téma

11.
Zahradníček, Martin
Fakulta: Fakulta informatiky
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza populačních protokolů | Práce na příbuzné téma

12.
Baštan, Petr
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Biometric algorithms for iris recognition | Práce na příbuzné téma

13.
Benada, Luděk
Fakulta: Ekonomicko-správní fakulta
Rok: 2017, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Finance a účetnictví (čtyřleté) / Finance
Obhajoba disertační práce: Hedging energetických komodit prostřednictvím vybraných derivátových nástrojů | Práce na příbuzné téma

14.
Bendík, Jaroslav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Detekce cyklů v dynamických grafech | Práce na příbuzné téma

15.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

16.
Blašková, Veronika
Fakulta: Ekonomicko-správní fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Hospodářská politika a správa / Veřejná ekonomika
Obhajoba diplomové práce: Ověřování projektů auditorem | Práce na příbuzné téma

17.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika / Informatika
Obhajoba disertační práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

18.
Brázdil, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Verification of Probabilistic Recursive Sequential Programs | Práce na příbuzné téma

19.
Budáč, Jozef
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Implementace monitorovacího nástroje | Práce na příbuzné téma

20.
Čermák, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma

21.
Daubner, Lukáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Počítačové systémy, komunikace a bezpečnost
Obhajoba diplomové práce: Assurance of Forensic-Ready Software Systems | Práce na příbuzné téma

22.
Doležalová, Ivana
Fakulta: Právnická fakulta
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Postup před zahájením trestního stíhání se zaměřením na policejní orgán | Práce na příbuzné téma

23.
Fencl, Marek
Fakulta: Lékařská fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Všeobecné lékařství / Anesteziologie, intenzivní medicína a algeziologie
Obhajoba disertační práce: Význam diurézy a analýzy moči pro diagnostiku ledvinných a metabolických poruch u sepse v experimentu a u kriticky nemocných | Práce na příbuzné téma

24.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma

25.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Informatika
Obhajoba rigorózní práce: Formal Verification of Finite-State Stochastic Systems | Práce na příbuzné téma

26.
Franěk, Jan
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Automatic documentation generation from SystemVerilog source files | Práce na příbuzné téma

27.
Hamerník, Jakub
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Autentizační metody používané k obnově přihlašovacího hesla | Práce na příbuzné téma

28.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

29.
Chalupa, Marek
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: RNDr.
Program/obor Informatika / Teoretická informatika
Obhajoba rigorózní práce: Symbolic Execution for Verification | Práce na příbuzné téma

30.
Jasenčáková, Soňa
Fakulta: Filozofická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filozofie / Filozofie
Obhajoba bakalářské práce: Pravda v súčasnom intuicionizme a anti-realizme | Práce na příbuzné téma

31.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma

32.
Jurčová, Jana
Fakulta: Lékařská fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Laboratorní diagnostika ve zdravotnictví / Laboratorní diagnostika ve zdravotnictví
Obhajoba bakalářské práce: Porovnanie imunoanalytickej a POCT metódy stanovenia troponínu a d-dimérov - význam pre akútnu medicínu | Práce na příbuzné téma

33.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Virtual File System in DIVINE 4 | Práce na příbuzné téma

34.
Kejstová, Katarína
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Model Checking with System Call Traces | Práce na příbuzné téma

35.
Kociánová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Psychologie / Psychologie
Obhajoba diplomové práce: Ověření metody Behavioral Systems Questionnaire pro českou populaci | Práce na příbuzné téma

36.
Kováč, Vladimír
Fakulta: Právnická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Veřejná správa
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma
Obhajoba bakalářské práce: Státní kontrola vykonávaná Českým telekomunikačním úřadem | Práce na příbuzné téma

37.
Krchňák, Tomáš
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Proxying, recording and replaying syscalls in DiOS | Práce na příbuzné téma

38.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Enhanced parser for DVE modelling language | Práce na příbuzné téma

39.
Křetínský, Jan
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Modal Transition Systems: Extensions and Analysis | Práce na příbuzné téma

40.
Ladányi, Vít
Fakulta: Přírodovědecká fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Chemie / Chemie
Obhajoba bakalářské práce: Acidobazické rovnováhy pyronaridinu | Práce na příbuzné téma

41.
Langer, Jan
Fakulta: Lékařská fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace ve zdravotnictví / Zdravotní laborant
Obhajoba bakalářské práce: Srovnání stanovení pH, pCO2, pO2 a ionizovaného vápníku v krvi na analyzátorech GEM 3000 a ABL 800 | Práce na příbuzné téma

42.
Lapáček, Vladimír
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě

43.
Maksović, Sofija
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Programování a vývoj aplikací / Programování a vývoj aplikací
Obhajoba bakalářské práce: Model-Based Analysis of Forensic-Ready Software Systems | Práce na příbuzné téma

44.
Matuška, Jindřich
Fakulta: Fakulta informatiky
Rok: 2024, studium probíhá
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verification of binarised neural networks using ASP | Práce na příbuzné téma

45.
Mičan, Pavel
Fakulta: Fakulta informatiky
Rok: 2014, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Trading space for time in explicit-state model checking | Práce na příbuzné téma

46.
Mihalkovič, Vincent
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Principy programovacích jazyků
Obhajoba diplomové práce: Improved translation of LLVM IR code to C | Práce na příbuzné téma

47.
Milata, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Verifikace konečných systémů pomocí SMT-solveru | Práce na příbuzné téma

48.
Miléřová, Drahoslava
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Právní specializace / Teorie a praxe přípravného řízení trestního
Obhajoba bakalářské práce: Postavení státního zástupce v trestním řízení | Práce na příbuzné téma

49.
Možná, Tereza
Fakulta: Fakulta sportovních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Kinantropologie / Kinantropologie
Obhajoba disertační práce: Verifikace diagnostických soustav motorických kompetencí dětí s poruchou autistického spektra | Práce na příbuzné téma

50.
Nagy, Imrich
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Informační bezpečnost
Obhajoba diplomové práce: Building open profiles of certified cryptographic devices | Práce na příbuzné téma