ℹ️
🇬🇧
Search
Search for publications relevant for "formal analysis"
formal analysis
Publication
Class
Person
Publication
Programmes
Export current view
publication
Formal analysis of national scientific journals: The case of the didactics of biology and pedagogy
2022 |
Faculty of Science
publication
In search of the optimal translation of polysemous verbs - comparing methods of formal analysis of parallel texts
2015 |
Faculty of Arts
publication
Measurement of cerebellar laterality.
Publication without faculty affiliation
publication
Statues in the park in Lysa nad Labem : Possibilities of using historical survey methods for the assessment of dating and authorship of sculptures in confrontation with the use of formal analysis and comparison in search of their sources of inspiration
2016 |
Faculty of Arts
publication
Integrating Formal Methods into Medical Software Development: the ASM approach
2018 |
Faculty of Mathematics and Physics
publication
Transforming Babylon into Jerusalem: Chronology and dating of the architectural sculpture of the Church of Our Lady before Týn in the days of the Luxembourgs. in: Umění, 2015, sv. 4/2015
2015 |
Faculty of Arts, Catholic Theological Faculty
publication
'I fall at the feet of my lord...': Salutation formula in the Akkadian letters from Ugarit
2002 |
Faculty of Arts
publication
Ivo Vodseďálek''s rage and humor
2011 |
Faculty of Arts
publication
On the margin of Days fallen asleep
2016 |
Faculty of Arts
publication
The Statue of St. Wenceslas in the St. Wenceslas chapel
2010 |
Publication without faculty affiliation
publication
The Crucified Christ from Zašová
2008 |
Faculty of Arts
publication
The Crucified Christ from Zašová
2008 |
Catholic Theological Faculty
publication
CHRISTMAS MUSIC - CZECH PASTORELLAS (analysis of J. J. Ryba's works)
Publication without faculty affiliation
publication
The use of onomatopoeic words in spoken Mongolian.
2011 |
Faculty of Arts
publication
The Inventory of the Master Briccius Work in Kutná Hora
2007 |
Catholic Theological Faculty
publication
Dravidian and Altaic 'Hot-Fire-Heat' (DEDR 1458 and the related etyma with initial k-/g-).
2001 |
Faculty of Arts
publication
The Question of Proto-Indo-European Inheritance in Latin Word Formation
2017 |
Faculty of Arts
publication
To Analysis and Dating of the Crucifixion Group from the Church of Our Lady in front of Teyn
2007 |
Catholic Theological Faculty
publication
The Late-gothic Carving in Kadaň. Problems of the Decoration of the Monastery of Fourteen Holy Helpers
+1
2005 |
Catholic Theological Faculty
publication
The Late-gothic Carving in Kadaň. Problems of the Decoration of the Monastery of Fourteen Holy Helpers
2005 |
Faculty of Arts
publication
The Latin bonus - melior - optimus
2016 |
Faculty of Arts
publication
Sensitivity Analysis of a Priori Power Indices
2014 |
Faculty of Social Sciences
publication
Seeking the Czech Republic's Place in the World on the Pages of the Journal Mezinárodní Vztahy
2016 |
Faculty of Social Sciences
publication
Beer in Czech Film: Formal and Semantic Analysis
2023 |
Faculty of Arts
publication
Basic Steps of Jewish Cemeteries Documentation
2012 |
Publication without faculty affiliation
publication
Separation of Concerns and Consistent Integration in Requirements Modelling
2007 |
Publication without faculty affiliation
publication
Constitutional Conventions in Central Europe: Presidents in Government Formation Process
2023 |
Faculty of Social Sciences
publication
Paolo Piazza on the border between fading mannerism and emerging baroque
2016 |
Catholic Theological Faculty
publication
Ultrasound image analysis of common carotid artery intimamedia thickness in patients with primary hyperaldosteronism and essential hypertension.
Publication without faculty affiliation