Výsledky vyhledávání

  1. 1.
    ProjektCentrum excelence - Institut teoretické informatiky (CE-ITI)
    Název projektuGBP202/12/G061
    PoskytovatelGA ČR
    Doba řešení2012 - 2018
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Cintula
    Pudlák
    Katal.org.CAV
    Odkazy (7) - Abstrakt
    (31) - Konferenční příspěvek (zahraniční konference)
    (43) - Článek v odborném časopise
    (2) - Část monografie
    (1) - Uspořádání konfrence
    (5) - Výzkumná zpráva
    SouborProjekty
  2. 2.
    ProjektInstitut teoretické informatiky - Centrum mladé vědy
    Název projektuLN00A056
    PoskytovatelGA MŠk
    Doba řešení2002 - 2004
    Příjemce projektu Matematický ústav AV ČR, v. v. i.
    Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Pudlák
    Hájek
    Katal.org.CAV
    Odkazy (20) - Konferenční příspěvek (zahraniční konference)
    (37) - Článek v odborném časopise
    (3) - Část monografie
    (18) - Výzkumná zpráva
    SouborProjekty
  3. 3.
    ProjektInstitut Teoretické Informatiky
    Název projektu1M0545
    PoskytovatelGA MŠk
    Doba řešení2005 - 2011
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    Matematický ústav AV ČR, v. v. i.
    (Spolu)řešitel projektu Šíma
    Pudlák
    Katal.org.CAV
    Odkazy (11) - Abstrakt
    (39) - Konferenční příspěvek (zahraniční konference)
    (1) - Dizertace
    (62) - Článek v odborném časopise
    (1) - Konferenční příspěvek (tuzemská konference)
    (1) - Software
    (1) - Část monografie
    (1) - Ostatní výsledky
    (12) - Výzkumná zpráva
    SouborProjekty