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
234
Look more..
(1/1)
Export
export all inquiry results
(234)
Save TXT 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
book
Sisend-väljund keeles PL/1 : loengukonspekt
Jürgenson, Rein, inform.
1975
https://www.ester.ee/record=b1307642*est
book
152
book
Sissejuhatus Ada-keelde : metoodiline materjal
Jürgenson, Rein, inform.
1987
https://www.ester.ee/record=b1230821*est
book
153
book
Sissejuhatus programmeerimisse an-keeles : loengumaterjal
Henno, Jaak
;
Käerdi, Helmo
1980
https://www.ester.ee/record=b1287519*est
book
154
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
155
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
156
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
157
journal article
Suure täpsusega arvutamine J-keeles
Võhandu, Leo
A & A
2001
/
1, lk. 53-58
journal article
158
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
159
journal article
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
journal article
160
book article
SystemC-based loose models : RTL abstraction for design understanding
Abrar, Syed Saif
;
Jenihhin, Maksim
;
Raik, Jaan
Workshop on Design Automation for Understanding Hardware Designs DUHDe 2015 : Grenoble, March 13, 2015
2015
/
p. 1-6
book article
161
book article
SystemC-based loose models for simulation speed-up by abstraction of RTL IP cores
Abrar, Syed Saif
;
Jenihhin, Maksim
;
Raik, Jaan
2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2015 : 22-24 April 2015, Belgrade, Serbia : proceedings
2015
/
p. 71-74 : ill
http://dx.doi.org/10.1109/DDECS.2015.39
book article
162
book article
Tarmo Uustalu is creating a new computer language
Uustalu, Tarmo
Estonian Centre of Excellence in ICT Research
2021
/
p. 73-77 : ill
http://www.digar.ee/id/nlib-digar:634779
https://www.ester.ee/record=b5456158*est
book article
163
book article
Teaching HDL for IT-students
Ellervee, Peeter
;
Reinsalu, Uljana
;
Arhipov, Anton
EWME 2006 proceedings : 6th International Workshop on Microelectronics Education : 8-9 June, 2006, Stockholm, Sweden
2006
/
p. 112-115
book article
164
book article
Teaching modeling in SysML/UML and problems encountered
Kruus, Helena
;
Robal, Tarmo
;
Jervan, Gert
Proceedings of the 25th International Conference on European Association for Education in Electrical and Information Engineering : 30 May-June 2014, Cesme, Türkiye
2014
/
p. 33-36 : ill
book article
165
book article
Temporally extended high-level decision diagrams for PSL assertions simulation
Jenihhin, Maksim
;
Raik, Jaan
;
Tšepurov, Anton
;
Ubar, Raimund-Johannes
Proceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy
2008
/
p. 61-68 : ill
https://ieeexplore.ieee.org/document/4556029
book article
166
book
10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings
2012
https://www.ester.ee/record=b2769334*est
book
167
book article
Term search in Rust
Annus, Tavo
;
Joram, Philipp
TyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development
2024
/
p. 62-73
https://doi.org/10.1145/3678000.3678210
Article at Scopus
book article
168
book article EST
/
book article ENG
Tests of graphics rendering in browsers
Henno, Jaak
;
Jaakkola, Hannu
;
Mäkelä, Jukka
Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2017 : Belgrade, Serbia, 11-13.09.2017 : proceedings
2017
/
p. 3:1-3:10
https://ceur-ws.org/Vol-1938/paper-hen.pdf
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
169
book article EST
/
book article ENG
A textual domain specific language for user interface modelling
Karu, Mart
Emerging trends in computing, informatics, systems sciences, and engineering
2013
/
p. 985-996
https://doi.org/10.1007/978-1-4614-3558-7_84
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
170
book
2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedings
Uustalu, Tarmo
;
Saabas, Ando
2004
https://www.ester.ee/record=b1893488*est
book
171
journal article EST
/
journal article ENG
Theory of átomata
Brzozowski, Janusz
;
Tamm, Hellis
Theoretical computer science
2014
/
p. 13-27 : ill
https://doi.org/10.1016/j.tcs.2014.04.016
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
172
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
173
book article EST
/
book article ENG
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
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
174
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
175
book article
Towards practical synthesis of programs
Tõugu, Enn
Information processing 80 : proceedings of IFIP Congress 80, Tokyo, Melbourne
1980
/
p. 207–219
https://dblp.org/rec/conf/ifip/Tyugu80.html
Article at Scopus
book article
Number of records 234, displaying
151 - 175
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