Počet záznamů: 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.
    ProjektEfektivní 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ů.
    Název projektuOC10048
    PoskytovatelGA MŠk
    Doba řešení2010 - 2012
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Ratschan
    Katal.org.CAV
    Odkazy (1) - Abstrakt
    (4) - Konferenční příspěvek (zahraniční konference)
    (3) - Článek v odborném časopise
    (1) - Software
    SouborProjekty
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše