Otsing - TalTech teadusportaal

kuva

reasta

226

raamat

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

raamat

227

raamat

31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]2019 https://doi.org/10.23658/taltech.nwpt/2019 https://www.ester.ee/record=b5292609*est

raamat

228

raamat

25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]2013 https://www.ester.ee/record=b3039924*est

raamat

229

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

230

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

231

raamat

Transactions of the Faculty of EconomicsAmitan, Irina; Tamm, Boris, inform.; Tõugu, Enn; Võhandu, Leo; Tepandi, Jaak; Luczkowski, Teodor; Õunapuu, Enn; Henno, Jaak; Liib, Donald; Lepp, Marge; Vooglaid, Aare; Võhandu, Priit; Laast-Laas, Jüri; Renzer, Aare1986 https://www.ester.ee/record=b1275336*est

raamat

232

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

233

raamat

Transactions of the Faculty of EconomicsAmitan, Irina1991

raamat

234

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

235

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

236

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

237

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

238

artikkel ajakirjas

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

artikkel ajakirjas

239

artikkel ajakirjas

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

artikkel ajakirjas

240

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

241

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

242

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

243

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

244

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

245

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

246

artikkel ajakirjas

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

artikkel ajakirjas

247

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

248

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

249

artikkel ajakirjas

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

artikkel ajakirjas

250

artikkel ajakirjas

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

artikkel ajakirjas

programmeerimine (märksõna)

teaviku laadid

märksõna 5