Filtry
Evaluating Code Improvements in Software Quality Course Projects
Computer and information sciences
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Template-Based Verification of Heap-Manipulating Programs
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Monitoring C/C++ Transactional Memory Programs
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Corrosion software - the tool necessary to predict the corrosion
JK - Koroze a povrchové úpravy materiálu
- 2012 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Data processing software
Automation and control systems
- 2023 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
Categorical Variable Segmentation Model for Software Development Effort Estimation
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Risk management software platform ZOTY for SMEs
Electrical and electronic engineering
- 2021 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Bioinformatický software SOMAMUT
Health-related biotechnology
- 2020 •
- R
Rok uplatnění
R - Software
Case Study on Verification-Witness Validators: Where We Are and Where We Go
Computer and information sciences
- 2022 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Software pro navrhování ocelových konstrukcí
Software pro navrhování ocelových konstrukcí...
JN - Stavebnictví
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 59 329