Otsing - TalTech Publikatsioonid

kuva

reasta

1

artikkel ajakirjas

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

artikkel ajakirjas

2

artikkel ajakirjas

Adoption is not enough: Institutionalization of e-participation initiativesRandma-Liiv, TiinaPublic policy and administration2022 / p. ? https://doi.org/10.1177%2F09520767211069199

artikkel ajakirjas

3

artikkel ajakirjas

Deriving and formalizing requirements of decentralized applications for inter-organizational collaborations on blockchainUdokwu, Chibuzor; Norta, AlexanderArabian journal for science and engineering2021 / p. 8397−8414 https://doi.org/10.1007/s13369-020-05245-4

artikkel ajakirjas

4

artikkel ajakirjas

Is Euler's circle a symbol or an icon?Moktefi, AmiroucheSign systems studies = Töid märgisüsteemide alalt = Труды по знаковым системам2015 / p. 597-615 : ill http://dx.doi.org/10.12697/SSS.2015.43.4.14 http://www.ester.ee/record=b1331700*est

artikkel ajakirjas