Hartman David

Tituly autora (2)

• SWIM 2015

  8th Small Workshop on Interval Methods : June 9-11, 2015, Prague

  Tištěná kniha

  Hartman David, Hladík Milan, Horáček Jaroslav

  Karolinum

  2015

  978-80-7378-293-1 (brožováno)

• WHS 2012

  2nd Workshop on Homogeneous Structures : 25.7.-28.7.2012, Prague

  Tištěná kniha

  Hartman David, Univerzita Karlova. Institut teoretické informatiky, Univerzita Karlova. Informatický ústav

  Karolinum

  2012

  978-80-7378-215-3 (brož.)