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
programmeerimiskeeled (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
2025
+2
2024
+9
2023
+2
2022
+6
2021
+4
AND
OR
NOT
Limit
Look more
author
Jürgenson, Rein, inform.
38
Uustalu, Tarmo
27
Luczkowski, Teodor
17
Võhandu, Leo
17
Henno, Jaak
8
AND
OR
NOT
Limit
Look more
TalTech department
tarkvarateaduse instituut
37
infotöötluse kateeder
29
informatsioonitöötlemise kateeder
22
TTÜ Küberneetika Instituut
11
informaatikainstituut
10
AND
OR
NOT
Limit
Look more
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
231
Look more..
(1/1)
Export
export all inquiry results
(231)
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
126
book
Programmeerimiskeel Pascal : õppevahend
Jürgenson, Rein, inform.
1982
https://www.ester.ee/record=b1273583*est
book
127
book
Programmeerimiskeel PL/1 : loengukonspekt
Jürgenson, Rein, inform.
1975
https://www.ester.ee/record=b1314684*est
book
128
book article
Programmeerimiskeel Turbo Pascal : objektitehnika
Jürgenson, Rein, inform.
Turbo Pascal & C++ : objektitehnika
1994
/
lk. 3-119
book article
129
book article
Programmeerimiskeele RPG oskussõnad
Auendorf, K.
;
Viisileht, A.
;
Saks, Lukreetsia
XXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid
1977
/
lk. 148-149
https://www.ester.ee/record=b2449987*est
book article
130
book
Programmeerimiskeeled
Isotamm, Ain
;
Vene, Varmo
2007
https://www.ester.ee/record=b2239351*est
book
131
book
Programmeerimiskeeled C ja C++
Luczkowski, Teodor
2013
http://www.ester.ee/record=b2925976*est
book
132
book
Programmeerimiskeskkond Visual Basic 2005
Luczkowski, Teodor
2006
http://www.ester.ee/record=b2192516*est
book
133
book article
Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2005
2006
/
lk. 391-393
book article
134
book
Programming language implementation and logic programming : 5th Intern. Symposium PLILP '93, Tallinn, August 25-27, 1993 : proceedings
Bruynooghe, Maurice
;
Penjam, Jaan
1993
https://www.ester.ee/record=b1036491*est
book
135
book
Prolog ja Olümpose jumalad
Henno, Jaak
2004
https://www.ester.ee/record=b1980187*est
book
136
journal article
Prolog ja Olümpose jumalad
Henno, Jaak
Arvutustehnika ja Andmetöötlus
1988
/
lk. [5]-12 : ill
https://www.ester.ee/record=b1071940*est
journal article
137
book
Prolog ja Olympoksen jumalat
Henno, Jaak
1992
https://www.ester.ee/record=b1019003*est
book
138
book article EST
/
book article ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolò
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015
/
p. 110 - 125
https://doi.org/10.1007/978-3-319-25150-9_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
139
journal article EST
/
journal article ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Theoretical Computer Science
2022
/
p. 33-45
https://doi.org/10.1016/j.tcs.2022.02.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
140
book
Rakenduste loomise ja programmeerimise alused : valikkursus gümnaasiumitele : õpik [E-raamat]
Vilipõld, Jüri
;
Antoi, Kersti
;
Amitan, Irina
2013
http://rlpa.ttu.ee/RLPA_opik.pdf
book
141
book article
Reasoning about correctness of transactional memory with operational semantics
Saar, Andri
;
Uustalu, Tarmo
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
2010
/
lk. 145-148
book article
142
book article
Reflective constraint writing : a symbolic viewpoint of modeling languages
Draheim, Dirk
Transactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications
2016
/
p. 1-60 : ill
http://dx.doi.org/10.1007/978-3-662-49214-7_1
book article
143
journal article EST
/
journal article ENG
Relative monads formalised
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Journal of formalized reasoning
2014
/
p. 1-43
https://doi.org/10.6092/issn.1972-5787/4389
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
144
journal article EST
/
journal article ENG
Securing class initialization in Java-like languages
Rafnsson, Willard
;
Nakata, Keiko
;
Sabelfeld, Andrei
IEEE transactions on dependable and secure computing
2013
/
p. 1-13
https://doi.org/10.1109/TDSC.2012.73
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
145
journal article EST
/
journal article ENG
Semi-automated integration of domain ontologies to DSL meta-models
Haav, Hele-Mai
;
Ojamaa, Andres
International journal of intelligent information and database systems
2017
/
p. 94-116 :ill
https://doi.org/10.1504/IJIIDS.2017.086198
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
146
book article
Signals and comonads
Uustalu, Tarmo
;
Vene, Varmo
Proceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 2005
2005
/
p. 215-228
book article
147
journal article EST
/
journal article ENG
Simple analysis of gel images with IOCBIO gel software
Jaska, Lucia
;
Birkedal, Rikke
;
Laasmaa, Martin
;
Vendelin, Marko
Bio-protocol
2024
/
art. e5053, 12 p
https://doi.org/10.21769/BioProtoc.5053
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
148
book article
Simulation of logic-informational processes by means of problems-oriented computer languages
Tamm, Boris, inform.
5e congrès international de cybernétique : Namur, 11-15 Septembre 1967 : extrait = 5th International Congress on Cybernetics : Namur, September 11-15th 1967 : extract
1968
/
p. 51-61 : ill
book article
149
book article
Simulation-based equivalence checking between IEEE 1687 ICL and RTL
Damljanovic, Aleksa
;
Jutman, Artur
;
Portolan, Michele
;
Tšertov, Anton
2019 IEEE International Test Conference (ITC)
2019
/
paper. 7.3, 8 p. : ill
https://doi.org/10.1109/ITC44170.2019.9000181
book article
150
book
Sisend-väljund keeles PL/1 : loengukonspekt
Jürgenson, Rein, inform.
1975
https://www.ester.ee/record=b1307642*est
book
Number of records 231, displaying
126 - 150
previous
1
2
3
4
5
6
7
8
9
10
next
subject term
1
1.
programmeerimiskeeled
×
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