Otsing - TalTech teadusportaal

kuva

reasta

176

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

177

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

178

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

179

artikkel kogumikus EST / artikkel kogumikus ENG

A unifying categorical view of nondeterministic iteration and testsGoncharov, Sergey; Uustalu, Tarmo35th International Conference on Concurrency Theory (CONCUR 2024)2024 / art. 25 https://doi.org/10.4230/LIPIcs.CONCUR.2024.25 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

180

raamat

UNIX ja keel C : ülevaade : metoodiline juhend1991 http://www.ester.ee/record=b1188903*est

raamat

181

raamat

UNIX ja keel C ülevaade : metoodiline juhend1987 https://www.ester.ee/record=b1263097*est

raamat

182

artikkel kogumikus EST / artikkel kogumikus ENG

Unmanned ground vehicle energy efficiency validation in territory surveillance missionVäljaots, Eero; Sell, Raivo; Rimasauskas, MariusMechatronic Systems and Materials VII2016 / p. 164-170 https://doi.org/10.4028/www.scientific.net/SSP.251.164 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

183

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

184

artikkel ajakirjas EST / artikkel ajakirjas ENG

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill https://doi.org/10.2168/LMCS-10(3:14)2014 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

185

raamat

Visual Basic : programminäitedLuczkowski, Teodor2000 https://www.ester.ee/record=b1438674*est

raamat

186

raamat

БЭЙСИК-11 для СМ ЭВМ : методическое руководство1987 https://www.ester.ee/record=b1410169*est

raamat

187

raamat

Введение в программирование на языке anHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b2457915*est

raamat

188

raamat

Введение в программирование на языке БЕЙСИК для ЭВМ СМ-4 : методическое пособие1986 https://www.ester.ee/record=b1234417*est

raamat

189

artikkel kogumikus

Дополнительные средства к системе PL/1 ДОС/ЕСHärsing, H.Анализ данных. Построение трансляторов. Вопросы программирования1978 / с. 15-26 https://www.ester.ee/record=b1272492*est https://digikogu.taltech.ee/et/Item/1dbbc143-d62a-4471-af6c-c660a4af0827

artikkel kogumikus

190

dissertatsioon

Исследование и разработка эффективных методов реализации языков программирования : автореферат ... кандидата технических наук (01.01.10)Liib, Donald1984 https://www.ester.ee/record=b1235730*est

dissertatsioon

191

dissertatsioon

Исследование и разработка эффективных методов реализации языков программирования : диссертация на соискание ученой степени кандидата технических наукLiib, Donald1984 https://www.ester.ee/record=b4634734*est

dissertatsioon

192

raamat

Лабораторный практикум по программированию : методическое пособие1981 https://www.ester.ee/record=b1309972*est

raamat

193

artikkel ajakirjas

Модель непроцедурного языка доступа к сетевой базе данныхVõhandu, Leo; Tepandi, JaakEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1981 / lk. 234-238 https://www.ester.ee/record=b1264310*est

artikkel ajakirjas

194

artikkel kogumikus

О методах трансляции языков с проблемной ориентациейTepandi, JaakВсесоюзная конференция по методам трансляции, 3-5 февраля 1981 г. : тезисы докладов1981 / с. 75-77

artikkel kogumikus

195

artikkel ajakirjas

О создании проблемно-ориентированного программного обеспеченияTamm, Boris, inform.; Tõugu, EnnКибернетика1975 / с. 76-85 : ил https://www.ester.ee/record=b5694433*est

artikkel ajakirjas

196

artikkel kogumikus

О технологии применения атрибутных СПТVooglaid, Aare; Meriste, M.350 aastat matemaatikat Tartu Ülikoolis = 350 лет математики в Тартуском университете : ettekannete teesid1982 / lk. 91-93 https://www.ester.ee/record=b1255795*est

artikkel kogumikus

197

artikkel kogumikus

Об алгорифмическом языке ПЛ-ILepikson, V.; Pruuden, JuhanXVI студенческая научно-техническая конференция вузов Прибалтики, Белорусской ССР и Калининградской области, посвященная 100-летию со дня рождения В. И. Ленина : 20-25 апреля 1970 г. : (тезисы докладов). Электротехника и энергетика1970 / с. 32 https://www.ester.ee/record=b1379483*est

artikkel kogumikus

198

raamat

Об использовании сообщений транслятора PL/I при отладке программ : методическое пособие1982 https://www.ester.ee/record=b1265848*est

raamat

199

artikkel kogumikus

Об одной методике описания трансляцииLepp, MargeАвтоматизация производства пакетов прикладных программ : (автоматизация производства трансляторов) : тезисы докладов [всесоюзного одноименного семинара, 1980]1980 / с. 22-25 https://www.ester.ee/record=b1276160*est

artikkel kogumikus

200

artikkel kogumikus

Обработка списков на языке программирования ПЛ/IKoni, K.-K.; Niglas, K.; Jürgenson, Rein (informaatika)Тезисы докладов XXXI студенческой научно-технической конференции1980 / с. 107-108 https://www.ester.ee/record=b1319482*est

artikkel kogumikus

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1