Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

  1. BRÁZDIL, Tomáš, Václav BROŽEK, Jan HOLEČEK a Antonín KUČERA. Discounted Properties of Probabilistic Pushdown Automata. In Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008. Berlin Heidelberg New York: Springer, 2008. s. 230-242. ISBN 978-3-540-89438-4.
  2. 2004

  3. HOLEČEK, Jan a Petr SOJKA. Animations in pdfTeX-generated PDF. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004, roč. 2004, č. 3130, s. 179--191, 12 s. ISSN 0302-9743.
  4. HOLEČEK, Jan a Petr SOJKA. Animations in pdfTeX-generated PDF. TUGboat : The Communications of the TeX Users Group. San Francisco: TeX Users Group, 2004, roč. 25, č. 1, s. 35-41. ISSN 0896-3207.
  5. HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. How to Formalize FPGA Hardware Design. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 04/2004.
  6. HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Process of Hardware Design in Liberouter Project. Praha: CESNET z.s.p.o., 2004. CESNET Technical Report No. 05/2004.
  7. HOLEČEK, Jan, Tomáš KRATOCHVÍLA, Vojtěch ŘEHÁK, David ŠAFRÁNEK a Pavel ŠIMEČEK. Verification Results in Liberouter Project. Praha: CESNET, z.s.p.o., 2004. CESNET Technical Report No. 03/2004.
Zobrazit podrobně
Zobrazeno: 18. 4. 2021 16:40