Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
programmeerimiskeeled (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
201
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(201)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
A system for CAD/CAM software development and implementation
Tamm, Boris, inform.
;
Küttner, Rein
;
Vilipõld, Jüri
;
Pruuden, Juhan
Computers in industry
1984
/
p. 367-376
artikkel ajakirjas
2
artikkel kogumikus
A textual domain specific language for user interface modelling
Karu, Mart
Emerging trends in computing, informatics, systems sciences, and engineering
2013
/
p. 985-996
artikkel kogumikus
3
artikkel kogumikus
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
artikkel kogumikus
4
dissertatsioon
Abstraktsioon programmeerimisel : väitekiri ... tehnikamagistri kraadi taotlemiseks
Petuhhov, Inga
1997
http://www.ester.ee/record=b2687130*est
dissertatsioon
5
raamat
Abstraktsioon programmeerimisel : õpik
Jürgenson, Rein, inform.
;
Petuhhov, Inga
1997
https://www.ester.ee/record=b1053781*est
raamat
6
artikkel kogumikus
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
artikkel kogumikus
7
raamat
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
raamat
8
raamat
ALGAMS arvutile "Minsk-32" : õppeabimaterjal
Jürgenson, Rein, inform.
;
Lume, Tõnu
;
Prisk, Leo
1974
https://www.ester.ee/record=b1299966*est
raamat
9
artikkel ajalehes
Alustab arvutiteaduse tippkeskus
Uustalu, Tarmo
Postimees
2008
/
19. aug., Koolituse Extra, lk. 10
https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus
artikkel ajalehes
10
artikkel kogumikus
Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]
Uustalu, Tarmo
Teadusmõte Küberneetika Instituudis
2010
/
lk. 86-90 : portr
artikkel kogumikus
11
artikkel ajakirjas
Arvutamine on loodusteadus : vastab Tarmo Uustalu
Uustalu, Tarmo
Horisont
2006
/
lk. 15-17 : portr
https://artiklid.elnet.ee/record=b2039570*est
artikkel ajakirjas
12
raamat
Arvuti ja keeled
Henno, Jaak
2006
http://www.ester.ee/record=b2158058*est
raamat
13
raamat
Arvutigraafika BASIC-keeltes : metoodiline materjal
1991
https://www.ester.ee/record=b1253551*est
raamat
14
raamat
Arvutigraafika BASIC-keeltes : metoodiline materjal
1988
https://www.ester.ee/record=b1225426*est
raamat
15
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
16
artikkel ajakirjas
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
artikkel ajakirjas
17
raamat
Baasteadmised programmeerimiskeelest C++
Luczkowski, Teodor
2004
https://www.ester.ee/record=b1978669*est
raamat
18
raamat
BASIC-arvutigraafika : abimaterjal informaatika õppijatele ja õpetajatele
Renzer, Aare
1988
https://www.ester.ee/record=b1233694*est
raamat
19
raamat
BASIC-keele lühikursus : õppeabimaterjal
1986
https://www.ester.ee/record=b1158971*est
raamat
20
artikkel ajakirjas
Borland C++ 2.0
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1992
/
3, lk. 42-45
artikkel ajakirjas
21
artikkel ajakirjas
Borland C++2.0
Luczkowski, Teodor
Arvutustehnika ja Andmetöötlus
1991
/
12, lisalehtedel
artikkel ajakirjas
22
dissertatsioon
Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimine
Firsov, Denis
2016
http://digi.lib.ttu.ee/i/?6213
dissertatsioon
23
artikkel ajakirjas
Certified CYK parsing of context-free languages
Firsov, Denis
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2014
/
p. 459-468
artikkel ajakirjas
24
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
25
artikkel kogumikus
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
artikkel kogumikus
Kirjeid leitud 201, kuvan
1 - 25
eelmine
1
2
3
4
5
6
7
8
9
järgmine
märksõna
1
1.
programmeerimiskeeled
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT