Otsing - TalTech teadusportaal

kuva

reasta

226

artikkel ajakirjas

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

artikkel ajakirjas

227

artikkel ajakirjas

A holistic concept for the sustainable evaluation of company sharesPrause, Gunnar KlausJournal of entrepreneurship and sustainability issues2014 / p. 37-42

artikkel ajakirjas

228

artikkel kogumikus

A human-adaptive-mechatronics assisted system for training constructional abilityMiyashita, O.; Tsukamoto, S.; Kuusik, Alar; Miyata, D.; Yoshida, T.; Vain, Jüri; Ishigami, S.Proceedings of the 8th International Conference on Mechatronics Technology : ICMT2004 : Hanoi, Vietnam, November 8-12, 20042004 / p. 551-555

artikkel kogumikus

229

artikkel kogumikus

A HW/SW partitioning technique based on hierarchical canitate selection schemeJantsch, Axel; Ellervee, Peeter; Öberg, Johnny; Hemani, Ahmed7th International Workshop on High-level Synthesis, Niagara-on-the Lake, Ontario, Canada, May 18-20, 19941994

artikkel kogumikus

230

artikkel kogumikus

A hybrid BIST architecture and its optimization for SoC testingJervan, Gert; Peng, Zebo; Ubar, Raimund-Johannes; Kruus, HelenaProceedings of the 3rd International Symposium on Quality Electronic Design : ISQED 2002, March 18-21, 2002, San Jose, California2002 / p. 273-279 : ill

artikkel kogumikus

231

artikkel ajakirjas

A hybrid Genetic Algorithm and Monte Carlo simulation approach to predict hourly energy consumption and generation by a cluster of Net Zero Energy BuildingsGarshasbi, Samira; Kurnitski, Jarek; Mohammadi, YousefApplied energy2016 / p. 626-637 : ill http://dx.doi.org/10.1016/j.apenergy.2016.07.033

artikkel ajakirjas

232

artikkel kogumikus

A hydrogen technology as buffer for stabilization of wind power generationAndrijanovitš, Anna; Egorov, Mikhail; Lehtla, Madis; Vinnikov, Dmitri8th International Symposium "Topical Problems in the Field of Electrical and Power Engineering" : Doctoral School of Energy and Geotechnology. II : [Pärnu, January 11-16, 2010 : proceedings]2010 / p. 62-70 : ill

artikkel kogumikus

233

raamat

A ja O : taskuteatmikHelme, Eneken; Aro, Andres; Kalv, Peep; Luczkowski, Teodor; Pirrus, Enn-Aavo; Risthein, Endel; Vokk, Raivo1999 https://www.ester.ee/record=b1296014*est

raamat

234

raamat

A ja O taskuteatmik : miljon fakti 2007Tammjärv, Urve; Aasmäe, Maarja; Luczkowski, Teodor; Saarse, Leili2007 https://www.ester.ee/record=b2258937*est

raamat

235

raamat

A ja O taskuteatmik : miljon fakti 2009Tammjärv, Urve; Kallis, Ain; Luczkowski, Teodor2008 https://www.ester.ee/record=b2409336*est

raamat

236

raamat

A ja O taskuteatmik : teadus ja tehnika : inimesed, aastad, sündmusedClark, John; Käämbre, Henn; Hendre, Enn2006

raamat

237

artikkel kogumikus

A judicial approach to internet voting in EstoniaMadise, Ülle; Vinkel, PriitE-voting case law : a comparative analysis2015 / p. 105-128 http://www.ester.ee/record=b4497568*est

artikkel kogumikus

238

artikkel ajakirjas

A kinetic study of the reaction between diethyl ester of bisi aminoadipic acid and beta-alanine by the thermochemical methodKäärd, Arvo; Köstner, Ado; Siimer, EnnScience tools : the LKB instrument journal1986 / p. 24-26

artikkel ajakirjas

239

artikkel ajakirjas

