Disertační práce
| 2012 | De, S., G.: Network-wide Security Analysis, Brno, CZ, 2012, s. 163 |
| | Glembek, O.: Optimization of Gaussian Mixture Subspace Models and related scoring algorithms in speaker verification, Brno, CZ, 2012, s. 1-128 |
| | Juránek, R.: Acceleration of Object Detection Using Classifiers, Brno, CZ, FIT VUT, 2012, s. 1-77 |
| | Kockmann, M.: Subspace modeling of prosodic features for speaker verification, Brno, CZ, 2012, s. 122 |
| | Konečný, F.: Relational Verification of Programs with Integer Data, Brno, CZ, FIT VUT, 2012, s. 153 |
| | Letko, Z.: Analysis and Testing of Concurrent Programs, Brno, CZ, FIT VUT, 2012, s. 139 |
| | Mikolov, T.: Statistical Language Models Based on Neural Networks, Brno, CZ, 2012, s. 129 |
| | Samek, J.: Důvěra a reputace v distribuovaných systémech, Brno, CZ, 2012, s. 140 |
| | Šátek, V.: Analýza stiff soustav diferenciálních rovnic, Brno, CZ, UITS FIT VUT, 2012, s. 133 |
| | Šimáček, J.: Harnessing Forest Automata for Verification of Heap Manipulating Programs, Brno, CZ, FIT VUT, 2012, s. 128 |
| | Vašíček, Z.: Acceleration Methods for Evolutionary Design of Digital Circuits, Brno, CZ, 2012, s. 162 |
| 2011 | Beran, V.: On-line Data Analysis Based on Visual Codebooks, Brno, CZ, 2011, s. 94 |
| | Gajda, Z.: Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits, Brno, CZ, UPSY FIT VUT, 2011, s. 92 |
| | Herrman, T.: Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků, Brno, CZ, 2011, s. 95 |
| | Holík, L.: Simulations and Antichains for Efficient Handling of Finite Automata, Brno, CZ, UITS FIT VUT, 2011, s. 128 |
| | Kadlec, J.: Code Characterization for Automated User Interface Generation, Brno, CZ, FIT VUT, 2011, s. 144 |
| | Přikryl, Z.: Advanced Methods of Microprocessor Simulation, Brno, CZ, 2011, s. 103 |
| | Rozman, J.: Navigace mobilních robotů, Brno, CZ, 2011, s. 96 |
| | Sehnalová, P.: Stability and convergence of numerical computations, Brno, CZ, 2011, s. 108 |
| | Španěl, M.: Delaunay-based Vector Segmentation of Volumetric Medical Images, Brno, CZ, FIT VUT, 2011, s. 138 |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)