Počet záznamů: 1
Vojnar, Tomáš, 1973-
Osobní jméno Vojnar, Tomáš, 1973- Biogr.poz. Narozen 29. 6. 1973 v Karviné. Doc., Ing., Ph.D., autor prací o informačních technologiích, zejména o metodách automatizované verifikace systémů. Zdroj dat Jeho: Cut-offs and automata in formal verification of infinite-state systems osobní sdělení ; biografické údaje Druh soub. Soubor osobních jmen a jmen rodin Odkazy (1) - Odborná literatura, mapy Databáze národních autorit NK ČR
Počet záznamů: 1