Témata řešených disertačních prací

1-50 »51-100« 101-150 151-200 201-250 251-300 301-350 351-384
 
# Rok Školitel +Ústav Název
512009Švéda MiroslavUIFSBezpečnost v sítích IPv6
522009Švéda MiroslavUIFSMulticast v IPv6
532009Zendulka JaroslavUIFSDolování víceúrovňových sekvenčních vzorů
542008Hruška TomášUIFSModely workflow
552008Kreslíková JitkaUIFSMetodika managementu rizik bezpečnosti informací
562008Meduna AlexanderUIFSDvourozměrné jazyky a jejich gramatické zpracování
572008Meduna AlexanderUIFSFormální systémy automatů a gramatik
582008Švéda MiroslavUIFSAutomatická analýza síťové bezpečnosti
592007Hruška TomášUIFSPokročilé metody simulace mikroprocesorů
602007Hruška TomášUIFSProgramování rekonfigurovatelných systémů pomocí vyššího programovacího jazyka
612006Kreslíková JitkaUIFSMěření v softwarovém inženýrství
622006Meduna AlexanderUIFSŘízené formální modely
632005Kreslíková JitkaUIFSMetody byznys modelování
642005Meduna AlexanderUIFSNové operace nad formálními jazyky
652005Meduna AlexanderUIFSRozptýlený kontext ve formálních jazycích
662005Švéda MiroslavUIFSSíťová architektura a propojování vestavěných systémů
672005Zendulka JaroslavUIFSModerní metody vývoje informačních systémů
682005Zendulka JaroslavUIFSModerní metody vývoje informačních systémů
692004Hruška TomášUIFSSystémy pro souběžný návrh technického a programového vybavení počítačů
702004Meduna AlexanderUIFSModifikované modely syntaktické analýzy
712004Meduna AlexanderUIFSParalelní sytémy formálních modelů
722004Meduna AlexanderUIFSSyntaktická analýza založená na gramatických systémech
732004Zendulka JaroslavUIFSGenomické databáze
742003Honzík Jan M.UIFSNávrh technologie a nástrojů vzdáleného učení a práce (e-learning a teleworking)
752003Hruška TomášUIFSFormální definice objektového modelu
762003Meduna AlexanderUIFSJazykové operace v moderní teoretické informatice
772003Meduna AlexanderUIFSSpecifikace a překlad jazyků pomocí systémů formálních modelů
782003Meduna AlexanderUIFSZjednodušení formálních modelů
792003Švéda MiroslavUIFSKomunikační a bezpečnostní síťové protokoly a jejich verifikace
802002Honzík Jan M.UIFSMetody návrhu vývojového prostředí pro vizualizační a řídicí aplikace
812002Meduna AlexanderUIFSParalelní gramatiky
822002Meduna AlexanderUIFSPřekladové systémy
832001Hruška TomášUIFSDefinice a řízení procesů v objektově orientovaných informačních systémech
842001Meduna AlexanderUIFSL systémy
852001Švéda MiroslavUIFSFormální specifikace a verifikace komunikačních protokolů
862001Švéda MiroslavUIFSNástroje pro zkoumání vlastností komunikačních protokolů
872001Zendulka JaroslavUIFSAnalýza obrazu pro potřeby získávání znalostí z obrazových dat
882001Zendulka JaroslavUIFSMetody získávání znalostí z multimediálních dat
892001Zendulka JaroslavUIFSMetody získávání znalostí z WWW
902000Zendulka JaroslavUIFSPodobnostní vyhledávání v multimediálních datech
911998Hruška TomášUIFSInformační systémy na objektovém základě
921998Švéda MiroslavUIFSFormální popis a verifikace třídy vyšších protokolů s omezeními v reálném čase
931998Zendulka JaroslavUIFSMetody získávání znalostí z databází
941997Hruška TomášUIFSAutorizační model pro silně distribuované informační systémy
951996Švéda MiroslavUIFSFormální specifikace systémů pracujících v reálném čase
961995Zendulka JaroslavUIFSSignaturní soubory
971994Hruška TomášUIFSFunkcionální technologie pro objektově orientované modelování a databáze
981994Hruška TomášUIFSKategorický rámec objektově orientovaného databázového modelu
991994Hruška TomášUIFSProstředky pro paralelní programování
1001992Honzík Jan M.UIFSMethods for Design of an Object-Oriented Database System
PředchozíDalší

Vaše IPv4 adresa: 3.209.80.87
Přepnout na https