Výsledky vyhledávání

Nalezeno záznamů: 3  
Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0100808 230g^"
 V košíku (0)
  1. 1.
    ProjektFormální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent
    Název projektuGA201/06/0770
    PoskytovatelGA ČR
    Příjemce projektuMFF UK
    (Spolu)řešitel projektu Plášil
    Katal.org.CAV
    Odkazy (9) - Konferenční příspěvek (zahraniční konference)
    (1) - Článek v odborném časopise
    (2) - Výzkumná zpráva
    SouborProjekty
  2. 2.
    ProjektRealistická aplikace formálních metod v komponentových systémech
    Název projektu1ET400300504
    PoskytovatelGA AV ČR
    Doba řešení2005 - 2009
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Plášil
    Katal.org.CAV
    Odkazy (19) - Konferenční příspěvek (zahraniční konference)
    (2) - Dizertace
    (6) - Článek v odborném časopise
    (1) - Konferenční příspěvek (tuzemská konference)
    (6) - Výzkumná zpráva
    SouborProjekty
  3. 3.
    ProjektSOFA - Software Appliances
    Název projektuIAA2030902
    PoskytovatelGA AV ČR
    Doba řešení1999 - 2002
    Příjemce projektu Ústav informatiky AV ČR, v. v. i.
    (Spolu)řešitel projektu Plášil
    Katal.org.CAV
    Odkazy (4) - Konferenční příspěvek (zahraniční konference)
    (1) - Konferenční zborník (zahraniční konference)
    (2) - Článek v odborném časopise
    (3) - Výzkumná zpráva
    SouborProjekty


  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