Zpět na vyhledávání

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

nástroj Kaira

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

« 1 2 » (celkem 20 prací)
Extraction of abstract models of communications from message-passing applications
 (Martin Šurkovský)

2019, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

http://hdl.handle.net/10084/141718 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma

Unifying framework for development of message-passing applications
 (Stanislav Böhm)

2014, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/101824 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma

Rozšiřování simulací v nástroji Kaira
 (Martin Palásek)

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

http://hdl.handle.net/10084/108882 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Automatizovaný proces verifikace numerické simulace pomocí měření
 (Lukáš CALTA)

2022, Diplomová práce, Fakulta elektrotechnická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

http://theses.cz/id//odsyki// | Materiály a technologie pro elektrotechniku / | Práce na příbuzné téma

Simulace obvodů v grafickém editoru číslicových obvodů
 (Tomáš Václavík)

2017, Diplomová práce, Fakulta mechatroniky, informatiky a mezioborových studií / Technická univerzita v Liberci

http://theses.cz/id//s9kxtk// | Elektrotechnika a informatika / Informační technologie | Práce na příbuzné téma

Návrh simulačního modelu řízení provozu v železniční stanici pomocí barevných Petriho sítí
 (Pavel VLASÁK)

2021, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM

http://theses.cz/id//kfro1v// | Aplikovaná informatika / Informační systémy | Práce na příbuzné téma

Odhad teoretické kapacity vzletové a přistávací dráhy pomocí barevných Petriho sítí
 (David Rozhon)

2019, Bakalářská práce, Fakulta strojní / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/136806 | Technologie letecké dopravy / | Práce na příbuzné téma

Návrh simulačního modelu silniční dopravy pomocí barvených Petriho sítí
 (Ondřej POKORNÝ)

2017, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA JANA EVANGELISTY PURKYNĚ V ÚSTÍ NAD LABEM

http://theses.cz/id//ptmdv1// | Aplikovaná informatika / Informační systémy | Práce na příbuzné téma

Disability-Friendly Phenomenon in User Interface and User Experience Design: Focus On Accessibility For Visually Impaired User
 (Roshah Charisma Selasie Nomo)

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

http://theses.cz/id//gxbmrx// | Open Informatics / | Práce na příbuzné téma

Graphical User Interface for Modelling of Petri Nets
 (Adam Vaňko)

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

https://is.muni.cz/th/trvza/ | Aplikovaná informatika / Služby - výzkum, řízení a inovace | Práce na příbuzné téma

« 1 2 » (celkem 20 prací)