A system for CAD/CAM software development and implementationTamm, Boris, inform.; Küttner, Rein; Vilipõld, Jüri; Pruuden, JuhanComputers in industry1984 / p. 367-376

A textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996

A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 http://dx.doi.org/10.1007/978-3-319-25579-8_20

Abstraktsioon programmeerimisel : väitekiri ... tehnikamagistri kraadi taotlemiseksPetuhhov, Inga1997 http://www.ester.ee/record=b2687130*est

Abstraktsioon programmeerimisel : õpikJürgenson, Rein, inform.; Petuhhov, Inga1997 https://www.ester.ee/record=b1053781*est

Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est

ALGAMS arvutile "Minsk-32" : õppeabimaterjalJürgenson, Rein, inform.; Lume, Tõnu; Prisk, Leo1974 https://www.ester.ee/record=b1299966*est

Alustab arvutiteaduse tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus

Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr

Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr https://artiklid.elnet.ee/record=b2039570*est

Arvuti ja keeledHenno, Jaak2006 http://www.ester.ee/record=b2158058*est

Arvutigraafika BASIC-keeltes : metoodiline materjal1991 https://www.ester.ee/record=b1253551*est

Arvutigraafika BASIC-keeltes : metoodiline materjal1988 https://www.ester.ee/record=b1225426*est

Auto-generation of smart contracts from a domain-specific XML-based languageDwivedi, Vimal Kumar; Norta, AlexanderIntelligent Data Engineering and Analytics2022 / p. 549-564 https://doi.org/10.1007/978-981-16-6624-7_54 Conference proceedings at Scopus Article at Scopus

Automated design error debug using high-level decision diagrams and mutation operatorsRaik, Jaan; Repinski, Urmas; Tšepurov, Anton; Hantson, Hanno; Ubar, Raimund-Johannes; Jenihhin, MaksimMicroprocessors and microsystems2013 / p. 505-513 : ill

Baasteadmised programmeerimiskeelest C++Luczkowski, Teodor2004 https://www.ester.ee/record=b1978669*est

BASIC-arvutigraafika : abimaterjal informaatika õppijatele ja õpetajateleRenzer, Aare1988 https://www.ester.ee/record=b1233694*est

BASIC-keele lühikursus : õppeabimaterjal1986 https://www.ester.ee/record=b1158971*est

Borland C++ 2.0Luczkowski, TeodorArvutustehnika ja Andmetöötlus1992 / 3, lk. 42-45

Borland C++2.0Luczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 12, lisalehtedel

Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimineFirsov, Denis2016 http://digi.lib.ttu.ee/i/?6213

Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468

Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Circumstances which should be taken into accountVilu, RaivoGIS-Baltic Sea States '95 : exhibition, conference - Tallinn, Estonia, 13-15 December, 1995 : abstracts, catalogue1995 / p. 52

C-keele ohudLuczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 12, lk. 8-13

CNC machining of halftone and lithophane images into wood-based panelsKiiman, Karmo; Luga, Üllar; Kers, JaanProceedings 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, Latvia2016 / p. 74-79 : ill http://www.kki.lv/dokumenti/WSE2016.pdf

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/

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

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

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

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

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

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

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

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

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

DIAMS-2 keel : metoodiline juhend1985

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

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

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

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

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

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

Experimenting with graded monads:
certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 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 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

Fortran : lühiülevaade1986 https://www.ester.ee/record=b1231480*est

Fortran 77Vilipõld, JüriArvutustehnika ja Andmetöötlus : A&A1988 / lk. 1-7 https://www.ester.ee/record=b1071940*est

Fortran 77 : metoodiline juhend1988 https://www.ester.ee/record=b1240231*est

Fortran 77 : metoodiline juhend1987 https://www.ester.ee/record=b1263081*est

Fortran-programmide teisendajaRemmel, V.; Raiend, Kullo; Uibo, ErikXXXII üliõpilaste teaduslik-tehnilise konverentsi ettekannete teesid : pühendatud V. I. Lenini 110. sünniaastapäevale : 16.-18. aprill 19801981 / lk. 94-95 https://www.ester.ee/record=b1322611*est

Freely combining partial knowledge in multiple dimensions (extended abstract)Draheim, DirkFuture Data and Security Engineering : 5th International Conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28–30, 2018, Proceedings2018 / 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

Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill http://dx.doi.org/10.4204/EPTCS.246.8

Graafide korrastamisest J-keele abilVõhandu, LeoA & A2001 / 5, lk. 51-56 ; 6, lk. 38-44

Hasartmängud J-keelesVõhandu, LeoArvutimaailm2000 / 1, 43-45 https://artiklid.elnet.ee/record=b1003028*est

Higher-order attribute semantics of flat declarative languagesGrigorenko, Pavel20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 37-39 : ill https://artiklid.elnet.ee/record=b1072901*est

High-level design error diagnosis using backtrace on decision diagramsRaik, Jaan; Repinski, Urmas; Ubar, Raimund-Johannes; Jenihhin, Maksim; Tšepurov, Anton28th Norchip Conference : Tampere, Finland, 15-16 November 2010 : conference program and papers2010 / [4] p. : ill http://dx.doi.org/10.1109/NORCHIP.2010.5669486

Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applicationsUdokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsyn, Alexandr; Matulevičius, RaimundasInternational journal of law and information technology2021 / p. 2245−2263 : ill https://doi.org/10.1007/s41870-021-00816-6 Journal metrics at Scopus Article at Scopus

An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automataCapobianco, Silvio; Veltri, NiccoloProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 27-29 http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

Improving response time of task and Adaboost classifiers in mobile fog computingDarbanian, Elham; Rahbari, Dadmehr; Ghanizadeh, Roghayeh; Nickray, MohsenJordanian journal of computers and information technology2020 / p. 345−360 https://www.ejmanager.com/mnstemps/71/71-1590557276.pdf?t=1608030630

Infotehnoloogia. Sõnastik. Osa 15, ProgrammikeeledHanson, Vello; Tavast, Arvi; Kalja, Ahto; Võhandu, Leo2001 https://www.ester.ee/record=b1536049*est

Integrated application of program generators and application packagesTamm, Boris, inform.Tutkimus ja tekniikka1979 / p. 38-43 : ill

Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ MovementsMiyawaki, Fujio; Suzuki, Miho; Anier, Aivo; Vain, JüriIFAC-PapersOnLine2019 / p. 229-234 : ill https://doi.org/10.1016/j.ifacol.2019.12.103 Conference proceedings at Scopus Article at Scopus Article at WOS

Java fenomenTõugu, EnnA & A1998 / 2, lk. 4-7 https://artiklid.elnet.ee/record=b2003493*est

J-keelVõhandu, LeoA & A2000 / 5, lk. 44-49 https://artiklid.elnet.ee/record=b1005194*est

J-keelest ja Goldbachi hüpoteesistVõhandu, LeoA & A2001 / 2, lk. 54-57

JSC-.NET ristkompilaator veebi platvormideleSulakatko, ArvoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 105-107 : ill

25 x Pascal : metoodiline juhend1986 https://www.ester.ee/record=b1206597*est

Keerdülesannetest kehtestatavuseniVõhandu, LeoA & A2004 / 6, lk. 34-47 : ill https://artiklid.elnet.ee/record=b1017273*est

Kolmkümmend aastat programmeerimiskeeli ja translaatoreid : [rahvusvah. nõup. "Kompilaatorite konstrueerimine" : Paderborn, Šveits : okt. 1992]Wirth, N.Arvutustehnika ja Andmetöötlus1993 / lk. 13-24

Kroonika : Tallinnas peab ettekande programmeerimiskeele C++ looja Bjarne Stroustrup. Kinnitati Eesti Teadusagentuuri hindamisnõukogu : [TTÜst Tõnis Timmusk, Rainer Kattel ja Enn Mellikov]. Parim ülikooliõpik TTÜst : [Enno Reinsalu raamat "Eesti mäendus" : lühisõnumid]Mente et Manu2012 / lk. 1

Laiatarbe tarkvarapaketid personaalarvutitele. Turbo PascalJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1221397*est

Lower bound methods for the size of nondeterministic finite automata revisitedTamm, Hellis; Merwe, Brink van derLanguage and Automata Theory and Applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017 : proceedings2017 / p. 261-272 https://doi.org/10.1007/978-3-319-53733-7_19

Metamodel-based comparison of data modelsEessaar, ErkiAdvances and Innovations in Systems, Computing Sciences and Software Engineering2007 / p. 109-114 https://link.springer.com/chapter/10.1007/978-1-4020-6264-3_21

Mitmelõimelisuse tugi Java keskkonnasJänes, UrmetA & A2000 / 1, lk. 22-26 https://artiklid.elnet.ee/record=b1003330*est

