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
Liitotsing
Valitud kirjed
0
arvutiteadus (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
113
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(113)
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
51
artikkel ajalehes
Kakskümmend aastat hiljem : [vestlus arvutisüsteemide dignostika ja verifitseerimise õppetooli professori Jaan Raikiga]
Raik, Jaan
Mente et Manu
2013
/
lk. 10-12 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
52
artikkel ajalehes
Kokelt Palmsesse - arvutiteaduse probleemid kaasas : [IV Eesti arvutiteaduse teooriapäevad 30. jaan.-1. veebr. 2004 Harjumaal Kokel ja 9. Eesti Arvutiteaduse Talvekool 29. veebr.-5. märts 2004 Palmses]
Uustalu, Tarmo
Mente et Manu
2004
/
30. märts, lk. 6 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajalehes
53
artikkel kogumikus
Kolme mehe kõnelused : [Küberneetika Instituudi teadlased Boris Tamm, Nikolai Alumäe ja Hillar Aben]
Veskimäe, Rein
;
Tamm, Boris, inform.
;
Alumäe, Nikolai
;
Aben, Hillar
Põline partituur : Eesti teadlased horisondil
2007
/
lk. 125-130 : portr
artikkel kogumikus
54
artikkel kogumikus
Kuhu lähed, automaatika? : ettekanne XXXIII automaatikapäeval 11. märtsil 1995 TTÜ aulas
Mõtus, Leo
Tallinna Tehnikaülikooli aastaraamat 1995
1996
/
lk. 129-139
artikkel kogumikus
55
artikkel kogumikus
Küberneetika Instituut Eesti arvutiteaduses : [ettekanne konverentsil "50 aastat Küberneetika Instituudi loomisest" 3. septembril 2010 Küberneetika maja saalis]
Tõugu, Enn
Tallinna Tehnikaülikooli aastaraamat 2010
2011
/
lk. 130-136
artikkel kogumikus
56
artikkel ajalehes
Küberruumi turvalisus on igaühe asi
Tõugu, Enn
Postimees
2017
/
AK, lk. 11
artikkel ajalehes
57
artikkel ajalehes
Masinad on üha targemad, mis edasi saab?
Tõugu, Enn
Postimees
2017
/
AK, lk. 10
https://teadus.postimees.ee/4005457/enn-tougu-masinad-on-uha-targemad-mis-edasi-saab
artikkel ajalehes
58
raamat
Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedings
Uustalu, Tarmo
2006
https://www.ester.ee/record=b2160527*est
raamat
59
artikkel kogumikus EST
/
artikkel kogumikus ENG
A method for adding cyberethical behaviour measurements to computer science homework assignments
Mäses, Sten
;
Aitsam, Heleri
;
Randmann, Liina
19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings
2019
/
5 p. : ill
https://doi.org/10.1145/3364510.3364529
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
60
artikkel ajakirjas
[1000000 eurot on TTÜ arvutitehnika instituudi projekti TUTORIAL kogumaksumus : lühisõnum]
Horisont
2016
/
lk. 4
artikkel ajakirjas
61
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monads need not be endofunctors
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-40
https://doi.org/10.2168/LMCS-11(1:3)2015
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
62
artikkel kogumikus EST
/
artikkel kogumikus ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
63
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
64
artikkel kogumikus EST
/
artikkel kogumikus ENG
Monoidal width : capturing rank width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Proceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 2022
2023
/
p. 268-283 : ill
https://doi.org/10.4204/EPTCS.380.16
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
65
artikkel kogumikus
Network-on-ReRAM for scalable processing-in-memory architecture design
Dabiri, Bita
;
Modarressi, Mehdi
;
Daneshtalab, Masoud
24th Euromicro Conference on Digital System Design (DSD)
2021
https://doi.org/10.1109/DSD53832.2021.00031
artikkel kogumikus
66
artikkel ajakirjas
Niccolò Veltri tarkvarateaduse instituudist sai vabariigi presidendi noore IT-teadlase preemia
Mente et Manu
2022
/
lk. 6 : fot
https://www.ester.ee/record=b1242496*est
artikkel ajakirjas
67
artikkel ajakirjas
Ontoloogia mõistest arvutiteaduses ja tarkvaratehnikas
Haav, Hele-Mai
A & A
2008
/
6, lk. 8-18
artikkel ajakirjas
68
artikkel ajalehes
Paljastus sajandi suurim tarkvaraprobleem
Piir, Rait
;
Malmberg, Kristi
;
Tammet, Tanel
Postimees
2018
/
lk. 10
TTÜ professor suurest kiibiveast: paljastus sajandi tõsiseim turvaprobleem
artikkel ajalehes
69
artikkel ajakirjas
Palmse, märts ja teoreetiline arvutiteadus
Uustalu, Tarmo
Mente et Manu
2016
/
lk. 7-9 : fot
https://artiklid.elnet.ee/record=b2758759*est
artikkel ajakirjas
70
artikkel ajalehes
Paneme masina aru andma
Uustalu, Tarmo
Postimees
2016
/
AK, lk. 9
artikkel ajalehes
71
artikkel kogumikus
Preface
Robal, Tarmo
;
Kalibatiene, Diana
;
Karnitis, Girts
;
Ivanovic, Mirjana
;
Kirikova, Marite
;
Niedrite, Laila
;
Borzovs, Juris
Joint Proceedings of Baltic DB&IS 2022 Doctoral Consortium and Forum co-located with 15th International Baltic Conference on Digital Business and Intelligent Systems (Baltic DB&IS 2022)
2022
/
p. ii
https://ceur-ws.org/Vol-3158/xpreface.pdf
artikkel kogumikus
72
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Alam, Muhammad Mahtab
;
Hämäläinen, Matti
;
Mucchi, Lorenzo
;
Niazi, Imran Khan
;
Le Moullec, Yannick
Body Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings
2020
/
p. V
https://link.springer.com/content/pdf/bfm:978-3-030-64991-3/1?pdf=chapter%20toc
https://doi.org/10.1007/978-3-030-64991-3
Conference proceeding
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
73
artikkel kogumikus EST
/
artikkel kogumikus ENG
Preface
Fischer, Bernd
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings
2018
/
p. V-VI
https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf
https://www.ester.ee/record=b5174218*est
https://doi.org/10.1007/978-3-030-02508-3
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
74
raamat
Proceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology [Online resource]
2015
http://cybercentre.cs.ttu.ee/en/icr2015/
raamat
75
raamat
Proceedings of the 2nd Interdisciplinary Cyber Research Workshop 2016 [Online resource]
2016
http://cybercentre.cs.ttu.ee/wp/wp-content/uploads/2016/03/CRW_2016_lingitud.pdf
http://www.ester.ee/record=b4579694*est
raamat
Kirjeid leitud 113, kuvan
51 - 75
eelmine
1
2
3
4
5
järgmine
märksõna
1
1.
arvutiteadus
×
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