Searching - TalTech Research Portal

display

sort

151

book

Sissejuhatus programmeerimisse an-keeles : loengumaterjalHenno, Jaak; Käerdi, Helmo1980 https://www.ester.ee/record=b1287519*est

book

152

journal article EST / journal article ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

153

book article

Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill

book article

154

book article

Structured general corecursion and coinductive graphs [extended abstract]Uustalu, TarmoEPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 20122012 / p. 55-61 https://arxiv.org/abs/1202.3502

book article

155

journal article

Suure täpsusega arvutamine J-keelesVõhandu, LeoA & A2001 / 1, lk. 53-58

journal article

156

journal article

Sõnasepandus ehk tekstikäsitlus poeetideleVõhandu, LeoA & A2001 / 4, lk. 41-47 https://artiklid.elnet.ee/record=b1007652*est

journal article

157

journal article

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

journal article

158

book article

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

book article

159

book article

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

book article

160

book article

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

book article

161

book article

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

book article

162

book article

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

book article

163

book article

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

book article

164

book

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

book

165

book article

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

book article

166

book article EST / book article 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

book article EST / book article ENG

167

book article EST / book article ENG

A textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996 https://doi.org/10.1007/978-1-4614-3558-7_84 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

168

book

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

book

169

journal article EST / journal article 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

journal article EST / journal article ENG

170

journal article EST / journal article 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

journal article EST / journal article ENG

171

book article EST / book article ENG

A tool-supported approach for introducing aspects in UPPAAL timed automataTruscan, Dragos; Vain, Jüri; Koskinen, Martin; Iqbal, JunaidSoftware technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers2015 / p. 349-364 https://doi.org/10.1007/978-3-319-25579-8_20 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

172

book article

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

book article

173

book article

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

book article

174

journal article

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

journal article

175

book

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

book

programmeerimiskeeled (subject term)

types of item

subject term 1