A&A 2004. aasta plaanidestLeis, PaulA & A : [infotehnoloogia ajakiri]2004 / 1, lk. 3-4

Aleksander Voldek Eesti arvutiteaduse edendajana : [ettekanne seminaril Akadeemik Aleksander Voldek 100 1. aprillil 2011 TTÜs]Tõugu, EnnTallinna Tehnikaülikooli aastaraamat 20112012 / lk. 254-255

Algoritmiline andekus ja mida sellega peale hakataTõugu, EnnSirp2017 / lk. 8-9 : fot http://www.sirp.ee/s1-artiklid/c21-teadus/algoritmiline-andekus-ja-mida-sellega-peale-hakata/

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

Array programming with NumPyHarris, Charles R.; Millman, K. Jarrod; van der Walt, Stefan J.; Peterson, PearuNature2020 / p. 357-362 https://doi.org/10.1038/s41586-020-2649-2 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Arvutiteadlased kogunevad märtsi alguses rahvusvahelisse talvekooli : [2.-7. märtsil 2003 korraldab TTÜ küberneetika instituut koos TTÜ arvutiteaduse instituudi ja TÜ arvutiteaduse instituudiga Palmses VIII Eesti Arvutiteaduse Talvekooli kraadiõppuritele : EWSCS'03]Üliõpilasleht2003 / 19. veebr., lk. 7

Arvutiteadlaste koolid ja seminaridUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20032004 / lk. 302-305

Arvutiteadus ja infotehnoloogia EestisUustalu, TarmoEesti aastaraamat 2002-20032002 / lk. 255-259

Arvutiteadus sulle, TTÜ kraadiõppur : [TTÜ Küberneetika Instituudi korraldatud arvutiteaduse konverentsidest ja teooriapäevast 28.-30. okt. Viinistus]Saabas, AndoMente et Manu2005 / 16. nov., lk. 3 : fot https://www.ester.ee/record=b1242496*est

Arvutiteadus uurib ka loodust : [kommenteerib TTÜ teadur Tarmo Uustalu]Uustalu, Tarmo; Laurisaar, RihoEesti Päevaleht2009 / 24. sept., lk. 24 https://epl.delfi.ee/artikkel/51178534/arvutiteadus-uurib-ka-loodust

Arvutiteadus, suusad ja saun : [3.-5. veebr. Arulas toimunud arvutiteaduse teooriapäevadest, osalejad TTÜ Küberneetika Instituudist, TTÜst, TÜst, mujalt Eestist ja Leicesteri Ülikoolist]Uustalu, TarmoMente et Manu2003 / 11. veebr., lk. 1, 2 : fot https://www.ester.ee/record=b1242496*est

Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]Uustalu, TarmoA & A2007 / 2, lk. 50-51 : fot

Arvutiteaduse teooriapäevad 3: Pedase : [toimusid 3.-5. okt. 2003 Pedase hotellis Vihterpalu lähistel]Saabas, AndoMente et Manu2003 / 20. okt., lk. 6 : fot https://www.ester.ee/record=b1242496*est

Arvutiteaduse teooriapäevad Veskisillal - IT doktorikool tegelikkuses! : [TTÜ Küberneetika Instituudi korraldatud viiendatest arvutiteaduse teooriapäevadest 1.-3. okt. Järvamaal]Saabas, AndoMente et Manu2004 / 20. okt., lk. 4 : fot https://www.ester.ee/record=b1242496*est

Arvutiteaduse teooriat Rõuges : [10. Eesti arvutiteaduse teooriapäevadest]Uustalu, TarmoMente et Manu2007 / 21. veebr., lk. 2 : fot https://www.ester.ee/record=b1242496*est

Arvutiteaduse tippkeskusUustalu, TarmoEesti Päevaleht2012 / Eesti teaduse tippkeskused, lk. 4

Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]Uustalu, TarmoArvutimaailm2008 / 9, lk. 12 : portr

Arvutiteaduse tippkeskuse EXCS avalöök : [TTÜ 90. aastapäeva raames 18.-19. sept. 2008 toimuvast seminarist]Uustalu, TarmoMente et Manu2008 / 12. sept., lk. 2 https://www.ester.ee/record=b1242496*est

Arvutiteaduslik ekstsellentsusUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20082009 / lk. 15-18

