Theses on the same topic (having an identical keyword):

formalni specifikace

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Návrh XML specifikace elektronicky podepsaných dokumentů s časovým razítkem
 (Martin Dvořák)

2008, Diplomová práce, Vysoká škola ekonomická v Praze

• http://www.vse.cz/vskp/eid/5687 | Aplikovaná informatika / Informační management | Theses on a related topic

List of theses with an identical keyword.

Nástroje pro specifikaci a analýzu biologických modelů
 (Jan Láník)

2010, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/rd0y8/ | Informatika / Matematická informatika | Theses on a related topic

Formální zápis softwarového procesu
 (Anna Spisarová)

2011, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

• http://hdl.handle.net/10084/87425 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

Komponenta výukového serveru TI - RV a (N)KA ze specifikace jazyka
 (Josef Dostál)

2020, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

• http://hdl.handle.net/10084/140549 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic

Specifikace "Web Services Security"
 (Jan Urban)

2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/rjf1a/ | Informatika / | Theses on a related topic

Fault-tolerance for Metamorphic Robots
 (Jan Mrázek)

2020, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/lheox/ | Počítačové systémy, komunikace a bezpečnost / | Theses on a related topic

Motivace dospělých k formálnímu vzdělávání
 (Veronika VALÁŠKOVÁ)

2020, Bakalářská práce, Pedagogická fakulta / OSTRAVSKÁ UNIVERZITA

• http://theses.cz/id//oghta8// | Pedagogika / Andragogika | Theses on a related topic

From user stories to organizational learning: A formal language to specify requirements
 (Fernando Henao Pacheco)

2023, Diplomová práce, Provozně ekonomická fakulta / Mendelova univerzita v Brně

• http://theses.cz/id//812uog// | System Engineering and Informatics / Economic Informatics | Theses on a related topic

Ekonomické aspekty formální a neformální péče o lidi s demencí
 (Veronika Zahálková)

2016, Diplomová práce, Fakulta informatiky a managementu / Univerzita Hradec Králové

• http://evskp.uhk.cz/eM4397 | Systémové inženýrství a informatika / Informační management | Theses on a related topic

Návrhový přístup k modelování rozhraní API sjednocených služeb pro sémantickou interoperabilitu aplikací vozidel napříč podniky
 (Sangita DE)

2024, Disertační práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//s3rxy7// | Inženýrská informatika / Informatika a výpočetní technika | Theses on a related topic