Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

  1. BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008. s. 234-239, 6 s. ISBN 978-3-540-88386-9.
  2. 2006

  3. HORÁK, Aleš a Vladimír KADLEC. Platform for Full-Syntax Grammar Development Using Meta-grammar Constructs. In Proceedings of the 20th Pacific Asia Conference on Language, Information and Computation. 2006. vyd. Beijing, China: Tsinghua University Press, 2006. s. 311-318, 8 s. ISBN 7-302-14060-X.
  4. ŠMAJS, Josef. Technology. In Encyclopedia of anthropology. Londýn: Sage publications Ltd., 2006. s. 2165-2167, 3 s. ISBN 0-7619-3029-9.
Zobrazit podrobně
Zobrazeno: 20. 4. 2019 17:04