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
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
201
Look more..
(1/1)
Export
export all inquiry results
(201)
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
1
book article
A textual domain specific language for user interface modelling
Karu, Mart
Emerging trends in computing, informatics, systems sciences, and engineering
2013
/
p. 985-996
book article
2
book article
A tool-supported approach for introducing aspects in UPPAAL timed automata
Truscan, Dragos
;
Vain, Jüri
;
Koskinen, Martin
;
Iqbal, Junaid
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
2015
/
p. 349-364
https://doi.org/10.1007/978-3-319-25579-8_20
book article
3
dissertation
Abstraktsioon programmeerimisel : väitekiri ... tehnikamagistri kraadi taotlemiseks
Petuhhov, Inga
1997
http://www.ester.ee/record=b2687130*est
dissertation
4
book
Abstraktsioon programmeerimisel : õpik
Jürgenson, Rein, inform.
;
Petuhhov, Inga
1997
https://www.ester.ee/record=b1053781*est
book
5
book article
Acyclic attribute evaluation in a dependently typed setting
Firsov, Denis
;
Uustalu, Tarmo
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
2016
/
p. 124-126 : ill
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
book article
6
book
Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lectures
Vene, Varmo
;
Uustalu, Tarmo
2005
https://www.ester.ee/record=b2083926*est
book
7
book
ALGAMS arvutile "Minsk-32" : õppeabimaterjal
Jürgenson, Rein, inform.
;
Lume, Tõnu
;
Prisk, Leo
1974
https://www.ester.ee/record=b1299966*est
book
8
newspaper article
Alustab arvutiteaduse tippkeskus
Uustalu, Tarmo
Postimees
2008
/
19. aug., Koolituse Extra, lk. 10
https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus
newspaper article
9
book article
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
book article
10
journal article
Arvutamine on loodusteadus : vastab Tarmo Uustalu
Uustalu, Tarmo
Horisont
2006
/
lk. 15-17 : portr
https://artiklid.elnet.ee/record=b2039570*est
journal article
11
book
Arvuti ja keeled
Henno, Jaak
2006
http://www.ester.ee/record=b2158058*est
book
12
book
Arvutigraafika BASIC-keeltes : metoodiline materjal
1991
https://www.ester.ee/record=b1253551*est
book
13
book
Arvutigraafika BASIC-keeltes : metoodiline materjal
1988
https://www.ester.ee/record=b1225426*est
book
14
book article EST
/
book article ENG
Auto-generation of smart contracts from a domain-specific XML-based language
Dwivedi, Vimal Kumar
;
Norta, Alexander
Intelligent Data Engineering and Analytics
2022
/
p. 549-564
https://doi.org/10.1007/978-981-16-6624-7_54
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
15
journal article
Automated design error debug using high-level decision diagrams and mutation operators
Raik, Jaan
;
Repinski, Urmas
;
Tšepurov, Anton
;
Hantson, Hanno
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
Microprocessors and microsystems
2013
/
p. 505-513 : ill
journal article
16
book
Baasteadmised programmeerimiskeelest C++
Luczkowski, Teodor
2004
https://www.ester.ee/record=b1978669*est
book
17
book
BASIC-arvutigraafika : abimaterjal informaatika õppijatele ja õpetajatele
Renzer, Aare
1988
https://www.ester.ee/record=b1233694*est
book
18
book
BASIC-keele lühikursus : õppeabimaterjal
1986
https://www.ester.ee/record=b1158971*est
book
19
journal article
Borland C++ 2.0
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1992
/
3, lk. 42-45
journal article
20
journal article
Borland C++2.0
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1991
/
12, lisalehtedel
journal article
21
dissertation
Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
2016
http://digi.lib.ttu.ee/i/?6213
dissertation
22
journal article
Certified CYK parsing of context-free languages
Firsov, Denis
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2014
/
p. 459-468
journal article
23
book article EST
/
book article ENG
Certified Foata normalization for generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
2018
/
p. 299-314
https://doi.org/10.1007/978-3-319-77935-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
24
book article
Circumstances which should be taken into account
Vilu, Raivo
GIS-Baltic Sea States '95 : exhibition, conference - Tallinn, Estonia, 13-15 December, 1995 : abstracts, catalogue
1995
/
p. 52
book article
25
journal article
C-keele ohud
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1991
/
12, lk. 8-13
journal article
Number of records 201, displaying
1 - 25
previous
1
2
3
4
5
6
7
8
9
next
subject term
1
1.
programmeerimiskeeled
×
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