Filtrování

    2008

    1. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN a David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vol. 194/3. Elsevier: Elsevier Science, 2008, s. 35-50, 15 s. ISSN 1571-0661.
      Podrobněji: https://is.muni.cz/publication/749375/cs

    2007

    1. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Sven DRAŽAN a David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Preproceedings of the Workshop From Biology to Concurrency and Back. Lisbon: Complex System Research Group, University of Camerino, 2007, s. 80-95, 15 s.
      Podrobněji: https://is.muni.cz/publication/725423/cs

    1996

    1. Simulační jádro v C++
      RUDOVÁ, Hana. Simulační jádro v C++. In Proceedings of the Conference Modelling and System Simulation. Ostrava: MARQ, 1996, s. 205-210. Acta MOSIS No. 60, volume 1. ISBN 80-85988-02-X.
      Podrobněji: https://is.muni.cz/publication/203194/cs
Zobrazit podrobně