CLD : an accurate, cost-effective and scalable run-time Cache Leakage DetectorShalabi, Ameer; Ghasempouri, Tara; Ellervee, Peeter; Raik, Jaan2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : Vienna, Austria, 07-09 April 20212021 / p. 127-132 : ill https://doi.org/10.1109/DDECS52668.2021.9417071

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Comparative analysis of pattern mining algorithms for event logsGasimov, Orkhan; Vaarandi, Risto; Pihelgas, Mauno2023 IEEE International Conference on Cyber Security and Resilience (CSR) : Venice, Italy, 20232023 / 7 p https://doi.org//10.1109/CSR57506.2023.10224996

Computer science E-courses for students with different learning stylesMironova, Olga; Amitan, Irina; Vilipõld, Jüri; Saar, Merike; Rüütmann, Tiia2013 Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Krakow, Poland2013 / p. 735-738 : ill

Computer-aided learning of computer scienceHenno, Jaak; Kitsnik, Peeter; Linna, M.5th World Conference on Continuing Engineering Education, June 2-5, 1992, Espoo : proceedings1992 / p. 997-1002: ill., portr

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Data science-based techniques for modelling and diagnostics of battery cells based on end-of-life criteriaGilbert Zequera, Rolando Antonio; Rassõlkin, Anton; Vaimann, Toomas; Kallaste, Ants2023 International Conference on Electrical Drives and Power Electronics (EDPE)2023 / 6 p https://doi.org/10.1109/EDPE58625.2023.10274007

Detecting Simpson’s paradox : a machine learning perspectiveSharma, Rahul; Garayev, Huseyn; Kaushik, Minakshi; Arakkal Peious, Sijo; Tiwari,Prauag; Draheim, DirkDatabase and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings. Part I2022 / p. 323-335 : ill https://doi.org/10.1007/978-3-031-12423-5_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Dmitri Vinnikov valiti tehnika- ja arvutiteaduste akadeemikuksMente et Manu2021 / lk. 7 https://www.ester.ee/record=b1242496*est

Education 4.0 in higher education and computer science : a systematic reviewRienties, Bart; Ferguson, Rebecca; Gonda, Dalibor; Hajdin, Goran; Herodotou, Christothea; Iniesto, Francisco; Llorens Garcia, Ariadna; Muccini, Henry; Sargent, Julia; Virkus, Sirje; Isidori, Maria VittoriaComputer Applications in Engineering Education2023 / p. 1339 - 1357 https://doi.org/10.1002/cae.22643 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]Uustalu, TarmoIT ja Side2005 / 6, lk. 15

Eesti vallutavad sajad arvutiteaduse tipudpostimees.ee2024 Eesti vallutavad sajad arvutiteaduse tipud Tallinnas tunnustati maailma parimaid arvutiteadlasi

Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 20062006 https://www.ester.ee/record=b2123434*est

11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions2012 https://www.ester.ee/record=b2769329*est

Esimene arvutiteaduse teooriapäevUustalu, TarmoUniversitas Tartuensis2002 / 8. nov., lk. 2

Estonian Centre of Excellence in ICT ResearchSaarmann, Tanel; Hanson, Martin2021 http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

Evaluation of research in ICT in Estonia 2009-20142015 https://www.ester.ee/record=b4469098*est

