Searching - TalTech Research Portal

display

sort

26

book article

CNC machining of halftone and lithophane images into wood-based panels [Online resource]Kiiman, Karmo; Luga, Üllar; Poltimäe, Triinu; Kers, JaanTartu Ü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 : abstracts2018 / p. 1 http://fmtdk.ut.ee/teesid-2018/

book article

27

journal article

Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2024 / art. exae059, 26 p https://doi.org/10.1093/logcom/exae059

journal article

28

book article EST / book article ENG

Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

29

journal article EST / journal article ENG

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / 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

30

book article

Combining JSON-LD with first order logicTammet, Tanel; Sutcliffe, GeoffProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 20212021 / p. 256 - 261 https://doi.org/10.1109/ICSC50631.2021.00051 Article at Scopus Article at WOS

book article

31

book article

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.] https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

book article

32

book article EST / book article ENG

Compiling cooperative task management to continuationsNakata, Keiko; Saar, AndriFundamentals of Software Engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers2013 / p. 95 - 110 https://doi.org/10.1007/978-3-642-40213-5_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

33

dissertation

Comprehensive abstraction of VHDL RTL cores to ESL SystemC = Register-siirde taseme VHDL kirjelduste kompleksne abstraheerimine süsteemitaseme SystemC mudeliteksAbrar, Syed Saif2016 http://www.ester.ee/record=b4564850*est

dissertation

34

journal article

Conceptual design framework supported by dimensional analysis and System Modelling LanguageChristophe, Francois; Sell, Raivo; Coatanea, EricEstonian journal of engineering2008 / 4, p. 303-316 : ill https://www.semanticscholar.org/paper/Conceptual-design-framework-supported-by-analysis-Christophe-Sell/31bd3a8baf71159f4eb573fec39283598988310e

journal article

35

book article

Constraint-based test scenario description languageVain, Jüri; Halling, EvelinBEC 2012 : 2012 13th Biennial Baltic Electronics Conference : proceedings of the 13th Biennial Baltic Electronics Conference : October 3-5, 2012, Tallinn, Estonia2012 / p. 89-92 : ill

book article

36

journal article

Context-Free Languages of String DiagramsEarnshaw, Matthew David; Román, MarioarXiv.org2024 / 24 p. : ill https://doi.org/10.48550/arXiv.2404.10653

journal article

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

37

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, RaimundasInternational 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

38

book article

Data exchange between product model and engineering applicationsKiolein, Indrek; Saks, AloProceedings of the Second National DAAAM Conference in Estonia : Science'961997 / p. 45-50: ill

book article

39

book article

Data-driven matrix formsTepandi, JaakData processing. Compiler writing. Programming1986 / p. 31-42

book article

40

book article

Designing a contractual choreography language for automating cross-organizational business collaborationNorta, Alexander; Ma, Lixin; Duan, Yucong2014 IEEE Tenth World Congress on Services : SERVICES 2014 : 27 June-2 July 2014, Anchorage, Alaska : proceedings2014 / p. 338-345 : ill

book article

41

book article

Determining a device crossover point in CPU/GPU systems for streaming applicationsKanur, Sudeep; Lund, Wictor; Tsiopoulos, Leonidas; Lilius, Johan2015 IEEE Global Conference on Signal and Information Processing : GlobalSIP 2015 : Orlando, FL, USA, December 14-16, 20152015 / p. 1417-1421 : ill http://dx.doi.org/10.1109/GlobalSIP.2015.7418432

book article

42

book

DIAMS-2 keel : metoodiline juhend1985

book

43

book article

The early π-calculus in ticked cubical type theoryVeltri, Niccolo; Vezzosi, Andrea31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 77-80 https://doi.org/10.23658/taltech.nwpt/2019

book article

44

newspaper article

Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma [Võrguväljaanne]am.ee2022 Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma

newspaper article

45

book article

ELMA as an instrumental system for building practical programming systemsLepp, Marge; Vooglaid, Aare; Võhandu, LeoData processing. Compiler writing. Programming1986 / p. 85-91

book article

46

book article

En garde! Unguarded iteration for reversible computation in the delay monadKaarsgaard, Robin; Veltri, NiccoloMathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings2019 / p. 366-384 https://doi.org/10.1007/978-3-030-33636-3_13

book article

47

book article EST / book article ENG

Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / 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

48

book article EST / book article ENG

Enhancing bandgap depth in locally resonant metastructures via notch-filtered piezoelectric actuationAlimohammadi, Hossein; Vassiljeva, Kristina; HosseinNia, S. Hassan; Petlenkov, Eduard2024 IEEE International Conference on Industrial Technology (ICIT)2024 https://doi.org/10.1109/ICIT58233.2024.10540976 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

49

journal article

Enhancing forensic-tool security with Rust : Development of a string extraction utilityGetreu, Jens; Maennel, Olaf ManuelJournal of Digital Forensics, Security and Law2019 / art. 4, p. 46-58 : ill https://doi.org/10.15394/jdfsl.2019.1607

journal article

50

book

Excel ja VBALuczkowski, Teodor2009 http://www.ester.ee/record=b2462056*est

book

programmeerimiskeeled (subject term)

types of item

subject term 1