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
programmeerimiskeeled (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 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
226
Look more..
(1/1)
Export
export all inquiry results
(226)
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
dissertation
Abstraktsioon programmeerimisel : väitekiri ... tehnikamagistri kraadi taotlemiseks
Petuhhov, Inga
1997
http://www.ester.ee/record=b2687130*est
dissertation
2
book
Abstraktsioon programmeerimisel : õpik
Jürgenson, Rein, inform.
;
Petuhhov, Inga
1997
https://www.ester.ee/record=b1053781*est
book
3
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
4
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
5
book
ALGAMS arvutile "Minsk-32" : õppeabimaterjal
Jürgenson, Rein, inform.
;
Lume, Tõnu
;
Prisk, Leo
1974
https://www.ester.ee/record=b1299966*est
book
6
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
7
book article
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
book article
8
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
9
book
Arvuti ja keeled
Henno, Jaak
2006
http://www.ester.ee/record=b2158058*est
book
10
book
Arvutigraafika BASIC-keeltes : metoodiline materjal
1991
https://www.ester.ee/record=b1253551*est
book
11
book
Arvutigraafika BASIC-keeltes : metoodiline materjal
1988
https://www.ester.ee/record=b1225426*est
book
12
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
Related publications
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
13
journal article EST
/
journal article ENG
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
https://doi.org/10.1016/j.micpro.2012.11.004
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
14
book
Baasteadmised programmeerimiskeelest C++
Luczkowski, Teodor
2004
https://www.ester.ee/record=b1978669*est
book
15
book
BASIC-arvutigraafika : abimaterjal informaatika õppijatele ja õpetajatele
Renzer, Aare
1988
https://www.ester.ee/record=b1233694*est
book
16
book
BASIC-keele lühikursus : õppeabimaterjal
1986
https://www.ester.ee/record=b1158971*est
book
17
journal article
Borland C++ 2.0
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1992
/
3, lk. 42-45
journal article
18
journal article
Borland C++2.0
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1991
/
12, lisalehtedel
journal article
19
dissertation
Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
2016
http://digi.lib.ttu.ee/i/?6213
dissertation
20
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
21
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
22
book article EST
/
book article ENG
Certified parsing of regular languages
Firsov, Denis
;
Uustalu, Tarmo
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
2013
/
p. 98 - 113
https://doi.org/10.1007/978-3-319-03545-1_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
23
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
24
journal article
C-keele ohud
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1991
/
12, lk. 8-13
journal article
25
book article
CNC machining of halftone and lithophane images into wood-based panels
Kiiman, Karmo
;
Luga, Üllar
;
Kers, Jaan
Proceedings of the 12th Meeting of the Northern European Network for Wood Science and Engineering (WSE) : Wood Science and Engineering - a Key Factor on the Transition to Bioeconomy : September 12-13, 2016, Riga, Latvia
2016
/
p. 74-79 : ill
http://www.kki.lv/dokumenti/WSE2016.pdf
book article
Number of records 226, displaying
1 - 25
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