PhD. Theses

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

Nacházíte se v sekcích

Main menu

PhD. Theses