Model Driven ArchitectureLeis, PaulA & A2004 / 1, lk. 13-20 : ill https://artiklid.elnet.ee/record=b1014997*est

Models of attributed automataMeriste, Merik; Penjam, Jaan; Vene, VarmoInformatica1998 / 1, p. 85-105: ill

Modula-2Jürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus1990 / 1, lk. 22-35

MODULA-2 : elementaarprogrammeerimine : metoodiline juhend1988 https://www.ester.ee/record=b1233719*est

Modula-2. Moodulprogrammeerimine : metoodiline juhendJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1210477*est

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / art. 3533365, p. 1-14 : ill https://doi.org/10.1145/3531130.3533365 Conference proceeding at Scopus Article at Scopus

Moodulitehnika Modula-2 keelesJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus1990 / 3, lk. 4-19

MSX - БЕЙСИК : методическое руководство1987 https://www.ester.ee/record=b1354268*est

Multi-view modeling for MPSoC design aspects [Online resource]Vain, Jüri; Apneet Kaur; Tsiopoulos, Leonidas; Raik, Jaan; Jenihhin, MaksimBEC 2018 : 2018 16th Biennial Baltic Electronics Conference (BEC) : proceedings of the 16th Biennial Baltic Electronics Conference, October 8-10, 20182018 / 4 p.: ill https://doi.org/10.1109/BEC.2018.8600986

Objektorienteeritud lähenemine programmeerimisele : õpikJürgenson, Rein, inform.; Vahe, Vilmar1999 https://www.ester.ee/record=b1269056*est

Objektorienteeritud lähenemine programmeerimisele : õpikJürgenson, Rein, inform.; Vahe, Vilmar2001 https://www.ester.ee/record=b1269056*est

Objektorienteeritud programeerimiskeel C++Luczkowski, TeodorArvutustehnika ja Andmetöötlus1989 / lk. 12-15 https://www.ester.ee/record=b1071940*est

On the data structure and linkage problems in NC machine tool languagesTamm, Boris, inform.Numerical control programming languages : proceedings of the 1st International IFIP/IFAC PROLAMAT Conference, Rome, 19691970 https://www.amazon.com/Numerical-Control-Programming-Languages-Proceedings/dp/0720420393

Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb

Pascal süsteemis OS-RV : metoodiline juhendJürgenson, Rein, inform.1986 https://www.ester.ee/record=b1230319*est

Pascal süsteemis OS-RV : metoodiline juhendJürgenson, Rein, inform.1987 https://www.ester.ee/record=b1263088*est

PL/1 ja DOS : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1302917*est

PL/1-keele ABC : metoodiline juhend kaugüliõpilastele1978 https://www.ester.ee/record=b1314011*est

PL/1-keele eriteemasid : loengukonspektJürgenson, Rein, inform1975 https://www.ester.ee/record=b1302924*est

PL/I-keele ABC : metoodiline juhend kaugüliõpilastele1988 https://www.ester.ee/record=b1236071*est

Practical transformation verification with OCLToom, AndresInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 165-168 : ill

PrefaceUustalu, Tarmo; Vain, Jüri31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. iii https://doi.org/10.23658/taltech.nwpt/2019

Problem oriented computer languages for simulating engineering processesPruuden, Juhan; Tamm, Boris, inform.Information processing 68 : proceedings of IFIP Congress 1968. 11969 / p. 1484-1488 : ill https://books.google.ee/books/about/Information_Processing_68.html?id=OmjaAQAACAAJ&redir_esc=y

Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005Vene, Varmo; Meriste, Merik2005 https://www.ester.ee/record=b2060802*est

ProgrammeerimineJürgenson, Rein, inform.1989 https://www.ester.ee/record=b1193658*est

Programmeerimine Basic-keeles : metoodiline juhend, programm ja kontrolltööd kaugüliõpilastele1986 https://www.ester.ee/record=b1240948*est

Programmeerimine kolmanda põlvkonna arvuteileJürgenson, Rein, inform.1977 https://www.ester.ee/record=b1264221*est

Programmeerimine Pascal-keelesJürgenson, Rein, inform.1985 https://www.ester.ee/record=b1193662*est

Programmeerimise ülesannete koguJürgenson, Rein, inform.; Kaasik, Ülo; Kull, Ivar; Võhandu, Leo1978 https://www.ester.ee/record=b1313965*est

Programmeerimiskeel C++Luczkowski, TeodorArvutustehnika ja Andmetöötlus1992 / 10, lk. 16-20; 11, lk. 1-7; 12, lk. 6-11

