Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. DiVinE Multi-Core -- A Parallel LTL Model-Checker
      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. ISBN 978-3-540-88386-9.
      Název česky: DiVinE Multi-Core -- Paralelní nástroj pro ověřování modelu LTL
      RIV/00216224:14330/08:00024321 Stať ve sborníku. Informatika. angličtina. Korejská republika.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Ročkai, Petr (203 Česká republika)
      Klíčová slova anglicky: LTL Model Checking; Parallel; Tool
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 30. 3. 2010 09:14.
      Podrobněji: https://is.muni.cz/publication/792976/cs

    2006

    1. Platform for Full-Syntax Grammar Development Using Meta-grammar Constructs
      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. ISBN 7-302-14060-X.
      Název česky: Platforma pro vývoj gramatik pomocí meta-gramatických konstrukcí
      RIV/00216224:14330/06:00015963 Stať ve sborníku. Informatika. angličtina. Čína.
      Horák, Aleš (203 Česká republika, garant) -- Kadlec, Vladimír (203 Česká republika)
      Klíčová slova anglicky: parsing; grammar; meta-grammar; tool
      Změnil: doc. RNDr. Aleš Horák, Ph.D., učo 1648. Změněno: 23. 6. 2009 16:29.
      Podrobněji: https://is.muni.cz/publication/701563/cs
    2. Technology
      ŠMAJS, Josef. Technology. In Encyclopedia of anthropology. Londýn: Sage publications Ltd., 2006, s. 2165-2167. ISBN 0-7619-3029-9.
      Název česky: Technika
      Název anglicky: Technology
      RIV/00216224:14560/06:00015620 Stať ve sborníku. Filosofie a náboženství. čeština. Česká republika.
      Šmajs, Josef (203 Česká republika, garant)
      Klíčová slova anglicky: technology; technics; technical phenotype; biotic technics; abiotic technics; tool; machina; automatization
      Změnil: prof. PhDr. Ing. Josef Šmajs, CSc., učo 2543. Změněno: 21. 2. 2006 13:54.
      Podrobněji: https://is.muni.cz/publication/629204/cs
Zobrazeno: 26. 4. 2024 20:14