- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- Sekvence absurdní komiky v Čechách2005 | Filozofická fakulta
- Automated determination and dissolution studies of pharmaceutical formulations using method sequentional injection analysis2002 | Publikace bez příslušnosti k fakultě
- Characterization of PEEK, PET and PI implanted with Mn ions and sub-sequently annealed2014 | 1. lékařská fakulta, Matematicko-fyzikální fakulta
- Možnosti rozpoznání složitých komplexů vrozených srdečních vad zobrazených magnetickou rezonancí s použitím principů sekvenční segmentální analýzy2001 | Ústřední knihovna, 2. lékařská fakulta
- Závazky k ochraně kyberprostoru vyplývající z evropského a mezinárodního práva.2008 | Právnická fakulta
- Expander Construction in VNC12017 | Matematicko-fyzikální fakulta
- Expander construction in VNC12020 | Matematicko-fyzikální fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
- Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics2013 | Filozofická fakulta
- Terapie revmatoidní artritidy syntetickými a biologickými chorobu modifikujícími léky.2009 | 1. lékařská fakulta
- Efektivní vlastnost disjunkce a efektivní interpolace v modální logicePublikace bez příslušnosti k fakultě
- Zlé dítě. Diagnóza Aspergerův syndrom?2017 | Pedagogická fakulta
- Uniformní interpolace a výrokové kvantifikátory v modální logice2007 | Filozofická fakulta
- Embedding l-bimonoids into involutive residuated lattices2016 | Filozofická fakulta
- Angioplasty of Dysfunctional Dialysis Fistula or Graft with Resveratrol-Excipient and Paclitaxel-Coated Balloon Improves Primary Patency Rates Compared to Plain Angioplasty Alone2022 | 1. lékařská fakulta
- Reductio ad contradictionem: an algebraic perspective2016 | Filozofická fakulta
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Filozofická fakulta
- Holocaust of the Roma and Sinti on the Territory of CzechoslovakiaPublikace bez příslušnosti k fakultě
- Overlap of Female Reproductive Cycles Explains Shortened Interclutch Interval in a Lizard with Invariant Clutch Size (Squamata: Gekkonidae: Paroedura picta)2012 | Přírodovědecká fakulta
- Ecological significance of standing dead phytomass: Marcescence as a puzzle piece to the nutrient cycle in temperate ecosystems2023 | Přírodovědecká fakulta, Ústřední knihovna