Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
formalization (võtmesõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
4
Vaata veel..
(2/3)
Ekspordi
ekspordi kõik päringu tulemused
(4)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
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 initiatives
Randma-Liiv, Tiina
Public policy and administration
2022
/
p. ?
https://doi.org/10.1177%2F09520767211069199
artikkel ajakirjas
3
artikkel ajakirjas
Deriving and formalizing requirements of decentralized applications for inter-organizational collaborations on blockchain
Udokwu, Chibuzor
;
Norta, Alexander
Arabian journal for science and engineering
2021
/
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, Amirouche
Sign 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
Kirjeid leitud 4, kuvan
1 - 4
pealkiri
2
1.
Formalization of finite state machines with data path for the verification of high-level synthesis
2.
Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
võtmesõna
1
1.
formalization