Fifteenth Estonian Winter School in Computer Science (EWSCS'10) : Park Hotel Palmse, Lahemaa, Estonia : February 28 - March 5, 20102010 https://www.ester.ee/record=b2562080*est

Finding the description of structure by counting method : a case studyPeder, Ahti; Tombak, MatiSOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings2011 / p. 455-466 : ill https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / p. 3-19 https://doi.org/10.1007/978-3-030-59003-1_1 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / p. 538-549 https://doi.org/10.1007/978-3-030-29436-6_32 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

HDL-s for students with different backgroundReinsalu, Uljana; Arhipov, Anton; Evartson, Teet; Ellervee, PeeterProceedings MSE 2007 : 2007 IEEE International Conference on Microelectronic Systems Education : 3-4 June 2007, San Diego, CA2007 / p. 69-70 https://ieeexplore.ieee.org/document/4231454

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 https://doi.org/10.2168/LMCS-11(1:1)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Holistic web-based Virtual Micro Controller Framework for research and educationSeiler, Sven; Sell, Raivo; Ptasik, Dennis; Bölter, MartinInternational journal of online engineering2012 / p. 58-64 https://online-journals.org/index.php/i-joe/article/view/2169

Humanistic computer science dangerous?Tepandi, JaakGeneral systems approaches to alternative economics and values : proceedings of the 36th annual meeting of the International Society for the System Sciences, Denver, Colorado, USA, July 12-17, 19921992 / p. 1172-1180

Individual learning approach in the basic course of computer scienceMironova, Olga; Amitan, Irina; Vendelin, Jelena; Saar, MerikeAdvances in education research2013 / p. 40-45

InformaatikainstituutJürgenson, Rein, inform2012 http://www.ester.ee/record=b2896275*est

Introductory remarks [Online resource]Osula, Anna-Maria; Maennel, Olaf ManuelProceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology2015 / p. 5 http://cybercentre.cs.ttu.ee/en/icr2015/

Joint Proceedings of Baltic DB&IS 2022 Doctoral Consortium and Forum co-located with 15th International Baltic Conference on Digital Business and Intelligent Systems (Baltic DB&IS 2022)2022 https://ceur-ws.org/Vol-3158/

[20. oktoobril esines TTÜ Küberneetika Instituudis arvutiteaduse seminaril instituudi vanemteadur Wolfgang Jeltsch : foto allkirjaga]Mente et Manu2011 / lk. 1 : fot https://www.ester.ee/record=b1242496*est

Kakskümmend aastat hiljem : [vestlus arvutisüsteemide dignostika ja verifitseerimise õppetooli professori Jaan Raikiga]Raik, JaanMente et Manu2013 / lk. 10-12 : fot https://www.ester.ee/record=b1242496*est

Kokelt Palmsesse - arvutiteaduse probleemid kaasas : [IV Eesti arvutiteaduse teooriapäevad 30. jaan.-1. veebr. 2004 Harjumaal Kokel ja 9. Eesti Arvutiteaduse Talvekool 29. veebr.-5. märts 2004 Palmses]Uustalu, TarmoMente et Manu2004 / 30. märts, lk. 6 : fot https://www.ester.ee/record=b1242496*est

Kolme mehe kõnelused : [Küberneetika Instituudi teadlased Boris Tamm, Nikolai Alumäe ja Hillar Aben]Veskimäe, Rein; Tamm, Boris, inform.; Alumäe, Nikolai; Aben, HillarPõline partituur : Eesti teadlased horisondil2007 / lk. 125-130 : portr

Kuhu lähed, automaatika? : ettekanne XXXIII automaatikapäeval 11. märtsil 1995 TTÜ aulasMõtus, LeoTallinna Tehnikaülikooli aastaraamat 19951996 / lk. 129-139

Küberneetika Instituut Eesti arvutiteaduses : [ettekanne konverentsil "50 aastat Küberneetika Instituudi loomisest" 3. septembril 2010 Küberneetika maja saalis]Tõugu, EnnTallinna Tehnikaülikooli aastaraamat 20102011 / lk. 130-136

Küberruumi turvalisus on igaühe asiTõugu, EnnPostimees2017 / AK, lk. 11

Masinad on üha targemad, mis edasi saab?Tõugu, EnnPostimees2017 / AK, lk. 10 https://teadus.postimees.ee/4005457/enn-tougu-masinad-on-uha-targemad-mis-edasi-saab

Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedingsUustalu, Tarmo2006 https://www.ester.ee/record=b2160527*est

A method for adding cyberethical behaviour measurements to computer science homework assignmentsMäses, Sten; Aitsam, Heleri; Randmann, Liina19th Koli Calling Conference on Computing Education Research Koli Calling 2019 : November 21-24, 2019, Koli, Finland : proceedings2019 / 5 p. : ill https://doi.org/10.1145/3364510.3364529 Conference proceedings at Scopus Article at Scopus Article at WOS

[1000000 eurot on TTÜ arvutitehnika instituudi projekti TUTORIAL kogumaksumus : lühisõnum]Horisont2016 / lk. 4

Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 https://doi.org/10.2168/LMCS-11(1:3)2015 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

Network-on-ReRAM for scalable processing-in-memory architecture designDabiri, Bita; Modarressi, Mehdi; Daneshtalab, Masoud24th Euromicro Conference on Digital System Design (DSD)2021 https://doi.org/10.1109/DSD53832.2021.00031

Niccolò Veltri tarkvarateaduse instituudist sai vabariigi presidendi noore IT-teadlase preemiaMente et Manu2022 / lk. 6 : fot https://www.ester.ee/record=b1242496*est

Ontoloogia mõistest arvutiteaduses ja tarkvaratehnikasHaav, Hele-MaiA & A2008 / 6, lk. 8-18

Paljastus sajandi suurim tarkvaraprobleemPiir, Rait; Malmberg, Kristi; Tammet, TanelPostimees2018 / lk. 10 TTÜ professor suurest kiibiveast: paljastus sajandi tõsiseim turvaprobleem

Palmse, märts ja teoreetiline arvutiteadusUustalu, TarmoMente et Manu2016 / lk. 7-9 : fot https://artiklid.elnet.ee/record=b2758759*est

Paneme masina aru andmaUustalu, TarmoPostimees2016 / AK, lk. 9

PrefaceFischer, Bernd; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 / p. V-VI https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 Conference Proceedings at Scopus Article at Scopus

PrefaceAlam, Muhammad Mahtab; Hämäläinen, Matti; Mucchi, Lorenzo; Niazi, Imran Khan; Le Moullec, YannickBody Area Networks. Smart IoT and Big Data for Intelligent Health : 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020 : proceedings2020 / p. V https://link.springer.com/content/pdf/bfm:978-3-030-64991-3/1?pdf=chapter%20toc https://doi.org/10.1007/978-3-030-64991-3 Conference proceeding Article at Scopus

PrefaceRobal, Tarmo; Kalibatiene, Diana; Karnitis, Girts; Ivanovic, Mirjana; Kirikova, Marite; Niedrite, Laila; Borzovs, JurisJoint Proceedings of Baltic DB&IS 2022 Doctoral Consortium and Forum co-located with 15th International Baltic Conference on Digital Business and Intelligent Systems (Baltic DB&IS 2022)2022 / p. ii https://ceur-ws.org/Vol-3158/xpreface.pdf

Proceedings of the 1st Interdisciplinary Cyber Research Workshop 2015 : 18th of July 2015, Tallinn University of Technology [Online resource]2015 http://cybercentre.cs.ttu.ee/en/icr2015/

Proceedings of the 2nd Interdisciplinary Cyber Research Workshop 2016 [Online resource]2016 http://cybercentre.cs.ttu.ee/wp/wp-content/uploads/2016/03/CRW_2016_lingitud.pdf http://www.ester.ee/record=b4579694*est

Proceedings of the 3rd Interdisciplinary Cyber Research Workshop 2017 : 8th of July 2017 [Online resource]2017 http://www.ester.ee/record=b4684355*est https://www.ttu.ee/public/k/kyberkriminalistika_ja_kyberjulgeoleku_keskus/crw2017_final.pdf

Proceedings of the 4th Interdisciplinary Cyber Research Workshop 2018 : 9th of June 2018 [Online resource]2018 https://www.ttu.ee/public/k/kyberkriminalistika_ja_kyberjulgeoleku_keskus/CRW_2018_lingitud.pdf https://www.ester.ee/record=b5139478*est

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

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

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

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

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

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

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

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

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

Special track on Intelligent Systems for Digital Era (ISDE)2024 https://doi.org/10.1145/3605098

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

Student centred teaching approach for the informatics courseMurtazin, Kristina; Vendelin, JelenaFuture computers in education : June 1-2, 2012, Shanghai, China2012 / p. 227-232 : ill

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

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

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

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

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

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

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

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

Thirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia : March 2-7, 20082008 https://www.ester.ee/record=b2356668*est

Tipptaseme arvutiteaduse konverents Tallinnas : [23. sept.-1. okt. : korraldas TTÜ Küberneetika Instituut]Uustalu, TarmoMente et Manu2005 / 5. okt., lk. 3 https://www.ester.ee/record=b1242496*est

Toimetajalt : [10 aastat ajakirja A&A]Leis, PaulA & A2008 / 1, lk. 3-5

Toimus esimene arvutiteaduse teooriapäev : [16.-17. okt. Roosta puhkekülas Noarootsis : korraldas TTÜ Küberneetika Instituut]Uustalu, TarmoMente et Manu2002 / 29. okt., lk. 1, 4 https://www.ester.ee/record=b1242496*est

TTÜ arvutitehnika instituut sai 50-aastaseksKruus, MargusMente et Manu2017 / lk. 38-39 : fot http://www.ttu.ee/public/m/mente-et-manu/MM_01_2017/index.html https://artiklid.elnet.ee/record=b2811478*est

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

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

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

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

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

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

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

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

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

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

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

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

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