Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel ajalehes

Eesti robotitarkvara tekitab kogu maailmas ahhaa-elamuseAljas, Riin; Sell, RaivoEesti Päevaleht2013 / lk. 2-3 https://epl.delfi.ee/artikkel/67383412/eesti-robotitarkvara-tekitab-kogu-maailmas-ahhaa-elamuse

artikkel ajalehes

52

artikkel ajalehes

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

artikkel ajalehes

53

raamat

Eesti-inglise-saksa-vene infosõnastik : andmetöötlus, arvutustehnika, dokumendid, infootsing, infosüsteemid, paljundus ja trükk, programmimine, raamatukogundus = Information science and processing vocabulary : Estonian-English-German-Russian = Wörterbuch des Informationswesens : Estnisch-Englisch-Deutsch-Russisch = Словарь по информатике и обработке информации : эстонско-англо-немецко-русский1977 http://www.ester.ee/record=b1258729*est

raamat

54

artikkel ajakirjas

Ekstremaalprogrammeerimisest ehk muudatuste absolutiseerimisest : [toimetaja veerg]Leis, PaulA & A2000 / 4, lk. 3

artikkel ajakirjas

55

artikkel ajalehes

Elektroonikaettevõte premeerib kahte IT-tudengit 2500-eurose stipendiumiga [Võrguväljaanne]goodnews.ee2021 "Elektroonikaettevõte premeerib kahte IT-tudengit 2500-eurose stipendiumiga"

artikkel ajalehes

56

artikkel kogumikus

ELMA as an instrumental system for building practical programming systemsLepp, Marge; Vooglaid, Aare; Võhandu, LeoData processing. Compiler writing. Programming1986 / p. 85-91

artikkel kogumikus

57

artikkel kogumikus

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

artikkel kogumikus

58

artikkel kogumikus

Environment for distance study of embedded system programmingErnits, Margus; Tammemäe, KalleAMIES 2008 - 7th International Conference and Workshop on Ambient Intelligence and Embedded Systems : 10 - 12 September, 2008 Kiel, Germany2008 / 8 p. : ill

artikkel kogumikus

59

artikkel ajalehes

Esmakordne programmeerimislaager toob kokku 50 noort [Võrguväljaanne]saartehaal.postimees.ee2022 Esmakordne programmeerimislaager toob kokku 50 noort

artikkel ajalehes

60

artikkel kogumikus

Evolutsiooniline programmeeriminePenjam, JaanInformaatika perspektiivsed suunad : Eesti Teaduste Akadeemia seminari materjalid : 29.11.20002000 / lk. 5-9 : ill

artikkel kogumikus

61

artikkel ajakirjas

Exact and stable least squares solution to the linear programming problemÜbi, EvaldCentral European journal of mathematics2005 / 2, [14] p https://eudml.org/doc/268717

artikkel ajakirjas

62

artikkel kogumikus

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/

artikkel kogumikus

63

artikkel ajakirjas EST / artikkel ajakirjas ENG

FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platformsLoni, Mohammad; Zoljodi, Ali; Majd, Amin; Ahn, Byung Hoon; Daneshtalab, Masoud; Sjödin, Mikael; Esmaeilzadeh, HadiIEEE Transactions on Systems, Man, and Cybernetics : Systems2022 / p. 5222-5234 : ill https://doi.org/10.1109/TSMC.2021.3123136 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

64

artikkel kogumikus

Force-based feedback for haptic device of mobile assembly robotLukin, Aleksandr; Demidova, Galina; Rassõlkin, Anton; Vaimann, Toomas; Roozbahani, Hamid2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 20202020 / 5 p. : ill https://doi.org/10.1109/IWED48848.2020.9069581

artikkel kogumikus

65

artikkel ajakirjas

ForewordVain, Jüri; Uustalu, TarmoProceedings of the Estonian Academy of Sciences. Physics. Mathematics2003 / 4, p. 334 https://artiklid.elnet.ee/record=b1014450*est

artikkel ajakirjas

66

artikkel kogumikus

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

artikkel kogumikus

67

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

68

raamat

14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstractsVain, Jüri; Uustalu, Tarmo2002 https://www.ester.ee/record=b1710210*est

raamat

69

artikkel kogumikus

From design formulas to parallel implementationsKääramees, Marko; Hansen, M.Selected Papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 19971997 / p. 129-136

artikkel kogumikus

70

artikkel kogumikus

A game programming courseHenno, Jaak; Jaakkola, Hannu; Linna, PetriMIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings2011 / p. 1156-1159 : ill

artikkel kogumikus

71

artikkel kogumikus

Game programming course - creative design and developmentHenno, Jaak; Jaakkola, HannuMIPRO 2008 : 31th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 26-30, Opatija, Croatia : proceedings. IV2008 / p. 86-88 https://www.researchgate.net/publication/26584724_Game_Programming_Course_-_Creative_Design_and_Development

artikkel kogumikus

72

artikkel ajakirjas

Game programming course - creative design and developmentHenno, Jaak; Jaakkola, HannuInternational journal of emerging technologies in learning (iJET)2008 / MIPRO2008, p. 14-17

artikkel ajakirjas

73

raamat

Game programming coursebookHenno, Jaak2011 http://www.ester.ee/record=b2777189*est

raamat

74

artikkel kogumikus

Generating directed tests for C programs using RTL ATPGRaik, Jaan; Drenkhan, Tiia; Jenihhin, Maksim; Viilukas, Taavi; Karputkin, Anton; Tšepurov, Anton; Ubar, Raimund-JohannesProceedings of the IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)2012 / p. 1-6

artikkel kogumikus

75

artikkel kogumikus

Generating situation awareness in cyber-physical systems : creation and exchange of situational informationPreden, Jürgo-SörenCODES '14 : proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis2014 / [3] p. : ill

artikkel kogumikus

programmeerimine (märksõna)

teaviku laadid

märksõna 7