Otsing - TalTech teadusportaal

kuva

reasta

151

artikkel ajakirjas

A system for CAD/CAM software development and implementationTamm, Boris, inform.; Küttner, Rein; Vilipõld, Jüri; Pruuden, JuhanComputers in industry1984 / p. 367-376

artikkel ajakirjas

152

artikkel kogumikus

SystemC-based loose models : RTL abstraction for design understandingAbrar, Syed Saif; Jenihhin, Maksim; Raik, JaanWorkshop on Design Automation for Understanding Hardware Designs DUHDe 2015 : Grenoble, March 13, 20152015 / p. 1-6

artikkel kogumikus

153

artikkel kogumikus

SystemC-based loose models for simulation speed-up by abstraction of RTL IP coresAbrar, Syed Saif; Jenihhin, Maksim; Raik, Jaan2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2015 : 22-24 April 2015, Belgrade, Serbia : proceedings2015 / p. 71-74 : ill http://dx.doi.org/10.1109/DDECS.2015.39

artikkel kogumikus

154

artikkel kogumikus

Tarmo Uustalu is creating a new computer languageUustalu, TarmoEstonian Centre of Excellence in ICT Research2021 / p. 73-77 : ill http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

artikkel kogumikus

155

artikkel kogumikus

Teaching HDL for IT-studentsEllervee, Peeter; Reinsalu, Uljana; Arhipov, AntonEWME 2006 proceedings : 6th International Workshop on Microelectronics Education : 8-9 June, 2006, Stockholm, Sweden2006 / p. 112-115

artikkel kogumikus

156

artikkel kogumikus

Teaching modeling in SysML/UML and problems encounteredKruus, Helena; Robal, Tarmo; Jervan, GertProceedings of the 25th International Conference on European Association for Education in Electrical and Information Engineering : 30 May-June 2014, Cesme, Türkiye2014 / p. 33-36 : ill

artikkel kogumikus

157

artikkel kogumikus

Temporally extended high-level decision diagrams for PSL assertions simulationJenihhin, Maksim; Raik, Jaan; Tšepurov, Anton; Ubar, Raimund-JohannesProceedings : Thirteenth IEEE European Test Symposium : ETS 2008 : 25-29 May 2008, Verbania, Italy2008 / p. 61-68 : ill https://ieeexplore.ieee.org/document/4556029

artikkel kogumikus

158

raamat

10th Workshop on Quantitative Aspects of Programming Languages : QAPL 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769334*est

raamat

159

artikkel kogumikus

Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 Article at Scopus

artikkel kogumikus

160

artikkel kogumikus EST / artikkel kogumikus ENG

Tests of graphics rendering in browsersHenno, Jaak; Jaakkola, Hannu; Mäkelä, JukkaSixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications : SQAMIA 2017 : Belgrade, Serbia, 11-13.09.2017 : proceedings2017 / p. 3:1-3:10 https://ceur-ws.org/Vol-1938/paper-hen.pdf Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

161

raamat

2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est

raamat

162

artikkel ajakirjas EST / artikkel ajakirjas ENG

Theory of átomataBrzozowski, Janusz; Tamm, HellisTheoretical computer science2014 / p. 13-27 : ill https://doi.org/10.1016/j.tcs.2014.04.016 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

163

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

164

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

165

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

166

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

167

raamat

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

raamat

168

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

169

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

170

raamat

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

raamat

171

raamat

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

raamat

172

raamat

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

raamat

173

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

174

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

175

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

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1