- Sborník mezinárodního workshopu FACS'06 (Formal Aspects of Component Software)2007 | Matematicko-fyzikální fakulta
- U. Junghanns und G. Zybatow (Hrsg.) - Formale Slavistik1999 | Matematicko-fyzikální fakulta
- Legislatismus a formalismus2020 | Právnická fakulta
- Czech Education in nature in formal and non-formal environments2022 | Fakulta tělesné výchovy a sportu
- Jakobsonův formalismus2011 | Filozofická fakulta
- Kompetenční přístup ve formálním a neformálním vzdělávání2017 | Pedagogická fakulta
- On Formal Concept Analysis1996 | Matematicko-fyzikální fakulta
- Právní formalismus2016 | Právnická fakulta
- Formalization and Responsibility2015 | Publikace bez příslušnosti k fakultě
- Formalization of Basic Combinatorics on Words2021 | Matematicko-fyzikální fakulta
- Formalizing a Fragment of Combinatorics on Words2017 | Matematicko-fyzikální fakulta
- The Emergence of Structuralism and FormalismPublikace bez příslušnosti k fakultě
- Možnosti aplikace blended learningu ve formálním a neformálním vzdělávání2011 | Filozofická fakulta
- Vyhledávací a přepisovací stromový formalismus2006 | Matematicko-fyzikální fakulta
- Lyndon Words Formalized in Isabelle/HOL2021 | Matematicko-fyzikální fakulta
- Extension Complexity of Formal Languages2020 | Matematicko-fyzikální fakulta
- Formal Properties of Present Conditional in Czech2013 | Filozofická fakulta
- Formalizovaný či neformalizovaný přístup k vedení rozhovoru?2013 | Publikace bez příslušnosti k fakultě
- Ruský formalismus : Metapoetika2012 | Publikace bez příslušnosti k fakultě
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- On Modeling Formalisms for Automated Planning2014 | Matematicko-fyzikální fakulta
- Ne-teorie "formální ne-metody"2014 | Filozofická fakulta
- Formální příčina nekonečna2008 | Filozofická fakulta
- 22nd Theorietag Automata and Formal LanguagesPublikace bez příslušnosti k fakultě
- O formalizaci slovosledných vlastností2012 | Matematicko-fyzikální fakulta
- Formální modely objektově-orientovaných databází2008 | Matematicko-fyzikální fakulta
- Proceedings of the 22nd Theorietag Automata and Formal Languages2012 | Matematicko-fyzikální fakulta
- Srovnání prosodických formalismů pro strojové učení +22007 | Matematicko-fyzikální fakulta