Searching - TalTech Research Portal

display

sort

26

book article

Categories, automata and splicing systemsKaljulaid, U.; Penjam, JaanProceedings of 9th Nordic Workshop on Programming Theory1997

book article

27

journal article

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

journal article

28

book article EST / book article ENG

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

book article EST / book article ENG

29

book article EST / book article ENG

Challenges of teaching programming in StackOverflow eraPöial, JaanusEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 703-710 https://doi.org/10.1007/978-3-030-68198-2_65 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

30

journal article

Circuit partitioning method for FPGAsKrupnova, Helena; Saucier, GabrieleProceedings of the Estonian Academy of Sciences. Engineering1997 / 4, p. 283-292

journal article

31

book article EST / book article ENG

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

32

dissertation

Combination of pedagogical strategies and teaching techniques for teaching computer science basics to novices = Pedagoogika strateegiate ja õpetamise tehnikate kombinatsioon informaatika algkursuse õpetamisel algajateleMironova, Olga2017 https://digi.lib.ttu.ee/i/?8745 https://www.ester.ee/record=b4696923*est

dissertation

33

journal article

"Commodore" seminarHenno, JaakArvutustehnika ja Andmetöötlus : A&A1987 / lk. 27-29 https://www.ester.ee/record=b1071940*est

journal article

34

book article

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, Marc6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts2012 / p. 147 https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

book article

35

journal article EST / journal article ENG

Complexity of atoms of regular languagesBrzozowski, Janusz; Tamm, HellisInternational Journal of Foundations of Computer Science2013 / p. 1009 - 1027 https://doi.org/10.1142/S0129054113400285 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

36

book article

A compositional approach to signal flow graphsSobocinski, Pawel Maria31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 2 https://doi.org/10.23658/taltech.nwpt/2019

book article

37

book article

Computing the dynamic response of hydraulic systems using knowledge-based programmingGrossschmidt, Gunnar; Pahapill, JaakModelling and simulation : Sixth Bath International Fluid Power Workshop, held at the University of Bath, England, 23rd-24th September 19931994 / p. 116-129: ill

book article

38

book article

Concept of hardware-in-the-loop test platform for microgrid with multi-agent approachKuzin, Aleksei; Lukichev, Dmitry; Demidova, Galina; Anuchin, Alecksey2020 IEEE 61st International Scientific Conference on Power and Electrical Engineering of Riga Technical University (RTUCON), Riga, Latvia, Nov. 5-7, 2020 : conference proceedings2020 https://doi.org/10.1109/RTUCON51174.2020.9316626

book article

39

book article

Concurrent monads for shared stateRivas, Exequiel; Uustalu, TarmoProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming2024 / art. 17 https://doi.org/10.1145/3678232.3678249 Article at Scopus Article at WOS

book article

40

journal article EST / journal article ENG

A cost-effective electric vehicle intelligent charge scheduling method for commercial smart parking lots using a simplified convex relaxation techniqueJawad, Muhammad; Qureshi, Muhammad Bilal; Ali, Sahibzada Muhammad; Shabbir, Noman; Khan, Muhammad Usman; Aloraini, Afnan; Nawaz, RaheelSensors2020 / p. 1-19 https://doi.org/10.3390/s20174842 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

41

book

Data processing. Problems of programmingAmitan, Irina1993 https://www.ester.ee/record=b1065193*est

book

42

book

Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 https://doi.org/10.1007/978-3-030-57672-1

book

43

book article

Designing reliable cyber-physical systems : overview associated to the special session at FDL'16Aleksandrowicz, Gadi; Arbel, Eli; Bloem, Roderick; Devadze, Sergei; Jenihhin, Maksim; Jutman, Artur; Raik, Jaan; Shibin, KonstantinThe 2016 Forum on Specification & Design Languages : proceedings : Bremen, Germany, September 14-16, 20162016 / [8] p. : ill https://doi.org/10.1109/FDL.2016.7880382

book article

44

book article

Developing curiosity and multimedia skills with programming experiments [Electronic resource]Henno, Jaak; Jaakkola, Hannu; Mäkelä, Jukka2017 40th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), May 22 - 26, 2017, Opatija, Croatia : proceedings2017 / p. 694-699 : ill. [CD-ROM] http://doi.org/10.23919/MIPRO.2017.7973512

book article

45

book article EST / book article ENG

Difficulties in understanding object oriented programming conceptsBiju, Soly MathewInnovations and advances in computer, information, systems sciences, and engineering2013 / p. 319 - 326 https://doi.org/10.1007/978-1-4614-3535-8_27 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

46

book article

Digital Twin : concept of hybrid programming for industrial robots - use caseKuts, Vladimir; Sarkans, Martinš; Otto, Tauno; Tähemaa, Toivo; Bondarenko, YevhenASME 2019 International Mechanical Engineering Congress and Exposition : conference proceedings2019 / Paper No: IMECE2019-10583, V02BT02A005; 8 pages https://doi.org/10.1115/IMECE2019-10583

book article

47

journal article EST / journal article ENG

Digital twin for FANUC robots: Industrial robot programming and simulation using virtual realityGarg, Gaurav; Kuts, Vladimir; Anbarjafari, GholamrezaSustainability (Switzerland)2021 / Art. 10336 https://doi.org/10.3390/su131810336 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

48

book article EST / book article ENG

Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 https://doi.org/10.4204/eptcs.207.5 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

49

journal article EST / journal article ENG

Distributive laws of directed containersAhman, Danel; Uustalu, TarmoProgress in Informatics2013 / p. 3-18 https://doi.org/10.2201/NiiPi.2013.10.2 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

50

newspaper article

Eesti insener pani püsti tarkvaraäri, mida juhib tehisarugaEinama, Kaidopostimees.ee2024 Eesti insener pani püsti tarkvaraäri, mida juhib tehisaruga

newspaper article

programmeerimine (subject term)

types of item

subject term 7