Number of the records: 1  

Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů

  1. 1.
    ProjectEfektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.
    Project NameOC10048
    Grant AgencyGA MŠk
    Research years2010 - 2012
    Grant Recipient Ústav informatiky AV ČR, v. v. i.
    Participants Ratschan
    Catal.org.CAV
    References (1) - Abstrakt
    (4) - Konferenční příspěvek (zahraniční konference)
    (3) - Článek v odborném časopise
    (1) - Software
    FileProjekty
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all