Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
EUTYPES-TYPES 2020 : Abstracts (allikas)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(5/93)
Ekspordi
ekspordi kõik päringu tulemused
(3)
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 kogumikus
Calling paradigms and the box calculus
Santo, Jose Espırito
;
Pinto, Luis
;
Uustalu, Tarmo
EUTYPES-TYPES 2020 : Abstracts
2020
/
2 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
artikkel kogumikus
2
artikkel kogumikus
Formalizingπ-calculus in guarded cubical agda
Veltri, Niccolo
;
Vezzosi, Andrea
EUTYPES-TYPES 2020 : Abstracts
2020
/
3 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
artikkel kogumikus
3
artikkel kogumikus
A type-theoretic potpourri: towards final coalgebrasof accessible functors
Basold, Henning
;
Veltri, Niccolo
EUTYPES-TYPES 2020 : Abstracts
2020
/
3 p
https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf
artikkel kogumikus
Kirjeid leitud 3, kuvan
1 - 3
CV
36
1.
Ainola, Leo 1929-2020
2.
Allekand, Alfred 1928-2020
3.
Anvelt, Juhan 1956-2020
4.
Einväli, Eevi 1935-2020
5.
Hendre, Enn 1938-2020
6.
Jaaniso, Malle 1933-2020
7.
Just, Elmar-Jaan 1941-2020
8.
Kaas, Ahto 1957-2020
9.
Karro, Hans 1923-2020
10.
Kodurand, Mart 1958-2020
11.
Kulbach, Valdek 1927-2020
12.
Kõiv, Ants-Kaspar 1935-2020
13.
Külm, Evald 1934-2020
14.
Lond, Heldur 1928-2020
15.
Luvištšuk, Juzef 1943-2020
16.
Maantoa, Tiiu 1937-2020
17.
Minn, Mari 1982-2020
18.
Nüssik, Jaan 1931-2020
19.
Otsepp, Rein 1935-2020
20.
Parve, Toomas 1949-2020
21.
Põldme, Meeme 1939-2020
22.
Randmann, Rein 1937-2020
23.
Reiska, Rein 1939-2020
24.
Rusalep, Ervin 1934-2020
25.
Soomaa, Heino 1928-2020
26.
Stepanišin, Vladimir 1946-2020
27.
Suislepp, Ethe 1920-2020
28.
Tauts, Olev 1941-2020
29.
Traks, Kuno 1947-2020
30.
Truve, Erkki 1965-2020
31.
Tõugu, Enn 1935-2020
32.
Ummelas, Mart 1953-2020
33.
Uudelepp, Agu 1974-2020
34.
Uus, Endel 1927-2020
35.
Uutma, Toomas 1945-2020
36.
Vabaoja, Jüri 1936-2020
võtmesõna
25
1.
armchair and zigzag types
2.
coinductive types
3.
data types
4.
dolomite types
5.
higher inductive types
6.
innovation types
7.
modal types
8.
multiple stressor effect types
9.
pavement types
10.
projection types
11.
shore types
12.
types
13.
types of measuring instruments
14.
types of oil shale ash
15.
wave types
16.
EU 2020
17.
EU Horizon 2020 research project GRACE (Integrated oil spill response actions and environmental effects)
18.
EU post-2020 biodiversity strategy
19.
Global Sulphur Cap 2020
20.
Horizon 2020
21.
human resource and Strategy Europe 2020
22.
Sohjoa Baltic project (2017-2020)
23.
strategy Europe 2020
24.
2020 Global sulphur cap
25.
(Mining and Metallurgy Regions of EU, 2018-2020) MIREU
märksõna
19
1.
Aasta Insener, konkurss (2020)
2.
Aasta Kultuuri Tegu, 2020
3.
Aasta tehasemaja, konkurss (2020)
4.
Aasta tehnikaüliõpilane, konkurss (2020)
5.
Balti raamatukoguhoidjate kongress (11 : 2020 : Tallinn)
6.
EXPO 2020 (Dubai)
7.
Horizon 2020, Euroopa Liidu teadusuuringute ja innovatsiooni raamprogramm
8.
Mina, superorganism : lugu bakterite ja inimese kooselust, näitus Eesti Tervishoiu Muuseumis (2019-2020) : Tallinn
9.
Netexplo Smart Cities, 2020
10.
Raamatukogupäevad (2020)
11.
Scripta manent, rahvusvaheline köitekunstinäitus (6:2020:Tallinn)
12.
TalTech majandusvõistlus, 2020 veebruar
13.
Teadlaste Öö (2020)
14.
Teadus- ja erialaraamatukogu päev (13 : 2020 : Tartu)
15.
Võti Tulevikku, karjäärimess (2020 : Tallinn)
16.
2017-2020
17.
2019-2020
18.
2020
19.
2020-ndad
tema kohta
11
1.
Ainola, Leo, 1929-2020
2.
Just, Elmar-Jaan, 1941-2020
3.
Koppel, Ilmar, 1940-2020
4.
Koralek, Paul, 1933-2020
5.
Kulbach, Valdek, 1927-2020
6.
Reiska, Rein, 1939-2020
7.
Sarnet, Tõivo, 1944-2020
8.
Truve, Erkki, 1965-2020
9.
Tõugu, Enn, 1935-2020
10.
Ummelas, Mart, 1953-2020
11.
Uudelepp, Agu, 1974-2020
TTÜ märksõna
2
1.
Horisont 2020 Twinning
2.
KüberPähkel (2020)
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT