A textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996 https://doi.org/10.1007/978-1-4614-3558-7_84 Conference Proceedings at Scopus Article at Scopus

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 https://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 https://doi.org/10.1016/j.micpro.2012.11.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Certified parsing of regular languagesFirsov, Denis; Uustalu, TarmoCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013 / p. 98 - 113 https://doi.org/10.1007/978-3-319-03545-1_7 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/

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

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

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

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

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

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

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, co-located with POPL 2020, New Orleans 20 January 2020 through 21 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, 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 https://doi.org/10.4204/EPTCS.246.8 Journal metrics at Scopus Article at Scopus Article at WOS

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; Kormiltsõn, Aleksandr; 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

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

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

Logic programmingTepandi, JaakConcise encyclopedia of software engineering1993 / p. 194-195

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 Conference proceedings at Scopus Article at Scopus Article at WOS

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 / p. 342-349 : ill https://www.amazon.com/Numerical-Control-Programming-Languages-Proceedings/dp/0720420393 https://www.ester.ee/record=b1656174*est

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

Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel Mariaarileht.delfi.ee Trialoog2024 Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvara Pawel Sobocinski: Teistmoodi matemaatikaga saame luua paremat tarkvara

Pawel Sobocinski: teistmoodi matemaatikaga saame luua paremat tarkvaraSobocinski, Pawel MariaMent et Manu2024 / lk. 14-19 : fot https://www.ester.ee/record=b1242496*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 https://www.ester.ee/record=b5694040*est

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.1985 https://www.ester.ee/record=b1233809*est

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

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

Programmeerimiskeel Turbo Pascal : objektitehnikaJürgenson, Rein, inform.Turbo Pascal & C++ : objektitehnika1994 / lk. 3-119

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 https://doi.org/10.6092/issn.1972-5787/4389 Journal metrics at Scopus Article at Scopus

Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13 https://doi.org/10.1109/TDSC.2012.73 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus

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

Simple analysis of gel images with IOCBIO gel softwareJaska, Lucia; Birkedal, Rikke; Laasmaa, Martin; Vendelin, MarkoBio-protocol2024 / art. e5053, 12 p https://doi.org/10.21769/BioProtoc.5053

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

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Structured general corecursion and coinductive graphs [extended abstract]Uustalu, TarmoEPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 20122012 / p. 55-61 https://arxiv.org/abs/1202.3502

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

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

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

Tarmo Uustalu is creating a new computer languageUustalu, TarmoEstonian Centre of Excellence in ICT Research2021 / p. 73-77 : ill http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

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

Temporally extended high-level decision diagrams for PSL assertions simulationJenihhin, Maksim; Raik, Jaan; Tšepurov, Anton; Ubar, Raimund-JohannesProceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy2008 / p. 61-68 : ill https://ieeexplore.ieee.org/document/4556029

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

Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 Article at Scopus

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 https://ceur-ws.org/Vol-1938/paper-hen.pdf Conference proceedings at Scopus Article at Scopus

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 átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / 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

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

Towards reliable code generation with an open tool : evolutions of the gene-auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France2010 / [10] p https://hal.science/hal-02267640/document

Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.Ingénieurs de l'Automobile2010 / p. 29-35 https://hal.science/hal-02267640/document

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

TranspuutridToomsalu, ArvoArvutustehnika ja Andmetöötlus1997 / 4, lk. 14-16; 5, lk. 7-11; 6, lk. 6-9; 7/8, lk. 1-6: ill

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 equivalent to dataflow analyses for imperative languagesLaud, Peeter; Uustalu, Tarmo; Vene, VarmoProceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 20052005 / [12] p https://www.sciencedirect.com/science/article/pii/S0304397506005524

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

A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 Conference Proceedings at Scopus Article at Scopus

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 https://doi.org/10.4028/www.scientific.net/SSP.251.164 Conference Proceedings at Scopus Article at Scopus

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 https://doi.org/10.4204/eptcs.207.4 Journal metrics at Scopus Article at Scopus Article at WOS

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Дополнительные средства к системе PL/1 ДОС/ЕСHärsing, H.Анализ данных. Построение трансляторов. Вопросы программирования1978 / с. 15-26 https://www.ester.ee/record=b1272492*est https://digikogu.taltech.ee/et/Item/1dbbc143-d62a-4471-af6c-c660a4af0827

Исследование и разработка эффективных методов реализации языков программирования : автореферат ... кандидата технических наук (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 : ил https://www.ester.ee/record=b5694433*est

О технологии применения атрибутных СПТ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

Система программ на языке ФОРТРАН для вариантного проектирования автомобильных дорог на ЭВМMägi, HansТеоретическое и экспериментальное исследование автомобильных дорог и автомобильного транспорта Эстонской ССР в условиях интенсивной автомобилизации1980 / с. 15-26 : илл https://www.ester.ee/record=b1266627*est https://digikogu.taltech.ee/et/Item/8122d88a-e4dc-4b15-9e54-f45c7bcaf2f9

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

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

Сравнение эффективности языков программирования и СУБД для создания и обработки баз данных и локальные вычислительные сетиФишкис, Владимир; Левченков, Анатолий35 научная конференция студентов втузов Эстонии, Латвии, Литвы, Белоруссии и Молдовы : [Таллинн, 1991] : докдады. Секция математики [и др.]1991 / с. 21-25

Средства отладки резидентного компилятора языка АДА для ЭВМ СМ-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