Otsing - TalTech teadusportaal

kuva

reasta

101

artikkel ajalehes

TTÜ osaleb kahe tippkeskuse töös : [Arvutiteaduse tippkeskus ja Integreeritud elektroonikasüsteemide ja biomeditsiinitehnika tippkeskus]Nassar, BiaStudioosus2008 / sept., lk. 9

artikkel ajalehes

102

raamat

21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]2018 http://doi.org/10.4230/lipics.types.2015.0 http://www.dagstuhl.de/dagpub/978-3-95977-030-9

raamat

103

raamat

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 http://www.ester.ee/record=b4473137*est

raamat

104

dissertatsioon

A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusestVeltri, Niccolo2017 https://digi.lib.ttu.ee/i/?7631

dissertatsioon

105

artikkel ajalehes

Uued teaduse tippkeskused : [Arvutiteaduse tippkeskus ning Integreeritud elektroonikasüsteemide ja biomeditsiinitehnika tippkeskus TTÜs : lühisõnum]Mente et Manu2008 / 29. aug., lk. 2 https://www.ester.ee/record=b1242496*est

artikkel ajalehes

106

artikkel kogumikus

WelcomeFridolin, IvoEstonian Centre of Excellence in ICT Research2021 / p. 3 : portr https://www.ester.ee/record=b5456158*est http://www.digar.ee/id/nlib-digar:634779

artikkel kogumikus

107

artikkel ajalehes

Viimased (?) teooriapäevad Vanaõuel : [Tallinna-Tartu vahelised arvutiteaduse teooriapäevad, osavõtjad ka TTÜst]Kamm, LiinaMente et Manu2007 / 14. nov., lk. 2 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes

108

artikkel ajakirjas

Viimased teooriapäevad Vanaõuel : [Tallinna-Tartu vahelistel arvutiteaduse teooriapäevadel osales ka TTÜ]Kamm, LiinaA & A2007 / 5, lk. 55-56

artikkel ajakirjas

109

raamat

Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings2006 http://www.ester.ee/record=b2155741*est

raamat

110

artikkel ajalehes

Välisõppejõu kraadiõppekursus arvutiteadusest : [8.-15. septembril TTÜs, peab Nottinghami Ülikooli lektor dr. Thorsten Altenkirch]Mente et Manu2003 / lk. 3 https://www.ester.ee/record=b1242496*est

artikkel ajalehes

111

artikkel ajalehes

Värv ja sära Palmses : [13. Eesti arvutiteaduse talvekoolist]Uustalu, TarmoMente et Manu2008 / lk. 2 : fot https://artiklid.elnet.ee/record=b2380423*est

artikkel ajalehes

112

artikkel ajakirjas

Värv ja sära Palmses : [13. Eesti arvutiteaduse talvekoolist]Uustalu, TarmoA & A2008 / lk. 58-59 : fot https://artiklid.elnet.ee/record=b2380423*est

artikkel ajakirjas

113

artikkel kogumikus

Ühised vaatepunktid keemias, matemaatikas ja arvutimõtlemisesUgi, Ivar KarlEesti Keemia Selts 751994 / lk. 29-45 https://www.ester.ee/record=b1065478*est

artikkel kogumikus

arvutiteadus (märksõna)

teaviku laadid

märksõna 1