Výsledky vyhľadávania

Nájdených záznamov: 6  
Váš dotaz: Autor-kód záznamu = "^sav_un_auth 0004966^"

  1. 1.Vplyv vírusových a bunkových faktorov na expresiu proteínu MN/CA IX

    NázovVplyv vírusových a bunkových faktorov na expresiu proteínu MN/CA IX
    Autor Ponse A.
    Vyd.údajeBratislava : VÚ SAV , 1998. - 92s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.práce dizertačné doktorské
    kniha

    kniha

  2. 2.Comutable processes and bisimulation equivalence

    NázovComutable processes and bisimulation equivalence
    Autor Ponse A.
    Vyd.údajeAmsterdam : CWI , 1992. - 28 s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  3. 3.[Process Algebra with Guards Combining Hoare Logic with Process Algebra]

    Názov[Process Algebra with Guards Combining Hoare Logic with Process Algebra]
    Autor Groote Jan Friso
    Spoluautori Ponse A.
    Vyd.údajeAmsterdam : CWI , 1990. - 56 s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    nerozpoznaný

    nerozpoznaný

  4. 4.[Process Algebra with Guards Combining Hoare Logic with Process Algebra]

    Názov[Process Algebra with Guards Combining Hoare Logic with Process Algebra]
    Autor Groote Jan Friso
    Spoluautori Ponse A.
    Vyd.údajeAmsterdam : CWI , 1990. - 56 s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    Druh dok.správy výskumné
    kniha

    kniha

  5. 5.Strong completeness for Hoare logics of recursive processes:an infinitary approach

    NázovStrong completeness for Hoare logics of recursive processes:an infinitary approach
    Autor Ponse A.
    Spoluautori Vries de F. J.
    Vyd.údajeAmsterdam : CWI , 1989. - 36 s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    kniha

    kniha

  6. 6.Strong completeness for Hoare logics of recursive processes:an infinitary approach

    NázovStrong completeness for Hoare logics of recursive processes:an infinitary approach
    Autor Ponse A.
    Spoluautori Vries de F. J.
    Vyd.údajeAmsterdam : CWI , 1989. - 36 s.
    Počet ex.1, z toho voľných 0, prezenčne 1
    kniha

    kniha



  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.

Prijať všetkoNastavenieOdmietnuť všetko