Basket

    1.
    0447653 - MÚ 2016 RIV DE eng M - Monography Chapter
    Paturi, R. - Pudlák, Pavel - Saks, M. - Zane, F.
    Backtracking based k-SAT algorithms.
    Encyclopedia of Algorithms. Berlin: Springer, 2015 - (Kao, M.), s. 1-6. ISBN 978-3-642-27848-8
    Institutional support: RVO:67985840
    Keywords : theory of computation * algorithms
    Subject RIV: BA - General Mathematics
    http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
    Permanent Link: http://hdl.handle.net/11104/0249436
    FileDownloadSizeCommentaryVersionAccess
    Pudlak.pdf1132.6 KBPublisher’s postprintrequire
     
     
    2.
    0505581 - ÚCHP 2020 CZ eng K - Conference Paper (Czech conference)
    Ružovič, Tomáš
    Advanced System for Reduction of Mercury Emissions in Model Gases by Modified Sorbents.
    Proceedings of Abstracts. Prague: Institute of Chemical Process Fundamentals of the CAS, v. v. i., 2019 - (Bendová, M.; Wagner, Z.), s. 37-38. ISBN 978-80-86186-05-4.
    [Bažant Postgraduate Conference 2019. Prague (CZ), 18.06.2019]
    R&D Projects: GA MŠMT(CZ) EF16_026/0008413
    Institutional support: RVO:67985858
    Keywords : pollution and emissions * mercury * sorbents
    OECD category: Environmental sciences (social aspects to be 5.7)
    http://hroch486.icpf.cas.cz/amos-typo/
    Permanent Link: http://hdl.handle.net/11104/0297058
    FileDownloadSizeCommentaryVersionAccess
    SKMBT_C22019053108340.pdf11835.1 KBPublisher’s postprintopen-access
     
     

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

Accept allSettingsReject all