Otsing - TalTech teadusportaal

kuva

reasta

108526

artikkel kogumikus

Type approval test and certification of the terminal equipment of telecommunication network : documentation, organization, implementation in LithuaniaMašonis, Algis; Mykolaitis, Henrikas; Pleštys, Rimantas; Šimenas, GintautasBEC'96 : the 5th Biennial Baltic Electronics Conference, October 7-11, 1996, Tallinn, Estonia : proceedings1996 / p. 285-286

artikkel kogumikus

108527

artikkel ajakirjas

Type models of electrical network loadMeldorf, Mati; Kilter, JakoOil shale2009 / 3S, p. 243-253 : ill https://artiklid.elnet.ee/record=b1489919*est

artikkel ajakirjas

108528

artikkel kogumikus EST / artikkel kogumikus ENG

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

108529

artikkel kogumikus

Type systems equivalent to dataflow analyses for imperative languagesLaud, Peeter; Uustalu, Tarmo; Vene, VarmoProceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 20052005 / [12] p https://www.sciencedirect.com/science/article/pii/S0304397506005524

artikkel kogumikus

108530

artikkel kogumikus

Type systems for optimizing stack-based codeSaabas, Ando; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 97-100

artikkel kogumikus

108531

artikkel kogumikus

Type systems for optimizing stack-based codeSaabas, AndoTwelfth Estonian Winter School in Computer Science (EWSCS'07) : Lahemaa, Estonia, March 4-9, 20072007 / [1 p.] https://artiklid.elnet.ee/record=b1021261*est

artikkel kogumikus

108532

artikkel kogumikus

Typen ja fosforin huuhtoutuminen viljelymailta pieniin jokivesistöihin = Washing out of nitrogen and phosphorus compounds from cultivated fields to river systemsVelner, Harald-Adam; Loigu, EnnVoimaperäisen peltotalouden ja karjanhoidon hajakuormitusten vaikutus vesivaroihin1980 / s. 18-27

artikkel kogumikus

108533

artikkel kogumikus

Types of oil shale ash and methods for increasing their reactivityKuusik, Rein, keemik; Kaljuvee, TiitTurning a problem into a resource: remediation and waste management at the Sillamäe site, Estonia2000 / p. 215-222 https://link.springer.com/chapter/10.1007/978-94-011-4092-8_26

artikkel kogumikus

108534

artikkel kogumikus EST / artikkel kogumikus ENG

Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

108535

artikkel kogumikus

A type-theoretic potpourri: towards final coalgebrasof accessible functorsBasold, Henning; Veltri, NiccoloEUTYPES-TYPES 2020 : Abstracts2020 / 3 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

artikkel kogumikus

108536

dissertatsioon

A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusestVeltri, Niccolo2017 https://digi.lib.ttu.ee/i/?7631

dissertatsioon

108537

artikkel ajakirjas EST / artikkel ajakirjas ENG

A typical wave wake from high-speed vessels : its group structure and run-upDidenkulova, Irina; Rodin, ArtemNonlinear processes in geophysics2013 / p. 179-188 : ill https://doi.org/10.5194/npg-20-179-2013 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

108538

artikkel kogumikus

Typology of European listed companies’ reactions to global credit crunch : cluster analysis of share price performanceMänniste, Mari; Hazak, Aaro; Listra, Enn2011 3rd International Conference on Information and Financial Engineering : IPEDR. Vol.122011 / p. 565-569

artikkel kogumikus

108539

artikkel ajakirjas

Typology of logistics curricula - four categories of logistics of logistics undergraduate education in EuropeNiine, Tarvo; Koppel, OttInternational journal of engineering pedagogy2015 / p. 4-11 http://dx.doi.org/10.3991/ijep.v5i2.4579

artikkel ajakirjas

108540

artikkel ajakirjas

Typpi ja fosforiyhdisteiden yhteispoisto yhdyskuntien jätevesistäBlonskaja, Viktoria; Mölder, Heino; Salis, IndrekVesitalous1992 / 5, s. 6-9: ill

artikkel ajakirjas

108541

artikkel kogumikus

Työelämän laatu - mitä se on? : [vestlus Mare Teichmanniga]Teichmann, Mare; Ahoniemi, ArjaJulkinen nainen : Kunnallisvirkamiesliitto KVL-n seminaari, Nummen koululla, 3.8.19941994 / s. 17-18: kuv

artikkel kogumikus

108542

artikkel kogumikus

Työsuojelualan koulutus ja tieteellinen toiminta Tallinnan teknilisessa yliopistossaKiivet, GunnarRahvusvahelise konverentsi "Töökaitse -91", Tallinnas, 7.-8. nov. 1991 kogumik1991 / lk. 1-4

artikkel kogumikus

108543

artikkel ajakirjas

Työympäristön kehittämisen lähtökohdat Viron teollisuudessaSaarela, Kaija Leena; Tint, Piia; Paalmann, MalleTyö ja ihminen1995 / 2, s. 123-127: ill

artikkel ajakirjas

108544

artikkel kogumikus

T-дуальные пространства со скоростью и T-суммируемость по отрезком со скоростью в FK-пространствахLepasson, IvarMatemaatika teoreetilisi ja rakenduslikke küsimusi : konverentsi ettekannete teesid, 21-22.IX 19901990 / lk. 163-164

artikkel kogumikus

108545

artikkel ajakirjas EST / artikkel ajakirjas ENG

UAV and SWIPT assisted disaster aware clustering and associationHassan, Ali; Ahmad, Rizwan; Ahmed, Waqas; Magarini, Maurizio; Alam, Muhammad MahtabIEEE Access2020 / p. 204791−204803 https://doi.org/10.1109/ACCESS.2020.3035959 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

108546

artikkel kogumikus

UAV test benchesPütsep, Kristjan20th International Symposium "Topical problems in the field of electrical and power engineering. Doctoral school of energy and geotechnology. III" : Tallinn, Estonia, September 8-10, 20212022 / p. 21-22 : ill https://www.ester.ee/record=b5457278*est

artikkel kogumikus

108547

artikkel ajakirjas EST / artikkel ajakirjas ENG

UAV trajectory planning for disaster scenariosJaved, Sadaf; Hassan, Ali; Ahmad, Rizwan; Ahmed, Waqas; Alam, Muhammad Mahtab; Rodrigues, Joel J. P. C.Vehicular Communications2023 / art. 100568, 12 p. : ill https://doi.org/10.1016/j.vehcom.2022.100568 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

108548

artikkel ajakirjas

Ubik Solutions tõstab roheenergia taseme uutesse kõrgustesseTamm, KadriTööstusEST2021 / lk. 16-18 : fot "Ubik Solutions tõstab roheenergia taseme uutesse kõrgustesse" http://www.ester.ee/record=b4481084*est

artikkel ajakirjas

108549

artikkel ajakirjas

Ubja põlevkivikarjääri ärastusvee päritolu ja koguse määramineIskül, Riho; Kaeval, Ervin; Robam, Karin; Sõstra, Ülo; Valgma, IngoKeskkonnatehnika2009 / 3, lk. 34-36 : ill https://artiklid.elnet.ee/record=b1448365*est

artikkel ajakirjas

108550

artikkel ajakirjas EST / artikkel ajakirjas ENG

uCARE Chem Suite and uCAREChemSuiteCLI : tools for bacterial resistome predictionSaha, Saurav Bhaskar; Gupta, Vijai Kumar; Ramteke, Pramod WasudeoGenes and Diseases2021 / p. 721 - 729 https://doi.org/10.1016/j.gendis.2020.06.008 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

teaviku laadid