Filtry
Incremental Computation of Succinct Abstractions for Hybrid Systems
IN - Informatika
- 2011 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
SOCIO-ECONOMIC IMPACTS OF RESIDENTIAL AND ADMINISTRATIVE CONSTRUCTION PROJECTS
Civil engineering
- 2020 •
- D
Rok uplatnění
D - Stať ve sborníku
On incremental condition estimators in the 2-norm
BA - Obecná matematika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Use of calorimetry and thermal analysis to assess the heat of supplementary cementitious materials during the hydration of composite cementitious binders
Thermodynamics
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
SMT-based automatic proof of ASM model refinement
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Degeneracy of tetrahedral partitions produced by randomly generated red refinements
Pure mathematics
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
The Use of Incremental Schedule-based Approach for Efficient Job Scheduling
IN - Informatika
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
Long-Term Deformation of Shear Wall Systems
JM - Inženýrské stavitelství
- 2003 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Adaptive features of machine learning methods.
JD - Využití počítačů, robotika a její aplikace
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Adaptive composite grid methods for problems of plasticity.
BA - Obecná matematika
- 1999 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 598