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
26
journal article
Dmitri Vinnikov valiti tehnika- ja arvutiteaduste akadeemikuks
Mente et Manu
2021
/
lk. 7
https://www.ester.ee/record=b1242496*est
journal article
27
journal article
Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]
Uustalu, Tarmo
IT ja Side
2005
/
6, lk. 15
journal article
28
book
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
2006
https://www.ester.ee/record=b2123434*est
book
29
book
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
2012
https://www.ester.ee/record=b2769329*est
book
30
newspaper article
Esimene arvutiteaduse teooriapäev
Uustalu, Tarmo
Universitas Tartuensis
2002
/
8. nov., lk. 2
newspaper article
31
book
Evaluation of research in ICT in Estonia 2009-2014
2015
book
32
book article EST
/
book article ENG
From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applications
Draheim, Dirk
;
Tammet, Tanel
Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I
2020
/
p. 3-19
https://doi.org/10.1007/978-3-030-59003-1_1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
33
book article EST
/
book article ENG
Functorial language games for question answering
Felice, Giovanni de
;
Di Lavore, Elena
;
Roman Garcia, Mario
;
Toumi, Alexis
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 311–321
https://doi.org/10.4204/EPTCS.333.21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
34
book article EST
/
book article ENG
GKC: A reasoning system for large knowledge bases
Tammet, Tanel
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
2019
/
p. 538-549
https://doi.org/10.1007/978-3-030-29436-6_32
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
35
book article
HDL-s for students with different background
Reinsalu, Uljana
;
Arhipov, Anton
;
Evartson, Teet
;
Ellervee, Peeter
Proceedings MSE 2007 : 2007 IEEE International Conference on Microelectronic Systems Education : 3-4 June 2007, San Diego, CA
2007
/
p. 69-70
https://ieeexplore.ieee.org/document/4231454
book article
36
journal article
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
http://dx.doi.org/10.2168/LMCS-11(1:1)2015
journal article
37
journal article
Holistic web-based Virtual Micro Controller Framework for research and education
Seiler, Sven
;
Sell, Raivo
;
Ptasik, Dennis
;
Bölter, Martin
International journal of online engineering
2012
/
p. 58-64
https://online-journals.org/index.php/i-joe/article/view/2169
journal article
38
book article
Individual learning approach in the basic course of computer science
Mironova, Olga
;
Amitan, Irina
;
Vendelin, Jelena
;
Saar, Merike
Advances in education research
2013
/
p. 40-45
book article
39
book
Informaatikainstituut
Jürgenson, Rein, inform
2012
http://www.ester.ee/record=b2896275*est
book
40
book article
Introductory remarks [Online resource]
Osula, Anna-Maria
;
Maennel, Olaf Manuel
Proceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology
2015
/
p. 5
http://cybercentre.cs.ttu.ee/en/icr2015/
book article
41
book
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
https://ceur-ws.org/Vol-3158/
book
42
newspaper article
[20. oktoobril esines TTÜ Küberneetika Instituudis arvutiteaduse seminaril instituudi vanemteadur Wolfgang Jeltsch : foto allkirjaga]
Mente et Manu
2011
/
lk. 1 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
43
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
44
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
45
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
46
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
47
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
48
newspaper article
Küberruumi turvalisus on igaühe asi
Tõugu, Enn
Postimees
2017
/
AK, lk. 11
newspaper article
49
newspaper article
Masinad on üha targemad, mis edasi saab?
Tõugu, Enn
Postimees
2017
/
AK, lk. 10
newspaper article
50
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
Number of records 102, displaying
26 - 50
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