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
tehingutöötlus (inform.) (märksõ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
Leitud autorid
Jürgenson, Rein, inform
autor
Jürgenson, Rein, inform.
autor
juhendaja
koostaja
toimetaja
Jürgenson, Rein, inform. ; [vastutav toimetaja T. Lüll]
autor
Kuusik, Rein, inform.
autor
juhendaja
Tamm, Boris, inform.
autor
juhendaja
toimetaja
Näita kõiki (+0)
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
2
Vaata veel..
(6/29)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Formal-verification of smart-contract languages : a survey
Dwivedi, Vimal Kumar
;
Deval, Vipin
;
Dixit, Abhishek
;
Norta, Alexander
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
2019
/
p. 738-747
http://doi.org/10.1007/978-981-13-9942-8_68
artikkel kogumikus
2
artikkel ajakirjas
Perceptions on self-regulation and transaction friendliness relevant to smart contracting
Solarte Vasquez, Maria Claudia
;
Rungi, Mait
;
Nyman-Metcalf, Katrin Merike
International journal of law and management
2019
/
p. 286-308
https://doi.org/10.1108/IJLMA-03-2018-0061
artikkel ajakirjas
Kirjeid leitud 2, kuvan
1 - 2
märksõna
16
1.
arhetüübid (inform.)
2.
formaalsed meetodid (inform.)
3.
hiired (inform.)
4.
jõudlus (inform.)
5.
konverteerimine (inform.)
6.
lähtekood (inform.)
7.
mälu (inform.)
8.
ontoloogiad (inform.)
9.
platvormid (inform.)
10.
silumine (inform.)
11.
skriptid (inform.)
12.
sortimine (inform.)
13.
süvaõpe (inform.)
14.
teegid (inform.)
15.
tehingutöötlus (inform.)
16.
tulemüürid (inform.)
autor
5
1.
Jürgenson, Rein, inform
2.
Jürgenson, Rein, inform.
3.
Jürgenson, Rein, inform. ; [vastutav toimetaja T. Lüll]
4.
Kuusik, Rein, inform.
5.
Tamm, Boris, inform.
juhendaja
3
1.
Jürgenson, Rein, inform.
2.
Kuusik, Rein, inform.
3.
Tamm, Boris, inform.
tema kohta
3
1.
Jürgenson, Rein, inform.
2.
Kuusik, Rein, inform., 1954-
3.
Tamm, Boris, inform.
TTÜ märksõna
1
1.
Kuusik, Rein, inform., 1954-
pealkiri
1
1.
Modern pollen–plant diversity relationships inform palaeoecological reconstructions of functional and phylogenetic diversity in calcareous fens