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
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
314
Look more..
(1/5)
Export
export all inquiry results
(314)
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
226
book
2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings
Uustalu, Tarmo
;
Saabas, Ando
2004
https://www.ester.ee/record=b1893488*est
book
227
book
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]
2019
https://doi.org/10.23658/taltech.nwpt/2019
https://www.ester.ee/record=b5292609*est
book
228
book
25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]
2013
https://www.ester.ee/record=b3039924*est
book
229
journal article EST
/
journal article ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
230
book article EST
/
book article ENG
Towards an architecture for e-learning infrastructures on a national level : a case study of AfgREN
Saay, Mohammad Salim
;
Norta, Alexander
;
Laanpere, Mart
Current Developments in Web Based Learning : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015 : revised selected papers
2016
/
p. 98-107 : ill
https://doi.org/10.1007/978-3-319-32865-2_11
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
231
book
Transactions of the Faculty of Economics
Amitan, Irina
;
Tamm, Boris, inform.
;
Tõugu, Enn
;
Võhandu, Leo
;
Tepandi, Jaak
;
Luczkowski, Teodor
;
Õunapuu, Enn
;
Henno, Jaak
;
Liib, Donald
;
Lepp, Marge
;
Vooglaid, Aare
;
Võhandu, Priit
;
Laast-Laas, Jüri
;
Renzer, Aare
1986
https://www.ester.ee/record=b1275336*est
book
232
book
Transactions of the Faculty of Economics
Amitan, Irina
;
Võhandu, Leo
;
Tepandi, Jaak
;
Trausan-Matu, S.
;
Parmakson, Priit
;
Henno, Jaak
;
Õunapuu, Enn
;
Kuusik, Rein, inform.
;
Võhandu, Priit
;
Regi, Kai
;
Lumberg, Tõnu
;
Elmik, Lea
;
Vapper, Tiit
;
Roost, Mart
1989
https://www.ester.ee/record=b1211387*est
book
233
book
Transactions of the Faculty of Economics
Amitan, Irina
1991
book
234
book article
Translaator keelest WANG 2200 Beisik keelde PL/I-DOS
Paluoja, R.
;
Vooglaid, Aare
XXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid
1977
/
lk. 146-147
https://www.ester.ee/record=b2449987*est
book article
235
journal article
Truth valued computing processes and process calculus: a formalism for describing programming logic
Kracht, Wilhelm
Tallinna Tehnikaülikooli Toimetised
1990
/
lk. 55-94: ill
journal article
236
journal article
TTÜ dotsendi juhtimisel tuli Eestisse Euroopa suurandmete võistluse III koht
Mente et Manu
2017
/
lk. 6 : fot
https://www.ttu.ee/public/m/mente-et-manu/MM_03_2017/mobile/index.html#p=1
https://artiklid.elnet.ee/record=b2820623*est
journal article
237
book
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
Uustalu, Tarmo
;
Vain, Jüri
;
Ernits, Juhan-Peep
2008
https://www.ester.ee/record=b2435749*est
book
238
journal article
Tõeline Programmeerija ei kasuta Pascalit
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1991
/
4, lk. 41-43
journal article
239
journal article
Understanding Java Card 2.0
Giorgio, Rinaldo Di
;
Chen, Zhiqun
A & A
1998
/
3, lk. 26-36: ill
journal article
240
journal article
Using SAT-based techniques in low power state assignment
Sagahyroon, Assim
;
Aloul, Fadi
;
Sudnitsõn, Aleksander
Journal of circuits, systems, and computers
2011
/
p. 1605-1618 : ill
https://www.worldscientific.com/doi/10.1142/S0218126611007980
journal article
241
book article
Using satisfiability modulo theories to analyse model programs
Veanes, Margus
;
Saabas, Ando
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja
2008
/
p. 149-150
book article
242
journal article
Uue põlvkonna vahendid programmeerimise õppimiseks
Allik, Kaarel
;
Amitan, Irina
;
Antoi, Kersti
;
Übi, Jaan
;
Vilipõld, Jüri
A & A
2011
/
1, lk. 41-49 : ill
journal article
243
newspaper article
Uus magistrikava avab lõpetajatele uksed nutikasse maailma tarkadest majadest rohepöördeni
postimees.ee
2023
Uus magistrikava avab lõpetajatele uksed nutikasse maailma tarkadest majadest rohepöördeni
TalTech avab elektroonikainseneridele suunatud magistrikava
newspaper article
244
book article EST
/
book article ENG
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
245
book article EST
/
book article ENG
VEDA - moVE DAta to balance the grid : research directions and recommendations for exploiting data centers flexibility within the power system
Ziagham Ahwazi, Amin
;
Bordin, Chiara
;
Mishra, Sambeet
;
Ha, Phuong H.
;
Horsch, Alexander
ICSCC '21: Proceedings of the 2021 6th International Conference on Systems, Control and Communications
2021
/
p. 13-18
https://doi.org/10.1145/3510362.3510365
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
246
journal article
Visual Basic ja Excel
Luczkowski, Teodor
Arvutikasutaja
2005
/
6, lk. 17-18
https://artiklid.elnet.ee/record=b1050389*est
journal article
247
journal article
Õpime progammeerima!
Võhandu, Leo
Horisont
1969
/
lk. 65-69 : ill. ; 2, lk. 61-64 ; 3, lk. 63-67 ; 4, lk. 61-65 ; 5, lk. 72-74 ; 6, lk. 64-67
https://www.ester.ee/record=b1072243*est
https://www.digar.ee/arhiiv/et/perioodika/69603
https://www.digar.ee/arhiiv/et/perioodika/69607
https://www.digar.ee/arhiiv/et/perioodika/69613
https://www.digar.ee/arhiiv/et/perioodika/69610
https://www.digar.ee/arhiiv/et/perioodika/69605
https://www.digar.ee/arhiiv/et/perioodika/69609
journal article
248
newspaper article
Ööpäev programmeerimist : [TTÜ tudengid osalesid esmakordselt ülemaailmsel programmeerimisvõistlusel IEEEXtreme]
Jänes, Urmet
Mente et Manu
2011
/
lk. 1 : fot
https://www.ester.ee/record=b1242496*est
newspaper article
249
journal article
Абстрактные атрибутные грамматики
Vooglaid, Aare
;
Meriste, Merik
Программирование
1982
/
с. 17-27
https://www.ester.ee/record=b2150732*est
journal article
250
journal article
Автоматизация программирования механообработки
Tamm, Boris, inform.
Технология и организация авиационного производства : производственно-технический сборник
1962
/
с. 24-33 : ил
journal article
Number of records 314, displaying
226 - 250
previous
4
5
6
7
8
9
10
11
12
13
next
subject term
5
1.
aspektorienteeritud programmeerimine
2.
geneetiline programmeerimine
3.
loogiline programmeerimine
4.
objektorienteeritud programmeerimine
5.
programmeerimine
×
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