Disertační práce

Publikace

Autor: Od roku: Roků:
Název: Klíčová slova:
Typ:
 
2014ZEMEK Petr. One-Sided Random Context Grammars. Brno, 2014.
2012DE Silva Gayan. Network-wide Security Analysis. Brno, 2012.
 GLEMBEK Ondřej. Optimization of Gaussian Mixture Subspace Models and related scoring algorithms in speaker verification. Brno, 2012.
 JURÁNEK Roman. Acceleration of Object Detection Using Classifiers. Brno: Fakulta informačních technologií VUT v Brně, 2012.
 KOCKMANN Marcel. Subspace modeling of prosodic features for speaker verification. Brno, 2012.
 KONEČNÝ Filip. Relational Verification of Programs with Integer Data. Brno: Fakulta informačních technologií VUT v Brně, 2012.
 KOUTNÝ Jiří. Grammars with Restricted Derivation Trees. Brno, 2012.
 LETKO Zdeněk. Analysis and Testing of Concurrent Programs. Brno: Fakulta informačních technologií VUT v Brně, 2012.
 MIKOLOV Tomáš. Statistical Language Models Based on Neural Networks. Brno, 2012.
 MIKOLOV Tomáš. Statistical Language Models Based on Neural Networks. Brno: Vysoké učení technické v Brně, 2012.
 SAMEK Jan. Důvěra a reputace v distribuovaných systémech. Brno, 2012.
 VAŠÍČEK Zdeněk. Acceleration Methods for Evolutionary Design of Digital Circuits. Brno, 2012.
 ŠIMÁČEK Jiří. Harnessing Forest Automata for Verification of Heap Manipulating Programs. Brno: Fakulta informačních technologií VUT v Brně, 2012.
 ŠÁTEK Václav. Analýza stiff soustav diferenciálních rovnic. Brno: Ústav inteligentních systémů FIT VUT v Brně, 2012.
 ČERMÁK Martin. Formal Systems Based on Automata and Grammars. Brno, 2012.

Vaše IPv4 adresa: 54.163.72.86
Přepnout na IPv6 spojení

DNSSEC [dnssec]