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
151
journal article EST
/
journal article ENG
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, Bassel
;
Mogelberg, Rasmus Ejlers
;
Veltri, Niccolo
Logical Methods in Computer Science
2020
/
p. 17:1 - 17:31
https://doi.org/10.23638/LMCS-16(4:17)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
152
book article
Towards a high-level programming language for IoT and robotics
Kanter, Gert
;
Vain, Jüri
;
Fazeldehkordi, Elahe
;
Owe, Olaf
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
2021
/
3 p
http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf
http://icetcs.ru.is/nwpt21/programme.html
book article
153
book article
Towards reliable code generation with an open tool : evolutions of the gene-auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France
2010
/
[10] p
https://hal.science/hal-02267640/document
book article
154
journal article
Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolset
Toom, Andres
;
Izerrouken, N.
;
Näks, Tõnu
;
Pantel, M.
;
Ssi Yan Kai, O.
Ingénieurs de l'Automobile
2010
/
p. 29-35
https://hal.science/hal-02267640/document
journal article
155
book
Translaatorite koostamine : õppevahend
Henno, Jaak
;
Jokk, Viivi
;
Lepp, Marge
;
Vooglaid, Aare
1986
https://www.ester.ee/record=b1227627*est
book
156
journal article
Turbo Pascal
Jürgenson, Rein, inform.
Arvutustehnika ja Andmetöötlus : A&A
1989
/
lk. 5-12
https://www.ester.ee/record=b1071940*est
journal article
157
book
Turbo Pascal & C++ : objektitehnika
1994
https://www.ester.ee/record=b1057437*est
book
158
book
Turbo Pascal & C++ : objektitehnika
Luczkowski, Teodor
;
Jürgenson, Rein, inform.
1992
https://www.ester.ee/record=b1064289*est
book
159
book
Turbo Pascali graafikavahendid
Jürgenson, Rein, inform.
1991
http://www.ester.ee/record=b1192319*est
book
160
journal article
Turbo Pascali menüüsüsteem
Jürgenson, Rein, inform.
Arvutustehnika ja Andmetöötlus : A&A
1989
/
lk. 1-8
https://www.ester.ee/record=b1071940*est
journal article
161
journal article
Turbo Pascali moodulitehnika
Jürgenson, Rein, inform.
Arvutustehnika ja Andmetöötlus : A&A
1989
/
lk. 9-19 : ill
https://www.ester.ee/record=b1071940*est
journal article
162
book
12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings
2011
http://www.ester.ee/record=b2718552*est
book
163
book article EST
/
book article ENG
A type system with subtyping for Webassembly’s stack polymorphism
McDermott, Dylan
;
Morita, Yasuaki
;
Uustalu, Tarmo
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 305-323
https://doi.org/10.1007/978-3-031-17715-6_20
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
164
book article
Type systems equivalent to dataflow analyses for imperative languages
Laud, Peeter
;
Uustalu, Tarmo
;
Vene, Varmo
Proceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 2005
2005
/
[12] p
https://www.sciencedirect.com/science/article/pii/S0304397506005524
book article
165
book article
Type systems for optimizing stack-based code
Saabas, Ando
Twelfth Estonian Winter School in Computer Science (EWSCS'07) : Lahemaa, Estonia, March 4-9, 2007
2007
/
[1 p.]
https://artiklid.elnet.ee/record=b1021261*est
book article
166
book
UNIX ja keel C : ülevaade : metoodiline juhend
1991
http://www.ester.ee/record=b1188903*est
book
167
book
UNIX ja keel C ülevaade : metoodiline juhend
1987
https://www.ester.ee/record=b1263097*est
book
168
book article EST
/
book article ENG
Unmanned ground vehicle energy efficiency validation in territory surveillance mission
Väljaots, Eero
;
Sell, Raivo
;
Rimasauskas, Marius
Mechatronic Systems and Materials VII
2016
/
p. 164-170
https://doi.org/10.4028/www.scientific.net/SSP.251.164
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
169
book article EST
/
book article ENG
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
170
journal article
When is a container a comonad?
Ahman, Danel
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2014
/
p. 1-48 : ill
journal article
171
book
Visual Basic : programminäited
Luczkowski, Teodor
2000
https://www.ester.ee/record=b1438674*est
book
172
book
БЭЙСИК-11 для СМ ЭВМ : методическое руководство
1987
https://www.ester.ee/record=b1410169*est
book
173
book
Введение в программирование на языке an
Henno, Jaak
;
Käerdi, Helmo
1980
https://www.ester.ee/record=b2457915*est
book
174
book
Введение в программирование на языке БЕЙСИК для ЭВМ СМ-4 : методическое пособие
1986
https://www.ester.ee/record=b1234417*est
book
175
book article
Дополнительные средства к системе PL/1 ДОС/ЕС
Härsing, H.
Анализ данных. Построение трансляторов. Вопросы программирования
1978
/
с. 15-26
https://www.ester.ee/record=b1272492*est
https://digikogu.taltech.ee/et/Item/1dbbc143-d62a-4471-af6c-c660a4af0827
book article
Number of records 201, displaying
151 - 175
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