Počet záznamů: 1  

Holík, Lukáš

  1. Osobní jménoHolík, Lukáš
    Biogr.poz.Mgr., vysokoškolský pedagog, práce z oblasti automatizované analýzy a verifikace.
    Zdroj datHolík, L. - Vojnar, T.: Simulations and antichains for efficient handling of finite automata
    www(Vysoké učení technické v Brně. Fakulta informačních technologií, cit. 4. 4. 2011) ; biografické údaje
    Druh soub.Soubor osobních jmen a jmen rodin
    Odkazy (2) - Odborná literatura, mapy
    Databáze národních autorit NK ČR
    Jazyk dok.čeština
    Počet ex.1, z toho volných 0, prezenčně 1
    Druh dok.Seriály - svazky
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše