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
programmeerimine (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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
356
Look more..
(1/7)
Export
export all inquiry results
(356)
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
Eesti robotitarkvara tekitab kogu maailmas ahhaa-elamuse
Aljas, Riin
;
Sell, Raivo
Eesti Päevaleht
2013
/
lk. 2-3
https://epl.delfi.ee/artikkel/67383412/eesti-robotitarkvara-tekitab-kogu-maailmas-ahhaa-elamuse
newspaper article
52
newspaper article
Eesti vallutavad sajad arvutiteaduse tipud
postimees.ee
2024
Eesti vallutavad sajad arvutiteaduse tipud
Tallinnas tunnustati maailma parimaid arvutiteadlasi
newspaper article
53
book
Eesti-inglise-saksa-vene infosõnastik : andmetöötlus, arvutustehnika, dokumendid, infootsing, infosüsteemid, paljundus ja trükk, programmimine, raamatukogundus = Information science and processing vocabulary : Estonian-English-German-Russian = Wörterbuch des Informationswesens : Estnisch-Englisch-Deutsch-Russisch = Словарь по информатике и обработке информации : эстонско-англо-немецко-русский
1977
http://www.ester.ee/record=b1258729*est
book
54
journal article
Ekstremaalprogrammeerimisest ehk muudatuste absolutiseerimisest : [toimetaja veerg]
Leis, Paul
A & A
2000
/
4, lk. 3
journal article
55
newspaper article
Elektroonikaettevõte premeerib kahte IT-tudengit 2500-eurose stipendiumiga [Võrguväljaanne]
goodnews.ee
2021
"Elektroonikaettevõte premeerib kahte IT-tudengit 2500-eurose stipendiumiga"
newspaper article
56
book article
ELMA as an instrumental system for building practical programming systems
Lepp, Marge
;
Vooglaid, Aare
;
Võhandu, Leo
Data processing. Compiler writing. Programming
1986
/
p. 85-91
book article
57
book article
En garde! Unguarded iteration for reversible computation in the delay monad
Kaarsgaard, Robin
;
Veltri, Niccolo
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
2019
/
p. 366-384
https://doi.org/10.1007/978-3-030-33636-3_13
book article
58
book article
Environment for distance study of embedded system programming
Ernits, Margus
;
Tammemäe, Kalle
AMIES 2008 - 7th International Conference and Workshop on Ambient Intelligence and Embedded Systems : 10 - 12 September, 2008 Kiel, Germany
2008
/
8 p. : ill
book article
59
newspaper article
Esmakordne programmeerimislaager toob kokku 50 noort [Võrguväljaanne]
saartehaal.postimees.ee
2022
Esmakordne programmeerimislaager toob kokku 50 noort
newspaper article
60
book article
Evolutsiooniline programmeerimine
Penjam, Jaan
Informaatika perspektiivsed suunad : Eesti Teaduste Akadeemia seminari materjalid : 29.11.2000
2000
/
lk. 5-9 : ill
book article
61
journal article
Exact and stable least squares solution to the linear programming problem
Übi, Evald
Central European journal of mathematics
2005
/
2, [14] p
https://eudml.org/doc/268717
journal article
62
book article
Experimenting with graded monads: certified grading-based program transformations
Talvik, Tõnn
;
Uustalu, Tarmo
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
2018
/
p. 82-83
https://types2018.projj.eu/book-of-abstracts/
book article
63
journal article EST
/
journal article ENG
FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platforms
Loni, Mohammad
;
Zoljodi, Ali
;
Majd, Amin
;
Ahn, Byung Hoon
;
Daneshtalab, Masoud
;
Sjödin, Mikael
;
Esmaeilzadeh, Hadi
IEEE Transactions on Systems, Man, and Cybernetics : Systems
2022
/
p. 5222-5234 : ill
https://doi.org/10.1109/TSMC.2021.3123136
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
64
book article
Force-based feedback for haptic device of mobile assembly robot
Lukin, Aleksandr
;
Demidova, Galina
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Roozbahani, Hamid
2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 2020
2020
/
5 p. : ill
https://doi.org/10.1109/IWED48848.2020.9069581
book article
65
journal article
Foreword
Vain, Jüri
;
Uustalu, Tarmo
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics
2003
/
4, p. 334
https://artiklid.elnet.ee/record=b1014450*est
journal article
66
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
book article
67
journal article EST
/
journal article ENG
Formalizing restriction categories
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of formalized reasoning
2017
/
p. 1-36
https://doi.org/10.6092/issn.1972-5787/6237
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
68
book
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
Vain, Jüri
;
Uustalu, Tarmo
2002
https://www.ester.ee/record=b1710210*est
book
69
book article
From design formulas to parallel implementations
Kääramees, Marko
;
Hansen, M.
Selected Papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 1997
1997
/
p. 129-136
book article
70
book article
A game programming course
Henno, Jaak
;
Jaakkola, Hannu
;
Linna, Petri
MIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings
2011
/
p. 1156-1159 : ill
book article
71
book article
Game programming course - creative design and development
Henno, Jaak
;
Jaakkola, Hannu
MIPRO 2008 : 31th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 26-30, Opatija, Croatia : proceedings. IV
2008
/
p. 86-88
https://www.researchgate.net/publication/26584724_Game_Programming_Course_-_Creative_Design_and_Development
book article
72
journal article
Game programming course - creative design and development
Henno, Jaak
;
Jaakkola, Hannu
International journal of emerging technologies in learning (iJET)
2008
/
MIPRO2008, p. 14-17
journal article
73
book
Game programming coursebook
Henno, Jaak
2011
http://www.ester.ee/record=b2777189*est
book
74
book article
Generating directed tests for C programs using RTL ATPG
Raik, Jaan
;
Drenkhan, Tiia
;
Jenihhin, Maksim
;
Viilukas, Taavi
;
Karputkin, Anton
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings of the IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)
2012
/
p. 1-6
book article
75
book article
Generating situation awareness in cyber-physical systems : creation and exchange of situational information
Preden, Jürgo-Sören
CODES '14 : proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis
2014
/
[3] p. : ill
book article
Number of records 356, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
9
10
next
subject term
7
1.
aspektorienteeritud programmeerimine
2.
geneetiline programmeerimine
3.
heuristiline programmeerimine
4.
loogiline programmeerimine
5.
objektorienteeritud programmeerimine
6.
programmeerimine
7.
üldistav programmeerimine
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT