Češka, Milan.
Češka, Milan, 1946-
Češka, M. (Milan)
Milan Češka
VIAF ID: 163443508 ( Personal )
Permalink: http://viaf.org/viaf/163443508
Preferred Forms
- 100 1 _ ‡a Ceska, Milan
- 100 1 _ ‡a Češka, M. ‡q (Milan)
- 100 0 _ ‡a Milan Češka
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Computational Methods in Systems Biology : 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings | |
Gramatiky a jazyky / L'udovít Molnár, Milan Češka, Bořivoj Melichar. - Bratislava, 1987. | |
Harnessing forest automata for verification of heap manipulating programs. | |
Hybrid Systems Biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers | |
Modelování a simulace | |
Petriho sítě : úvod do teorie a nástrojů pro aplikaci Petriho sítí | |
Překladače | |
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, c2009: | |
Vérification de programmes avec structures de données complexes | |
Vyčíslitelnost a složitost : [Určeno stud. oboru Informatika a výpočetní technika] | |
Základy systémového programování : určeno pro posl. elektrotechn. fak. |