Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
arvutiteadus (subject term)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
102
Look more..
(1/1)
Export
export all inquiry results
(102)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
51
book article EST
/
book article 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
book article EST
/
book article ENG
52
journal article
[1000000 eurot on TTÜ arvutitehnika instituudi projekti TUTORIAL kogumaksumus : lühisõnum]
Horisont
2016
/
lk. 4
journal article
53
journal article
Monads need not be endofunctors
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-40
http://dx.doi.org/10.2168/LMCS-11(1:3)2015
journal article
54
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
55
journal article
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 article
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
56
book article
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.48550/arXiv.2205.08916
book article
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
57
book article
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
book article
58
journal article
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
journal article
59
journal article
Ontoloogia mõistest arvutiteaduses ja tarkvaratehnikas
Haav, Hele-Mai
A & A
2008
/
6, lk. 8-18
journal article
60
newspaper article
Paljastus sajandi suurim tarkvaraprobleem
Piir, Rait
;
Malmberg, Kristi
;
Tammet, Tanel
Postimees
2018
/
lk. 10
TTÜ professor suurest kiibiveast: paljastus sajandi tõsiseim turvaprobleem
newspaper article
61
journal article
Palmse, märts ja teoreetiline arvutiteadus
Uustalu, Tarmo
Mente et Manu
2016
/
lk. 7-9 : fot
journal article
62
newspaper article
Paneme masina aru andma
Uustalu, Tarmo
Postimees
2016
/
AK, lk. 9
newspaper article
63
book article EST
/
book article 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
book article EST
/
book article ENG
64
book article EST
/
book article 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
book article EST
/
book article ENG
65
book article
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
book article
66
book
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/
book
67
book
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
book
68
book
Proceedings of the 3rd Interdisciplinary Cyber Research Workshop 2017 : 8th of July 2017 [Online resource]
2017
http://www.ester.ee/record=b4684355*est
https://www.ttu.ee/public/k/kyberkriminalistika_ja_kyberjulgeoleku_keskus/crw2017_final.pdf
book
69
book
Proceedings of the 4th Interdisciplinary Cyber Research Workshop 2018 : 9th of June 2018 [Online resource]
2018
https://www.ttu.ee/public/k/kyberkriminalistika_ja_kyberjulgeoleku_keskus/CRW_2018_lingitud.pdf
https://www.ester.ee/record=b5139478*est
book
70
journal article EST
/
journal article ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Mathematical structures in computer science
2019
/
p. 67-92
https://doi.org/10.1017/s0960129517000184
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
71
book article
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts
2015
/
p. 38-39
book article
72
newspaper article
Rahvusvaheline Eesti arvutiteadus : [arvutiteaduse teooriapäevadest. Bergeni professori loengukursusest. Arvutiteaduse talvekoolist. Tulevatest suvesündmustest]
Uustalu, Tarmo
Mente et Manu
2005
/
6. apr., lk. 9, 10 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
73
book
Research Laboratory for Proactive Technologies : Department of Computer Control, Tallinn University of Technology : annual report 2009
2010
https://www.ester.ee/record=b2487393*est
book
74
journal article
Research projects concerning information technology and computer science in Estonia in 1996
Tamm, Boris, inform.
Baltic IT review
1996
/
3, p. 59-61
journal article
75
newspaper article
Seitse aastat soosingut
Uustalu, Tarmo
Mente et Manu
2015
/
lk. 9-11 : fot
newspaper article
Number of records 102, displaying
51 - 75
previous
1
2
3
4
5
next
subject term
1
1.
arvutiteadus
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT