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
Advanced search
My bookmarks
0
arvutiteadus (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
113
Look more..
(1/1)
Export
export all inquiry results
(113)
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
newspaper article
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
newspaper article
52
newspaper article
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
newspaper article
53
book article
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
book article
54
book article
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
book article
55
book article
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
book article
56
newspaper article
Küberruumi turvalisus on igaühe asi
Tõugu, Enn
Postimees
2017
/
AK, lk. 11
newspaper article
57
newspaper article
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
newspaper article
58
book
Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedings
Uustalu, Tarmo
2006
https://www.ester.ee/record=b2160527*est
book
59
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
60
journal article
[1000000 eurot on TTÜ arvutitehnika instituudi projekti TUTORIAL kogumaksumus : lühisõnum]
Horisont
2016
/
lk. 4
journal article
61
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
62
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
63
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
64
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
65
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
66
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
67
journal article
Ontoloogia mõistest arvutiteaduses ja tarkvaratehnikas
Haav, Hele-Mai
A & A
2008
/
6, lk. 8-18
journal article
68
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
69
journal article
Palmse, märts ja teoreetiline arvutiteadus
Uustalu, Tarmo
Mente et Manu
2016
/
lk. 7-9 : fot
https://artiklid.elnet.ee/record=b2758759*est
journal article
70
newspaper article
Paneme masina aru andma
Uustalu, Tarmo
Postimees
2016
/
AK, lk. 9
newspaper article
71
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
72
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
73
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
74
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
75
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
Number of records 113, 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