Košík

    1.
    0431640 - ÚI 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
    Kuřátko, Jan - Ratschan, Stefan
    Combined Global and Local Search for the Falsification of Hybrid Systems.
    Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2014 - (Legay, A.; Bozga, M.), s. 146-160. Lecture Notes in Computer Science, 8711. ISBN 978-3-319-10511-6. ISSN 0302-9743.
    [FORMATS 2014. International Conference /12./. Florence (IT), 08.09.2014-10.09.2014]
    Grant CEP: GA ČR GCP202/12/J060
    Institucionální podpora: RVO:67985807
    Klíčová slova: hybrid systems * falsification * optimization
    Kód oboru RIV: IN - Informatika
    Trvalý link: http://hdl.handle.net/11104/0236241
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0431640.pdf0249.2 KBVydavatelský postprintvyžádat
     
     
    2.
    0194431 - UOCHB-X 20020098 RIV CZ eng J - Článek v odborném periodiku
    Mařík, Jan - Buděšínský, Miloš - Slaninová, Jiřina - Hlaváček, Jan
    Synthesis, bioassay and NMR study of methyleneoxy isosters of oxytocin and vasopressin.
    Collection of Czechoslovak Chemical Communications. Roč. 67, č. 3 (2002), s. 373-392. ISSN 0010-0765
    Grant CEP: GA ČR GA203/98/1330; GA ČR GA203/00/0955
    Výzkumný záměr: CEZ:AV0Z4055905
    Klíčová slova: peptides * peptidomimetics
    Kód oboru RIV: CC - Organická chemie
    Impakt faktor: 0.848, rok: 2002
    Trvalý link: http://hdl.handle.net/11104/0090106
     
     

  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