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
216
Look more..
(1/1)
Export
export all inquiry results
(216)
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
Programmeerimiskeskkond Visual Basic 2005
Luczkowski, Teodor
2006
http://www.ester.ee/record=b2192516*est
book
127
book article
Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]
Uustalu, Tarmo
Tallinna Tehnikaülikooli aastaraamat 2005
2006
/
lk. 391-393
book article
128
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
129
book
Prolog ja Olümpose jumalad
Henno, Jaak
2004
https://www.ester.ee/record=b1980187*est
book
130
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
131
book
Prolog ja Olympoksen jumalat
Henno, Jaak
1992
https://www.ester.ee/record=b1019003*est
book
132
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
133
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
134
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
135
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
136
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
137
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
138
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
139
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
140
journal article
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 article
141
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
142
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
143
book
Sisend-väljund keeles PL/1 : loengukonspekt
Jürgenson, Rein, inform.
1975
https://www.ester.ee/record=b1307642*est
book
144
book
Sissejuhatus Ada-keelde : metoodiline materjal
Jürgenson, Rein, inform.
1987
https://www.ester.ee/record=b1230821*est
book
145
book
Sissejuhatus programmeerimisse an-keeles : loengumaterjal
Henno, Jaak
;
Käerdi, Helmo
1980
https://www.ester.ee/record=b1287519*est
book
146
journal article EST
/
journal article ENG
SSProve : a foundational framework for modular cryptographic proofs in Coq
Haselwarter, Philipp G.
;
Rivas, Exequiel
;
Van Muylder, Antoine
;
Winterhalter, Théo
;
Abate, Carmine
;
Sidorenco, Nikolaj
;
Hriţcu, Cǎtǎlin
;
Maillard, Kenji
;
Spitters, Bas
ACM Transactions on Programming Languages and Systems
2023
/
art. 15
https://doi.org/10.1145/3594735
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
147
book article
Structural synthesis of programs with preconditions
Kotkas, Vahur
Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005
2005
/
p. 70-81 : ill
book article
148
book article
Structured general corecursion and coinductive graphs [extended abstract]
Uustalu, Tarmo
EPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 2012
2012
/
p. 55-61
https://arxiv.org/abs/1202.3502
book article
149
journal article
Suure täpsusega arvutamine J-keeles
Võhandu, Leo
A & A
2001
/
1, lk. 53-58
journal article
150
journal article
Sõnasepandus ehk tekstikäsitlus poeetidele
Võhandu, Leo
A & A
2001
/
4, lk. 41-47
https://artiklid.elnet.ee/record=b1007652*est
journal article
Number of records 216, displaying
126 - 150
previous
1
2
3
4
5
6
7
8
9
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