Documents similaires: Simulácia zápisu špecifikácie v HSSL = Design and implement simulator of digital system described in formal :
- Simulácia zápisu špecifikácie v HSL = Simulation of digital model specification in HSSL : Dipl.práca
- Dynamický prekladač zápisu špecifikácie z HSSL jazyka
- Syntéza HSSL špecifikácie
- Simulácia špecifikácie digitálneho systému v jazyku HSSL
- Prekladač z jazyka HSSL do jazyka VHDL =Dompiler from HSSL language to VHDL language : Dipl.práca
- Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL
Sujet: informatika
- Internet jednoduše , srozumitelně, názorně
- Možnosti internetu [za sedem dní]
- Informačný vek
- IAM 2007 workshop on informatics, automation and mathematics : proceedings : january 24 - 26, 2007, Kočovce
- Zpracování závěrečných prací v oblasti automatizace a informatiky
- Kybernetika a informatika `12 zborník abstraktov : [26.] medzinárodná konferencia : Skalka pri Kremnici, Slovenská republika, 31. január - 4. február 2012
Auteur: Kardoš, Martin
Auteur: Káčerík, Jozef
- Preklad zo špecifikačného jazyka HSL do vnútornej formy = Translation from specitication languange HSL to internal structure : Dipl.práca
- Simulácia zápisu špecifikácie v HSSL = Design and implement simulator of digital system described in formal : Dipl.práca
- Simulácia zápisu špecifikácie v HSL = Simulation of digital model specification in HSSL : Dipl.práca
- Inteligentný editor špecifikácií v jazyku HSL = Intelligent wditor for specification in HSL languange : Dipl.práca
- Spaľovacie motory I : Laboratórne cvičenia