Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
verifikatsioon - keyword
find full texts
Apply
items found: 5
1.
RDB2RDF ja RDF2RDB teisenduste realiseerimine, valideerimine ja verifitseerimine terviseandmete kontekstis. Implementation, Validation and Verification of RDB2RDF and RDF2RDB Transformations for Health Data
Buhvestova, Jane-Ly
29.05.2025
master's theses
2.
Raamistik plokiahela tehnoloogia kasutusele võtuks akadeemilistes sertifikaadiga verifitseeritavates süsteemides: Uuring Nigeeria näitel. A framework for the adoption of blockchain technology in academic certificate-verification systems: A case study of Nigeria
Effiong, Mercy Ebiot
03.06.2020
master's theses
3.
Simulation-Based Hardware Verification with High-Level Decision Diagrams. Simuleerimisel põhinev riistvara verifitseerimine kõrgtaseme otsustusdiagrammidel
Jenihhin, Maksim
08.12.2008
dissertations
4.
Stateflow mudelite teisendamine Uppaal'i mudeliteks. Conversion from Stateflow to Uppaal model
Mikava, Mariam
31.05.2021
master's theses
5.
Põlevkivi kuumtöötlemise õlidele EVS-EN ISO 3104:2020 standardi kehtestamine ja täpsuskriteeriumide määramine. Enforcement of the EVS-EN ISO 3104:2020 standard for oils of oil shale thermal processing and determination of accuracy criteria
Mošnikova, Svetlana
01.06.2022
master's theses
items found: 5
1