Otsing - TalTech teadusportaal

kuva

reasta

276

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

277

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

278

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

279

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

280

artikkel ajakirjas

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

artikkel ajakirjas

281

artikkel ajakirjas

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

artikkel ajakirjas

282

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

283

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

284

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

285

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

286

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

287

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

288

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

289

artikkel ajakirjas

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

artikkel ajakirjas

290

artikkel ajakirjas

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

artikkel ajakirjas

291

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

292

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

293

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

294

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

295

artikkel ajakirjas

Абстрактные атрибутные грамматикиVooglaid, Aare; Meriste, MerikПрограммирование1982 / с. 17-27 https://www.ester.ee/record=b2150732*est

artikkel ajakirjas

296

artikkel ajakirjas

Автоматизация программирования механообработкиTamm, Boris, inform.Технология и организация авиационного производства : производственно-технический сборник1962 / с. 24-33 : ил

artikkel ajakirjas

297

artikkel kogumikus

Аксиоматическое построение систем представления и обработки знанийKracht, WilhelmМатериалы III всесоюзной конференции "Банки данных", г. Таллин, 24-26 сентября 1985 г1985 / с. 26-46 https://www.ester.ee/record=b1253873*est

artikkel kogumikus

298

raamat

Анализ данных. Построение трансляторов. Вопросы программирования1978 https://www.ester.ee/record=b1272492*est https://digikogu.taltech.ee/et/Item/1dbbc143-d62a-4471-af6c-c660a4af0827

raamat

299

raamat

Анализ данных. Построение трансляторов. Вопросы программирования1979 https://www.ester.ee/record=b1267360*est https://digikogu.taltech.ee/et/Item/2cda82fc-cdd0-47f5-afc0-fef27c06bfbf

raamat

300

artikkel kogumikus

Атрибуты на разреженном дереве программыLepp, MargeПроблемы базы данных, построения трансляторов и анализа данных1981 / с. 61-69 : илл https://www.ester.ee/record=b1317426*est

artikkel kogumikus

programmeerimine (märksõna)

teaviku laadid

märksõna 7