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
program transformation and refinement - keyword
find full texts
Apply
items found: 3
1.
31
st
Nordic Workshop on Programming Theory NWPT 2019 : Tallinn, Estonia, 13-15 November 2019 : Abstracts
2019
conference proceedings
2.
20
th
Nordic Workshop on Programming Theory NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : Abstracts
2008
conference proceedings
3.
25
th
Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : Abstracts
2013
conference proceedings
items found: 3
1