Otsing - TalTech teadusportaal

kuva

reasta

276

artikkel ajakirjas EST / artikkel ajakirjas ENG

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theoryMannaa, Bassel; Mogelberg, Rasmus Ejlers; Veltri, NiccoloLogical Methods in Computer Science2020 / p. 17:1 - 17:31 https://doi.org/10.23638/LMCS-16(4:17)2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

277

artikkel kogumikus EST / artikkel kogumikus ENG

To sustainable programmingHenno, Jaak; Jaakkola, Hannu; Mäkelä, JukkaSQAMIA 2024 : Software Quality Analysis, Monitoring, Improvement, and Applications 2024 : Proceedings of the Eleventh Workshop on Software Quality Analysis, Monitoring, Improvement, and ApplicationsNovi Sad, Serbia, September 9-11, 20242024 / 10 p. https://ceur-ws.org/Vol-3845/paper15.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

278

artikkel kogumikus EST / artikkel kogumikus ENG

Towards an architecture for e-learning infrastructures on a national level : a case study of AfgRENSaay, Mohammad Salim; Norta, Alexander; Laanpere, MartCurrent Developments in Web Based Learning : ICWL 2015 International Workshops, KMEL, IWUM, LA, Guangzhou, China, November 5-8, 2015 : revised selected papers2016 / p. 98-107 : ill https://doi.org/10.1007/978-3-319-32865-2_11 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

279

raamat

Transactions of the Faculty of EconomicsAmitan, Irina; Võhandu, Leo; Tepandi, Jaak; Trausan-Matu, S.; Parmakson, Priit; Henno, Jaak; Õunapuu, Enn; Kuusik, Rein, inform.; Võhandu, Priit; Regi, Kai; Lumberg, Tõnu; Elmik, Lea; Vapper, Tiit; Roost, Mart1989 https://www.ester.ee/record=b1211387*est

raamat

280

raamat

Transactions of the Faculty of EconomicsAmitan, Irina1991

raamat

281

artikkel kogumikus

Translaator keelest WANG 2200 Beisik keelde PL/I-DOSPaluoja, R.; Vooglaid, AareXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 146-147 https://www.ester.ee/record=b2449987*est

artikkel kogumikus

282

artikkel ajakirjas

Truth valued computing processes and process calculus: a formalism for describing programming logicKracht, WilhelmTallinna Tehnikaülikooli Toimetised1990 / lk. 55-94: ill

artikkel ajakirjas

283

artikkel ajakirjas

TTÜ dotsendi juhtimisel tuli Eestisse Euroopa suurandmete võistluse III kohtMente et Manu2017 / lk. 6 : fot https://www.ttu.ee/public/m/mente-et-manu/MM_03_2017/mobile/index.html#p=1 https://artiklid.elnet.ee/record=b2820623*est

artikkel ajakirjas

284

artikkel ajalehes

«Tudeng ei suuda üle 20 minuti kuulata. Pärast seda on ta rajalt maas»Lomp, Loora-Elisabetpostimees.ee2025 https://www.postimees.ee/8321524/tudeng-ei-suuda-ule-20-minuti-kuulata-parast-seda-on-ta-rajalt-maas

artikkel ajalehes

285

raamat

20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstractsUustalu, Tarmo; Vain, Jüri; Ernits, Juhan-Peep2008 https://www.ester.ee/record=b2435749*est

raamat

286

artikkel ajakirjas

Tõeline Programmeerija ei kasuta PascalitLuczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 4, lk. 41-43

artikkel ajakirjas

287

artikkel ajakirjas

Understanding Java Card 2.0Giorgio, Rinaldo Di; Chen, ZhiqunA & A1998 / 3, lk. 26-36: ill

artikkel ajakirjas

288

artikkel kogumikus

Upwards accumulations and comonad structure : (abstract)Uustalu, Tarmo; Vene, Varmo14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 95-96

artikkel kogumikus

289

artikkel ajakirjas

