Searching - TalTech Research Portal

display

sort

76

journal article EST / journal article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

77

book article

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39

book article

78

newspaper article

Rahvusvaheline Eesti arvutiteadus : [arvutiteaduse teooriapäevadest. Bergeni professori loengukursusest. Arvutiteaduse talvekoolist. Tulevatest suvesündmustest]Uustalu, TarmoMente et Manu2005 / 6. apr., lk. 9, 10 : fot https://www.ester.ee/record=b1242496*est

newspaper article

79

book

Research Laboratory for Proactive Technologies : Department of Computer Control, Tallinn University of Technology : annual report 20092010 https://www.ester.ee/record=b2487393*est

book

80

journal article

Research projects concerning information technology and computer science in Estonia in 1996Tamm, Boris, inform.Baltic IT review1996 / 3, p. 59-61

journal article

81

newspaper article

Seitse aastat soosingutUustalu, TarmoMente et Manu2015 / lk. 9-11 : fot https://artiklid.elnet.ee/record=b2741003*est

newspaper article

82

book

Seventeenth Estonian Winter School in Computer Science (EWSCS'12) : Park Hotel Palmse, Lahemaa, Estonia : February 26 - March 2, 20122012 https://www.ester.ee/record=b2755687*est

book

83

book

Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 20112011 https://www.ester.ee/record=b2675473*est

book

84

book

6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedingsMatthes, Ralph; Uustalu, Tarmo2009 https://www.ester.ee/record=b2506216*est

book

85

journal article

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 http://dx.doi.org/10.1016/j.entcs.2015.12.024

journal article

86

book article

Study centre for IT foundations at Tallinn University of Technology – computer science basics to first year studentsMironova, Olga2019 IEEE Global Engineering Education Conference (EDUCON): Dubai, United Arab Emirates, 8-11 April, 2019 : proceedings2019 / p. 588-592 https://doi.org/10.1109/EDUCON.2019.8725116

book article

87

book article EST / book article ENG

SVM Time series classification of selected gait abnormalitiesRostovski, Jakob; Krivošei, Andrei; Kuusik, Alar; Ahmadov, UlviBODYNETS 2021: Body Area Networks. Smart IoT and Big Data for Intelligent Health Management : 16th EAI International Conference, BODYNETS 2021, Virtual Event, October 25-26, 2021 : proceedings2022 / 15 p https://doi.org/10.1007/978-3-030-95593-9_16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

88

newspaper article

TalTech korraldab korraga kolme suurkonverentsi arvutiteaduse lähemast ja kaugemast tulevikustgoodnews.ee2024 TalTech korraldab korraga kolme suurkonverentsi arvutiteaduse lähemast ja kaugemast tulevikust

newspaper article

89

newspaper article

Talvises Palmses arvutiteaduse musti auke lappimas : [2.-7. märtsil Palmses toimunud kaheksandast Eesti arvutiteaduse talvekoolist EWSCS'03]Uustalu, TarmoMente et Manu2003 / 1. apr., lk. 2 : fot https://www.ester.ee/record=b1242496*est

newspaper article

90

book article

Teaching computing for non-IT students : experience of Tallinn University of TechnologyMironova, Olga; Vendelin, Jelena; Amitan, Irina; Vilipõld, Jüri; Saar, Merike; Rüütmann, TiiaProceedings of 2015 IEEE Global Engineering Education Conference (EDUCON) : 18-20 March 2015, Tallinn University of Technology (TUT), Tallinn, Estonia2015 / p. 305-309 : ill http://dx.doi.org/10.1109/EDUCON.2015.7095988

book article

91

newspaper article

Tehisaju on ikka veel ähmane tulevik : [vestlus TTÜ reaalajasüsteemide professori Leo Mõtusega]Mõtus, Leo; Kello, KarlÕpetajate Leht2009 / 30. okt., lk. 16 : ill https://www.delfi.ee/artikkel/26704775/leo-motus-tehisaju-on-ikka-veel-ahmane-tulevik

newspaper article

92

newspaper article

Tehnikaülikool korraldas arvutiteaduse üritusiMente et Manu2008 / 5. dets., lk. 3 https://www.ester.ee/record=b1242496*est

newspaper article

93

book

Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 https://www.ester.ee/record=b5174218*est http://doi.org/10.1007/978-3-030-02508-3