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
26
book article
CNC machining of halftone and lithophane images into wood-based panels
Kiiman, Karmo
;
Luga, Üllar
;
Kers, Jaan
Proceedings of the 12th Meeting of the Northern European Network for Wood Science and Engineering (WSE) : Wood Science and Engineering - a Key Factor on the Transition to Bioeconomy : September 12-13, 2016, Riga, Latvia
2016
/
p. 74-79 : ill
http://www.kki.lv/dokumenti/WSE2016.pdf
book article
27
book article
CNC machining of halftone and lithophane images into wood-based panels [Online resource]
Kiiman, Karmo
;
Luga, Üllar
;
Poltimäe, Triinu
;
Kers, Jaan
Tartu Ülikooli ASTRA projekt PER ASPERA : Funktsionaalsed materjalid ja tehnoloogiad : [7-8 märtsil 2018, Tallinn : teesid]
GSFMT Scientific Conference 2018 : Tallinn, March 7-8, 2018 : abstracts
2018
/
p. 1
http://fmtdk.ut.ee/teesid-2018/
book article
28
journal article EST
/
journal article ENG
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
29
book article
Combining JSON-LD with first order logic
Tammet, Tanel
;
Sutcliffe, Geoff
Proceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021
2021
/
p. 256 - 261
https://doi.org/10.1109/ICSC50631.2021.00051
Article at Scopus
Article at WOS
book article
30
dissertation
Comprehensive abstraction of VHDL RTL cores to ESL SystemC = Register-siirde taseme VHDL kirjelduste kompleksne abstraheerimine süsteemitaseme SystemC mudeliteks
Abrar, Syed Saif
2016
http://www.ester.ee/record=b4564850*est
dissertation
31
journal article
Conceptual design framework supported by dimensional analysis and System Modelling Language
Christophe, Francois
;
Sell, Raivo
;
Coatanea, Eric
Estonian journal of engineering
2008
/
4, p. 303-316 : ill
https://www.semanticscholar.org/paper/Conceptual-design-framework-supported-by-analysis-Christophe-Sell/31bd3a8baf71159f4eb573fec39283598988310e
journal article
32
book article
Constraint-based test scenario description language
Vain, Jüri
;
Halling, Evelin
BEC 2012 : 2012 13th Biennial Baltic Electronics Conference : proceedings of the 13th Biennial Baltic Electronics Conference : October 3-5, 2012, Tallinn, Estonia
2012
/
p. 89-92 : ill
book article
33
journal article EST
/
journal article ENG
Correction to: Implementation and evaluation of the DAOM framework and support tool for designing blockchain decentralized applications (International Journal of Information Technology, (2021), 13, 6, (2245-2263), 10.1007/s41870-021-00816-6)
Udokwu, Chibuzor
;
Brandtner, Patrick
;
Norta, Alexander
;
Kormiltsõn, Aleksandr
;
Matulevičius, Raimundas
International Journal of Information Technology (Singapore)
2022
https://doi.org/10.1007/s41870-022-01026-4
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
34
book article
Data exchange between product model and engineering applications
Kiolein, Indrek
;
Saks, Alo
Proceedings of the Second National DAAAM Conference in Estonia : Science'96
1997
/
p. 45-50: ill
book article
35
book article
Designing a contractual choreography language for automating cross-organizational business collaboration
Norta, Alexander
;
Ma, Lixin
;
Duan, Yucong
2014 IEEE Tenth World Congress on Services : SERVICES 2014 : 27 June-2 July 2014, Anchorage, Alaska : proceedings
2014
/
p. 338-345 : ill
book article
36
book article
Determining a device crossover point in CPU/GPU systems for streaming applications
Kanur, Sudeep
;
Lund, Wictor
;
Tsiopoulos, Leonidas
;
Lilius, Johan
2015 IEEE Global Conference on Signal and Information Processing : GlobalSIP 2015 : Orlando, FL, USA, December 14-16, 2015
2015
/
p. 1417-1421 : ill
http://dx.doi.org/10.1109/GlobalSIP.2015.7418432
book article
37
book
DIAMS-2 keel : metoodiline juhend
1985
book
38
book article
The early π-calculus in ticked cubical type theory
Veltri, Niccolo
;
Vezzosi, Andrea
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 77-80
https://doi.org/10.23658/taltech.nwpt/2019
book article
39
newspaper article
Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma [Võrguväljaanne]
am.ee
2022
Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma
newspaper article
40
book article
En garde! Unguarded iteration for reversible computation in the delay monad
Kaarsgaard, Robin
;
Veltri, Niccolo
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
2019
/
p. 366-384
https://doi.org/10.1007/978-3-030-33636-3_13
book article
41
book article EST
/
book article ENG
Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoC
Vain, Jüri
;
Tsiopoulos, Leonidas
;
Kharchenko, Vyacheslav
;
Apneet Kaur
;
Jenihhin, Maksim
;
Raik, Jaan
;
Nõmm, Sven
Green IT Engineering: Social, Business and Industrial Applications
2019
/
p. 273-297
https://doi.org/10.1007/978-3-030-00253-4_12
Article collection at Scopus
Article at Scopus
book article EST
/
book article ENG
42
journal article
Enhancing forensic-tool security with Rust : Development of a string extraction utility
Getreu, Jens
;
Maennel, Olaf Manuel
Journal of Digital Forensics, Security and Law
2019
/
art. 4, p. 46-58 : ill
https://doi.org/10.15394/jdfsl.2019.1607
journal article
43
book
Excel ja VBA
Luczkowski, Teodor
2009
http://www.ester.ee/record=b2462056*est
book
44
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
45
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
46
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
47
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
48
book
Fortran : lühiülevaade
1986
https://www.ester.ee/record=b1231480*est
book
49
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
50
book
Fortran 77 : metoodiline juhend
1988
https://www.ester.ee/record=b1240231*est
book
Number of records 201, displaying
26 - 50
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