Using SAT-based techniques in low power state assignmentSagahyroon, Assim; Aloul, Fadi; Sudnitsõn, AleksanderJournal of circuits, systems, and computers2011 / p. 1605-1618 : ill https://www.worldscientific.com/doi/10.1142/S0218126611007980

artikkel ajakirjas

290

artikkel kogumikus

Using satisfiability modulo theories to analyse model programsVeanes, Margus; Saabas, AndoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 149-150

artikkel kogumikus

291

artikkel ajakirjas

Uue põlvkonna vahendid programmeerimise õppimiseksAllik, Kaarel; Amitan, Irina; Antoi, Kersti; Übi, Jaan; Vilipõld, JüriA & A2011 / 1, lk. 41-49 : ill

artikkel ajakirjas

292

artikkel ajalehes

Uus magistrikava avab lõpetajatele uksed nutikasse maailma tarkadest majadest rohepöördenipostimees.ee2023 Uus magistrikava avab lõpetajatele uksed nutikasse maailma tarkadest majadest rohepöördeni TalTech avab elektroonikainseneridele suunatud magistrikava

artikkel ajalehes

293

artikkel kogumikus EST / artikkel kogumikus ENG

Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill https://doi.org/10.4204/eptcs.207.4 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

294

artikkel kogumikus EST / artikkel kogumikus ENG

VEDA - moVE DAta to balance the grid : research directions and recommendations for exploiting data centers flexibility within the power systemZiagham Ahwazi, Amin; Bordin, Chiara; Mishra, Sambeet; Ha, Phuong H.; Horsch, AlexanderICSCC '21: Proceedings of the 2021 6th International Conference on Systems, Control and Communications2021 / p. 13-18 https://doi.org/10.1145/3510362.3510365 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

295

artikkel ajakirjas

Visual Basic ja ExcelLuczkowski, TeodorArvutikasutaja2005 / 6, lk. 17-18 https://artiklid.elnet.ee/record=b1050389*est

artikkel ajakirjas

296

artikkel ajakirjas

Värviline programmeerimineEllermaa, Riho-ReneArvutustehnika ja Andmetöötlus1992 / 5/6, lk. 11-16

artikkel ajakirjas

297

artikkel ajakirjas

Õpime progammeerima!Võhandu, LeoHorisont1969 / lk. 65-69 : ill. ; 2, lk. 61-64 ; 3, lk. 63-67 ; 4, lk. 61-65 ; 5, lk. 72-74 ; 6, lk. 64-67 https://www.ester.ee/record=b1072243*est https://www.digar.ee/arhiiv/et/perioodika/69603 https://www.digar.ee/arhiiv/et/perioodika/69607 https://www.digar.ee/arhiiv/et/perioodika/69613 https://www.digar.ee/arhiiv/et/perioodika/69610 https://www.digar.ee/arhiiv/et/perioodika/69605 https://www.digar.ee/arhiiv/et/perioodika/69609

artikkel ajakirjas

298

artikkel ajalehes

Ööpäev programmeerimist : [TTÜ tudengid osalesid esmakordselt ülemaailmsel programmeerimisvõistlusel IEEEXtreme]Jänes, UrmetMente et Manu2011 / lk. 1 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes

299

artikkel ajalehes

Üks gruusia-reis ehk kuidas peaks insenerile programmeerimist õpetama?Tiidemann, TiitNoorte Hääl : ELKNÜ Keskkomitee häälekandja1987 / lk. [?] https://www.ester.ee/record=b1320792*est

artikkel ajalehes

300

artikkel kogumikus

xTractor: an academic higg-level synthesis tool for control and memory intensive applicationsEllervee, Peeter20th IEEE Conference NORCHIP'2002, Copenhagen, Denmark2002 / p. 253-258 https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=6db1d71884b75b47fb27ae86b91b61894e57fd18

artikkel kogumikus

programmeerimine (märksõna)

teaviku laadid

märksõna 7