- Craig s odstupem let2001 | Filozofická fakulta
- Craig D. Atwood, The Theology of the Czech Brethren from Hus to Comenius2013 | Evangelická teologická fakulta
- Noise representation in residuals of LSQR, LSMR, and CRAIG regularization2017 | Matematicko-fyzikální fakulta
- Craig Cravens, Masako U. Fidler, Susan C. Kresin (Eds.) Between texts, languages, and cultures: A festschtift for Michael Henry Heim2011 | Pedagogická fakulta
- Craig Wright: Labyrint a bojovník. Symboly v architektuře, náboženství a hudbě, Vyšehrad, Praha 2008; The Maze and Warrior. Symbols in Architecture, Theology, and Music. 2nd edition, Cambridge 20042009 | Filozofická fakulta
- PVAIR: Partial Variable Assignment InterpolatoR2016 | Matematicko-fyzikální fakulta
- Leveraging Interpolant Strength in Model Checking2012 | Matematicko-fyzikální fakulta
- Exploiting partial variable assignment in interpolation-based model checking2019 | Matematicko-fyzikální fakulta
- Keener, C. S. 2019. Christobiography: Memory, History, and the Reliability of the Gospels. Grand Rapids: Eerdmans. ISBN 978- 0802876751. Pp. 743. $49.752021 | Husitská teologická fakulta
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Decomposing Farkas Interpolants2019 | Matematicko-fyzikální fakulta
- Transition Power Abstractions for Deep Counterexample Detection2022 | Matematicko-fyzikální fakulta
- Split Transition Power Abstraction for Unbounded Safety2022 | Matematicko-fyzikální fakulta
- Using linear algebra in decomposition of Farkas interpolants2022 | Matematicko-fyzikální fakulta
- FunFrog: Bounded Model Checking with Interpolation-based Function Summarization2012 | Matematicko-fyzikální fakulta
- Farkas-Based Tree Interpolation2020 | Matematicko-fyzikální fakulta
- Pojem "bilaterální legislativní suverenita" a česká ústavní teorie2015 | Právnická fakulta
- Khong, J. J, Finch, S., De Silva, Ch., Rylander, S., Craig, E. J., Selva, D., Ebeling, R. P. : Rizikové faktory Gravesovy orbitopatie; the Australian Thyroid-Associated Orbitopathy Research (ATOR) Study2017 | 1. lékařská fakulta
- SMT-based verification of program changes through summary repair2023 | Matematicko-fyzikální fakulta
- A Cooperative Parallelization Approach for Property-Directed k-Induction2020 | Matematicko-fyzikální fakulta
- Function Summarization Modulo Theories2018 | Matematicko-fyzikální fakulta
- On Interpolants and Variable Assignments2014 | Matematicko-fyzikální fakulta
- SteeringTool 1.0Publikace bez příslušnosti k fakultě
- eVolCheck: Incremental Upgrade Checker for C2013 | Matematicko-fyzikální fakulta
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Filozofická fakulta
- Alegorie a svádění: Inscenace příslibu vědění v soudobé opeře2009 | Filozofická fakulta
- The 'Work' of Post-Conceptual Writing: The Strange Case of Édouard Levé2020 | Filozofická fakulta
- The Effect of Arm Stiffness on the Elasto-Kinematic Properties of Single-Axle Suspension by Using the MBS Simulation Model2017 | Ústřední knihovna