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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 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
230
Look more..
(1/1)
Export
export all inquiry results
(230)
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
51
book article
Experimenting with graded monads: certified grading-based program transformations
Talvik, Tõnn
;
Uustalu, Tarmo
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
2018
/
p. 82-83
https://types2018.projj.eu/book-of-abstracts/
book article
52
book article
Formal specification of block libraries in dataflow languages
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
2014
/
[10] p. : ill
book article
53
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
2020
/
p. 270–283
https://doi.org/10.1145/3372885.3373814
book article
54
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
book article
55
book
Fortran : lühiülevaade
1986
https://www.ester.ee/record=b1231480*est
book
56
journal article
Fortran 77
Vilipõld, Jüri
Arvutustehnika ja Andmetöötlus : A&A
1988
/
lk. 1-7
https://www.ester.ee/record=b1071940*est
journal article
57
book
Fortran 77 : metoodiline juhend
1988
https://www.ester.ee/record=b1240231*est
book
58
book
Fortran 77 : metoodiline juhend
1987
https://www.ester.ee/record=b1263081*est
book
59
book article
Fortran-programmide teisendaja
Remmel, V.
;
Raiend, Kullo
;
Uibo, Erik
XXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 1980
1981
/
lk. 94-95
https://www.ester.ee/record=b1322611*est
book article
60
book
Foundations of software science and computation structures: 26th International Conference, FoSSaCS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023, proceedings
2023
https://doi.org/10.1007/978-3-031-30829-1
book
61
book article EST
/
book article ENG
Freely combining partial knowledge in multiple dimensions (extended abstract)
Draheim, Dirk
Future Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings
2018
/
p. 3-11
https://doi.org/10.1007/978-3-030-03192-3_1
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
62
book article EST
/
book article ENG
Generating representative executions : extended abstract
Maarand, Hendrik
;
Uustalu, Tarmo
10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 2017
2017
/
p. 39-48 : ill
https://doi.org/10.4204/EPTCS.246.8
Journal metrics at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
63
journal article
Graafide korrastamisest J-keele abil
Võhandu, Leo
A & A
2001
/
5, lk. 51-56 ; 6, lk. 38-44
journal article
64
journal article
Hasartmängud J-keeles
Võhandu, Leo
Arvutimaailm
2000
/
1, 43-45
https://artiklid.elnet.ee/record=b1003028*est
journal article
65
book article
Higher-order attribute semantics of flat declarative languages
Grigorenko, Pavel
20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts
2008
/
p. 37-39 : ill
https://artiklid.elnet.ee/record=b1072901*est
book article
66
book article
High-level design error diagnosis using backtrace on decision diagrams
Raik, Jaan
;
Repinski, Urmas
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Tšepurov, Anton
28th Norchip Conference : Tampere, Finland, 15-16 November 2010 : conference program and papers
2010
/
[4] p. : ill
http://dx.doi.org/10.1109/NORCHIP.2010.5669486
book article
67
journal article EST
/
journal article ENG
Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applications
Udokwu, Chibuzor
;
Brandtner, Patrick
;
Norta, Alexander
;
Kormiltsõn, Aleksandr
;
Matulevičius, Raimundas
International journal of law and information technology
2021
/
p. 2245−2263 : ill
https://doi.org/10.1007/s41870-021-00816-6
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
68
book article
An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automata
Capobianco, Silvio
;
Veltri, Niccolo
Proceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)
2016
/
p. 27-29
http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf
book article
69
journal article
Improving response time of task and Adaboost classifiers in mobile fog computing
Darbanian, Elham
;
Rahbari, Dadmehr
;
Ghanizadeh, Roghayeh
;
Nickray, Mohsen
Jordanian journal of computers and information technology
2020
/
p. 345−360
https://www.ejmanager.com/mnstemps/71/71-1590557276.pdf?t=1608030630
journal article
70
book
Infotehnoloogia. Sõnastik. Osa 15, Programmikeeled
Hanson, Vello
;
Tavast, Arvi
;
Kalja, Ahto
;
Võhandu, Leo
2001
https://www.ester.ee/record=b1536049*est
book
71
journal article
Integrated application of program generators and application packages
Tamm, Boris, inform.
Tutkimus ja tekniikka
1979
/
p. 38-43 : ill
journal article
72
journal article EST
/
journal article ENG
Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ Movements
Miyawaki, Fujio
;
Suzuki, Miho
;
Anier, Aivo
;
Vain, Jüri
IFAC-PapersOnLine
2019
/
p. 229-234 : ill
https://doi.org/10.1016/j.ifacol.2019.12.103
Conference proceedings at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
73
book
Introduction to the IOT (Internet of Things) : coursebook
Sell, Raivo
;
Puks, Rim
;
Kingsepp, Mallor
;
Nikitenko, Agris
;
Berkolds, Karlis
;
Vagale, Anete
;
Rumba, Rudolfs
;
Czekalski, Piotr
;
Tokarz, Krzysztof
;
Läll, Karl
2025
https://ebooks.rtu.lv/product/introduction-to-the-iot-second-edition/?lang=en#tab-id-1
book
74
book article EST
/
book article ENG
Is Amazon Kinesis Data Analytics suitable as core for an event processing network model?
Koschel, Arne
;
Astrova, Irina
;
Pakosch, Anna
;
Gerner, Christian
;
Schulze, Christin
;
Tyca, Matthias
Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART,
2024
/
p. 1036 - 1043
https://doi.org/10.5220/0012432800003636
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
75
journal article
Java fenomen
Tõugu, Enn
A & A
1998
/
2, lk. 4-7
https://artiklid.elnet.ee/record=b2003493*est
journal article
Number of records 230, displaying
51 - 75
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