A kinetic view of the mechanism of the Grignard reaction with alkoxysilanesPloom, Anu; Tuulmets, Ants; Panov, Dmitri; Burk, PeeterPhosphorus, sulfur, and silicon and the related elements2015 / p. 509-519 : ill http://dx.doi.org/10.1080/10426507.2014.952002

artikkel ajakirjas

240

artikkel kogumikus

A kinetic view to the mechanism of the Grignard reaction with alkoxysilanesPloom, Anu; Tuulmets, AntsXXVI Inernational Conference on Organometallic Chemistry : July 13-18, 2014, Sapporo, Japan2014

artikkel kogumikus

241

artikkel kogumikus

A klassi lugu : [Jõgeva Keskkooli XI lend]Kuusik, Rein, keemikJõgeva Keskkooli XI lennu lugu 1959-20192019 / lk. 18-22 : fot https://www.ester.ee/record=b5232099*est

artikkel kogumikus

242

artikkel ajakirjas

A knowledge map for ICT integration in the silver economyButt, Sidra Azmat; Elhadjamor, Emna A.; Pappel, Ingrid; Õunapuu, Enn; Draheim, DirkProcedia computer science2021 / p. 693–701 https://doi.org/10.1016/j.procs.2021.01.220

artikkel ajakirjas

243

artikkel ajakirjas

A knowledge-based approach for enhancing fall prevention in the construction industryChellappa, Vigneshkumar; Salve, Urmi Ravindra; Li, Rita Yi Man; Liias, RoodeJournal of statistics and management systems2020 / p. 373−378 : ill https://doi.org/10.1080/09720510.2020.1736320

artikkel ajakirjas

244

artikkel ajakirjas

A knowledge-based approach to the specification-based program testingTepandi, JaakComputers and artificial intelligence = Вычислительные машины и искуственный интеллект = Pocitace a umela inteligencia1988 / p. 39-48 https://www.ester.ee/record=b1482459*est

artikkel ajakirjas

245

artikkel ajakirjas

A kormány és a civil szektor viszonyának intézményesítése: az észt „paktum”Randma-Liiv, Tiina; Liiv, Daimar; Lepp, ÜlleCivil Szemle2010 / 3, p. 45-62

artikkel ajakirjas

246

artikkel kogumikus

A large signal integration formulaKukk, VelloProc. of First IEEE Balkan Conference on Signal Processing, Communications, Circuits and Systems2000 / [4] p. [CD-ROM]

artikkel kogumikus

247

artikkel ajakirjas

A Late Ordovician age for the Whirlpool and Power Glen formations, New YorkSchröer, Laurenz; Vandenbroucke, Thijs R. A.; Hints, OlleCanadian journal of earth sciences2016 / p. 739-747 https://doi.org/10.1139/cjes-2015-0226

artikkel ajakirjas

248

artikkel kogumikus

A legally relevant socio-technical language development for smart contractsDwivedi, Vimal Kumar; Norta, Alexander2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems : (FAS*W), 3–7 September, 2018 Trento, Italy : proceedings2018 / p. 11-13 http://doi.org/10.1109/FAS-W.2018.00016

artikkel kogumikus

249

artikkel kogumikus

A legal-relationship establishment in smart contracts : ontological semantics for programming-language developmentDwivedi, Vimal Kumar; Norta, AlexanderAdvances in Computing and Data Sciences : 5th International Conference, ICACDS 2021, Nashik, India, April 23–24, 2021, Revised Selected Papers, Part I : proceedings2021 / p. 660-676 https://doi.org/10.1007/978-3-030-81462-5_58

artikkel kogumikus

250

artikkel kogumikus

A library of samples for testing variable load electric drivesLiivik, Liisa; Vodovozov, Valery; Rassõlkin, AntonDigest book and electronic proceedings : 54th International Scientific Conference of Riga Technical University : Section of Power and Electrical Engineering2013 / p. 12.1-12.6 : ill

artikkel kogumikus

teaviku laadid