Otsing - TalTech teadusportaal

kuva

reasta

176

artikkel kogumikus

Towards practical synthesis of programsTõugu, EnnInformation processing 80 : proceedings of IFIP Congress 80, Tokyo, Melbourne1980 / p. 207–219 https://dblp.org/rec/conf/ifip/Tyugu80.html Article at Scopus

artikkel kogumikus

177

artikkel kogumikus

Towards reliable code generation with an open tool : evolutions of the gene-auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France2010 / [10] p https://hal.science/hal-02267640/document

artikkel kogumikus

178

artikkel ajakirjas

Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.Ingénieurs de l'Automobile2010 / p. 29-35 https://hal.science/hal-02267640/document

artikkel ajakirjas

179

raamat

Translaatorite koostamine : õppevahendHenno, Jaak; Jokk, Viivi; Lepp, Marge; Vooglaid, Aare1986 https://www.ester.ee/record=b1227627*est

raamat

180

artikkel ajakirjas

TranspuutridToomsalu, ArvoArvutustehnika ja Andmetöötlus1997 / 4, lk. 14-16; 5, lk. 7-11; 6, lk. 6-9; 7/8, lk. 1-6: ill

artikkel ajakirjas

181

artikkel ajakirjas

Turbo PascalJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 5-12 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

182

raamat

Turbo Pascal & C++ : objektitehnika1994 https://www.ester.ee/record=b1057437*est

raamat

183

raamat

Turbo Pascal & C++ : objektitehnikaLuczkowski, Teodor; Jürgenson, Rein, inform.1992 https://www.ester.ee/record=b1064289*est

raamat

184

raamat

Turbo Pascali graafikavahendidJürgenson, Rein, inform.1991 http://www.ester.ee/record=b1192319*est

raamat

185

artikkel ajakirjas

Turbo Pascali menüüsüsteemJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 1-8 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

186

artikkel ajakirjas

Turbo Pascali moodulitehnikaJürgenson, Rein, inform.Arvutustehnika ja Andmetöötlus : A&A1989 / lk. 9-19 : ill https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

187

raamat

12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings2011 http://www.ester.ee/record=b2718552*est

raamat

188

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

189

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

190

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

191

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

192

raamat

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

raamat

193

raamat

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

raamat

194

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

195

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

196

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

197

raamat

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

raamat

198

raamat

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

raamat

199

raamat

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

raamat

200

raamat

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

raamat

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1