Publikace
Počet publikací: 3000
Články ve sbornících
-
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024
-
XSBench on FPGAs using Intel oneAPI
EPJ Web of Conferences, rok: 2024
-
Znalecká činnost v režimu zákona č. 416/2009 Sb.
ExFoS 2024: sborník příspěvků, rok: 2024
-
Žáci základní školy v informační společnosti
„Člověk ve svém pozemském a kosmickém prostředí“, příspěvky přednesené na semináři v Josefově ve dnech 2.– 4. 5. 2023, rok: 2024
-
Žaloba proti rozhodnutí prezidenta republiky
Cofola 2023: Sborník příspěvků mladých právníků, doktorandů a právních vědců, rok: 2024
-
Драматична освіта як засіб розвитку співпраці та креативності майбитніх педагогів закладів дошкільної освіти
Rok: 2024
Ostatní aplikované výsledky
-
A focus on adolescent social media use and gaming in Europe, central Asia and Canada : Health Behaviour in School-aged Children international report from the 2021/2022 survey. Vol. 6.
Rok: 2024
-
AlphaFind
Rok: 2024
-
AlphaFind: Discover structure similarity across the entire known proteome
Rok: 2024
-
Analýza vysílání České televize po útoku na FF UK
Rok: 2024