Programmeerimiskeel C++Luczkowski, TeodorArvutustehnika ja Andmetöötlus1993 / 1, lk. 9-12; 2, lk. 3-6; 3, lk. 1-4; 4, lk. 7-12

Programmeerimiskeel C++ : objektitehnikaLuczkowski, TeodorTurbo Pascal & C++ : objektitehnika1994 / lk. 121-255

Programmeerimiskeel Pascal : õppevahendJürgenson, Rein, inform.1982 https://www.ester.ee/record=b1273583*est

Programmeerimiskeel Pascal : õppevahendJürgenson, Rein, inform.1985 https://www.ester.ee/record=b1233809*est

Programmeerimiskeel PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1314684*est

Programmeerimiskeele RPG oskussõnadAuendorf, K.; Viisileht, A.; Saks, LukreetsiaXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 148-149 https://www.ester.ee/record=b2449987*est

ProgrammeerimiskeeledIsotamm, Ain; Vene, Varmo2007 https://www.ester.ee/record=b2239351*est

Programmeerimiskeeled C ja C++Luczkowski, Teodor2013 http://www.ester.ee/record=b2925976*est

Programmeerimiskeskkond Visual Basic 2005Luczkowski, Teodor2006 http://www.ester.ee/record=b2192516*est

Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]Uustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20052006 / lk. 391-393

Programming language implementation and logic programming : 5th Intern. Symposium PLILP '93, Tallinn, August 25-27, 1993 : proceedingsBruynooghe, Maurice; Penjam, Jaan1993 https://www.ester.ee/record=b1036491*est

Prolog ja Olümpose jumaladHenno, Jaak2004 https://www.ester.ee/record=b1980187*est

Prolog ja Olümpose jumaladHenno, JaakArvutustehnika ja Andmetöötlus1988 / lk. [5]-12 : ill https://www.ester.ee/record=b1071940*est

Prolog ja Olympoksen jumalatHenno, Jaak1992 https://www.ester.ee/record=b1019003*est

Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Rakenduste loomise ja programmeerimise alused : valikkursus gümnaasiumitele : õpik [E-raamat]Vilipõld, Jüri; Antoi, Kersti; Amitan, Irina2013 http://rlpa.ttu.ee/RLPA_opik.pdf

Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148

Reflective constraint writing : a symbolic viewpoint of modeling languagesDraheim, DirkTransactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications2016 / p. 1-60 : ill http://dx.doi.org/10.1007/978-3-662-49214-7_1

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43

Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13

Semi-automated integration of domain ontologies to DSL meta-modelsHaav, Hele-Mai; Ojamaa, AndresInternational journal of intelligent information and database systems2017 / p. 94-116 :ill https://doi.org/10.1504/IJIIDS.2017.086198

Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228

Simulation of logic-informational processes by means of problems-oriented computer languagesTamm, Boris, inform.5e congrès international de cybernétique : Namur, 11-15 Septembre 1967 : extrait = 5th International Congress on Cybernetics : Namur, September 11-15th 1967 : extract1968 / p. 51-61 : ill

Simulation-based equivalence checking between IEEE 1687 ICL and RTLDamljanovic, Aleksa; Jutman, Artur; Portolan, Michele; Tšertov, Anton2019 IEEE International Test Conference (ITC)2019 / paper. 7.3, 8 p. : ill https://doi.org/10.1109/ITC44170.2019.9000181

Sisend-väljund keeles PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1307642*est

Sissejuhatus Ada-keelde : metoodiline materjalJürgenson, Rein, inform.1987 https://www.ester.ee/record=b1230821*est

Sissejuhatus programmeerimisse an-keeles : loengumaterjalHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b1287519*est

Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill

Suure täpsusega arvutamine J-keelesVõhandu, LeoA & A2001 / 1, lk. 53-58

Sõnasepandus ehk tekstikäsitlus poeetideleVõhandu, LeoA & A2001 / 4, lk. 41-47 https://artiklid.elnet.ee/record=b1007652*est

SystemC-based loose models : RTL abstraction for design understandingAbrar, Syed Saif; Jenihhin, Maksim; Raik, JaanWorkshop on Design Automation for Understanding Hardware Designs DUHDe 2015 : Grenoble, March 13, 20152015 / p. 1-6

