Otsing - TalTech teadusportaal

kuva

reasta

151

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

152

artikkel kogumikus

Towards a high-level programming language for IoT and roboticsKanter, Gert; Vain, Jüri; Fazeldehkordi, Elahe; Owe, Olaf32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 3 p http://icetcs.ru.is/nwpt21/abstracts/paper8.pdf http://icetcs.ru.is/nwpt21/programme.html

artikkel kogumikus

153

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

154

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

155

raamat

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

raamat

156

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

157

raamat

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

raamat

158

raamat

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

raamat

159

raamat

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

raamat

160

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

161

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

162

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

163

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

164

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

165

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

166

raamat

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

raamat

167

raamat

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

raamat

168

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

169

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

170

artikkel ajakirjas

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill

artikkel ajakirjas

171

raamat

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

raamat

172

raamat

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

raamat

173

raamat

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

raamat

174

raamat

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

raamat

175

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

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1