Searching - TalTech Research Portal

display

sort

226

book

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

book

227

book

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

book

228

book

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

book

229

journal article EST / journal article 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

journal article EST / journal article ENG

230

book article EST / book article 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

book article EST / book article ENG

231

book

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

book

232

book

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

book

233

book

Transactions of the Faculty of EconomicsAmitan, Irina1991

book

234

book article

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

book article

235

journal article

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

journal article

236

journal article

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

journal article

237

book

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

book

238

journal article

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

journal article

239

journal article

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

journal article

240

journal article

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

journal article

241

book article

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

book article

242

journal article

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

journal article

243

newspaper article

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

newspaper article

244

book article EST / book article 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

book article EST / book article ENG

245

book article EST / book article 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

book article EST / book article ENG

246

journal article

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

journal article

247

journal article

Õ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

journal article

248

newspaper article

Öö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

newspaper article

249

newspaper article

Ü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

newspaper article

250

journal article

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

journal article

programmeerimine (subject term)

types of item

subject term 5