SystemC-based loose models for simulation speed-up by abstraction of RTL IP coresAbrar, Syed Saif; Jenihhin, Maksim; Raik, Jaan2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2015 : 22-24 April 2015, Belgrade, Serbia : proceedings2015 / p. 71-74 : ill http://dx.doi.org/10.1109/DDECS.2015.39

Teaching HDL for IT-studentsEllervee, Peeter; Reinsalu, Uljana; Arhipov, AntonEWME 2006 proceedings : 6th International Workshop on Microelectronics Education : 8-9 June, 2006, Stockholm, Sweden2006 / p. 112-115

Teaching modeling in SysML/UML and problems encounteredKruus, Helena; Robal, Tarmo; Jervan, GertProceedings of the 25th International Conference on European Association for Education in Electrical and Information Engineering : 30 May-June 2014, Cesme, Türkiye2014 / p. 33-36 : ill

10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769334*est

Tests of graphics rendering in browsersHenno, Jaak; Jaakkola, Hannu; Mäkelä, JukkaSixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2017 : Belgrade, Serbia, 11-13.09.2017 : proceedings2017 / p. 3:1-3:10

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

Theory of atomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / 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

Towards a high-level programming language for IoT and roboticsKanter, Gert; Vain, Jüri; Fazeldehkordi, Elahe; Owe, Olaf32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 3 p http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf http://icetcs.ru.is/nwpt21/programme.html

Translaatorite koostamine : õppevahendHenno, Jaak; Jokk, Viivi; Lepp, Marge; Vooglaid, Aare1986 https://www.ester.ee/record=b1227627*est

Turbo PascalJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 5-12 https://www.ester.ee/record=b1071940*est

Turbo Pascal & C++ : objektitehnika1994 https://www.ester.ee/record=b1057437*est

Turbo Pascal & C++ : objektitehnikaLuczkowski, Teodor; Jürgenson, Rein, inform.1992 https://www.ester.ee/record=b1064289*est

Turbo Pascali graafikavahendidJürgenson, Rein, inform.1991 http://www.ester.ee/record=b1192319*est

Turbo Pascali menüüsüsteemJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 1-8 https://www.ester.ee/record=b1071940*est

Turbo Pascali moodulitehnikaJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 9-19 : ill https://www.ester.ee/record=b1071940*est

12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings2011 http://www.ester.ee/record=b2718552*est

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 Conference proceedings at Scopus Article at Scopus

