Number of the records: 1  

Matoušek, Petr, 1973-

  1. Personal nameMatoušek, Petr, 1973-
    Biographical NoteNarozen v roce 1973. Informatik. Odborník v oblasti počítačových sítí, přenosu hlasu přes IP, formální specifikace a verifikace časovaných systémů.
    Data source entryMatoušek, P.: Symbolic data structures for parametric verification ; autoritní forma
    www(Fakulta informačních technologií, Vysoké učení technické v Brně), cit. 16. 5. 2013
    Collection kindFile of personal names and family names
    References (1) - Monographies, maps
    Databáze národních autorit NK ČR
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all