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

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

« 1 2 » (celkem 17 prací)
Automaty v nekonečně stavové formální verifikaci
 (Ondřej Lengál)

2016, Disertační práce, Vysoké učení technické v Brně

http://theses.cz/id//espybx// | Výpočetní technika a informatika / | Práce na příbuzné téma

Automaty v nekonečně stavové formální verifikaci
 (Ondřej Lengál)

2016, Disertační práce, Vysoké učení technické v Brně

http://theses.cz/id//7glsmv// | Výpočetní technika a informatika / | Práce na příbuzné téma

Stavové automaty
 (Petr JANČÍK)

2012, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//crw93n// | Informatika / Aplikovaná informatika | Práce na příbuzné téma

Stavové automaty
 (Petr JANČÍK)

2012, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//062klk// | Informatika / Aplikovaná informatika | Práce na příbuzné téma

Podnikatelský plán nového podniku provozujícího automaty na prodej čerstvé šťávy
 (Vojtěch Novotný)

2018, Diplomová práce, Vysoké učení technické v Brně

http://theses.cz/id//bwqs6t// | Ekonomika a management / | Práce na příbuzné téma

Stavové automaty
 (Petr JANČÍK)

2012, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//crw93n// | Informatika / Aplikovaná informatika | Práce na příbuzné téma

Stavové automaty
 (Petr JANČÍK)

2012, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//062klk// | Informatika / Aplikovaná informatika | Práce na příbuzné téma

Modelování, simulace a optimalizace podnikového procesu v programu Witness
 (Filip Žilka)

2018, Bakalářská práce, Ekonomicko-správní fakulta / Masarykova univerzita

https://is.muni.cz/th/kyive/ | Ekonomika a management / Podniková ekonomika a management | Práce na příbuzné téma

Návrh nástroje pro ultrazvukové svařování - sonotrody - metodou numerické simulace
 (Jakub MOCEK)

2020, Bakalářská práce, Fakulta strojní / ZÁPADOČESKÁ UNIVERZITA V PLZNI

http://theses.cz/id//m9x636// | Strojní inženýrství / Materiálové inženýrství a strojírenská metalurgie | Práce na příbuzné téma

Simulace a návrh řešení provozních problémů rektifikačních kolon ve výrobě VCM ve firmě Spolana s.r.o.
 (Martin Bár)

2024, Diplomová práce, Fakulta chemicko-inženýrská / Vysoká škola chemicko-technologická v Praze

http://theses.cz/id//a2lpdn// | Chemické inženýrství a bioinženýrství / | Práce na příbuzné téma

« 1 2 » (celkem 17 prací)