Type systems for optimizing stack-based codeSaabas, AndoTwelfth Estonian Winter School in Computer Science (EWSCS'07) : Lahemaa, Estonia, March 4-9, 20072007 / [1 p.] https://artiklid.elnet.ee/record=b1021261*est

UNIX ja keel C : ülevaade : metoodiline juhend1991 http://www.ester.ee/record=b1188903*est

UNIX ja keel C ülevaade : metoodiline juhend1987 https://www.ester.ee/record=b1263097*est

Unmanned ground vehicle energy efficiency validation in territory surveillance missionVäljaots, Eero; Sell, Raivo; Rimasauskas, MariusMechatronic Systems and Materials VII2016 / p. 164-170 http://dx.doi.org/10.4028/www.scientific.net/SSP.251.164

Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill http://doi.org/10.4204/eptcs.207.4

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill

Visual Basic : programminäitedLuczkowski, Teodor2000 https://www.ester.ee/record=b1438674*est

БЭЙСИК-11 для СМ ЭВМ : методическое руководство1987 https://www.ester.ee/record=b1410169*est

Введение в программирование на языке anHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b2457915*est

Введение в программирование на языке БЕЙСИК для ЭВМ СМ-4 : методическое пособие1986 https://www.ester.ee/record=b1234417*est

Исследование и разработка эффективных методов реализации языков программирования : автореферат ... кандидата технических наук (01.01.10)Liib, Donald1984 https://www.ester.ee/record=b1235730*est

Исследование и разработка эффективных методов реализации языков программирования : диссертация на соискание ученой степени кандидата технических наукLiib, Donald1984 https://www.ester.ee/record=b4634734*est

Лабораторный практикум по программированию : методическое пособие1981 https://www.ester.ee/record=b1309972*est

Модель непроцедурного языка доступа к сетевой базе данныхVõhandu, Leo; Tepandi, JaakEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1981 / lk. 234-238 https://www.ester.ee/record=b1264310*est

О методах трансляции языков с проблемной ориентациейTepandi, JaakВсесоюзная конференция по методам трансляции, 3-5 февраля 1981 г. : тезисы докладов1981 / с. 75-77

О создании проблемно-ориентированного программного обеспеченияTamm, Boris, inform.; Tõugu, EnnКибернетика1975 / с. 76-85 : ил

О технологии применения атрибутных СПТVooglaid, Aare; Meriste, M.350 aastat matemaatikat Tartu Ülikoolis = 350 лет математики в Тартуском университете : ettekannete teesid1982 / lk. 91-93 https://www.ester.ee/record=b1255795*est

Об алгорифмическом языке ПЛ-ILepikson, V.; Pruuden, JuhanXVI студенческая научно-техническая конференция вузов Прибалтики, Белорусской ССР и Калининградской области, посвященная 100-летию со дня рождения В. И. Ленина : 20-25 апреля 1970 г. : (тезисы докладов). Электротехника и энергетика1970 / с. 32 https://www.ester.ee/record=b1379483*est

Об использовании сообщений транслятора PL/I при отладке программ : методическое пособие1982 https://www.ester.ee/record=b1265848*est

Об одной методике описания трансляцииLepp, MargeАвтоматизация производства пакетов прикладных программ : (автоматизация производства трансляторов) : тезисы докладов [всесоюзного одноименного семинара, 1980]1980 / с. 22-25 https://www.ester.ee/record=b1276160*est

Обработка списков на языке программирования ПЛ/IKoni, K.-K.; Niglas, K.; Jürgenson, Rein (informaatika)Тезисы докладов XXXI студенческой научно-технической конференции1980 / с. 107-108 https://www.ester.ee/record=b1319482*est

Опыт обучения языку Модула-2, сравнение его с языками Ада и ПаскальJürgenson, Rein, inform.Язык Модула-2, его реализация и использование : сборник научных трудов1989

Подпрограммы сокращенного вычисления прямого и обратного дискретных преобразований ФурьеArro, Ilmar; Smoljanski, LeonidМетоды и средства измерения, преобразования и обработки информации : [сборник статей]1987 / c. 19-38 : ил. https://www.ester.ee/record=b1272013*est

Программа, методическое руководство и контрольная работа для студентов-заочников инженерных специальностей1986 https://www.ester.ee/record=b1296503*est

Программирование ввода-вывода на языке ПЛ/1 : методическое пособие1980 https://www.ester.ee/record=b1304219*est

Программирование на Бейсике : лабораторный практикум1986 https://www.ester.ee/record=b1216970*est

Реализация семантики нечетких высказывании методом фреймовLandrat, S.; Unt, M.; Jakobson, GabrielСемантика естественных и искусственных языков в специализированных системах : тезисы докладов конференции, Ленинград, 1-2 октября 1979 г1979 / с. 93-95 https://www.ester.ee/record=b2633439*est

Самоулучшающийся метод исправления синтактических ошибокRohtla, Hanno; Võhandu, LeoАвтоматизация производства пакетов прикладных программ : (автоматизация производства трансляторов) : тезисы докладов [всесоюзного одноименного семинара, 1980]1980 / с. 66-70 https://www.ester.ee/record=b1276160*est

Сборник задач по программированию (МАЛГОЛ). Выпуск 2Võhandu, Leo; Jürgenson, Rein, inform.1974 https://www.ester.ee/record=b1347023*est

Сообщения фортрана об ошибках : методическое руководство1983 https://www.ester.ee/record=b1273140*est

Справочный материал для курса "Составление трансляторов" : синтаксический анализ1982 https://www.ester.ee/record=b1265847*est

Средства отладки резидентного компилятора языка АДА для ЭВМ СМ-1420Taveter, K.; Liib, DonaldXXX студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 8-10 апреля 1986 года : тезисы докладов. Том I, Общественные науки. Физико-математические науки. Строительство. Экономика1986 / с. 167 https://www.ester.ee/record=b1305540*est

Язык PL/I для начинающих : методическое руководство для студентов-заочников1982 https://www.ester.ee/record=b1265861*est

Язык сигналов для описания взаимодействия параллельных процессовAmitan, Irina; Romanovskii, I.Кибернетика и системный анализ : всесоюзный научно-теоретический журнал1979 / с. 73-77 https://www.ester.ee/record=b2145634*est

Язык УТОПИСТMännisalu, Mati; Tõugu, Enn; Unt, M.; Fuksman, AdolfАлгоритмы и организация решения экономических задач : сборник статей1977 / с. 80-113 https://www.ester.ee/record=b2080193*est