Otsing - TalTech teadusportaal

kuva

reasta

126

raamat

Programmeerimiskeel PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1314684*est

raamat

127

artikkel kogumikus

Programmeerimiskeel Turbo Pascal : objektitehnikaJürgenson, Rein, inform.Turbo Pascal & C++ : objektitehnika1994 / lk. 3-119

artikkel kogumikus

128

artikkel kogumikus

Programmeerimiskeele RPG oskussõnadAuendorf, K.; Viisileht, A.; Saks, LukreetsiaXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 148-149 https://www.ester.ee/record=b2449987*est

artikkel kogumikus

129

raamat

ProgrammeerimiskeeledIsotamm, Ain; Vene, Varmo2007 https://www.ester.ee/record=b2239351*est

raamat

130

raamat

Programmeerimiskeeled C ja C++Luczkowski, Teodor2013 http://www.ester.ee/record=b2925976*est

raamat

131

raamat

Programmeerimiskeskkond Visual Basic 2005Luczkowski, Teodor2006 http://www.ester.ee/record=b2192516*est

raamat

132

artikkel kogumikus

Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]Uustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20052006 / lk. 391-393

artikkel kogumikus

133

raamat

Programming language implementation and logic programming : 5th Intern. Symposium PLILP '93, Tallinn, August 25-27, 1993 : proceedingsBruynooghe, Maurice; Penjam, Jaan1993 https://www.ester.ee/record=b1036491*est

raamat

134

raamat

Prolog ja Olümpose jumaladHenno, Jaak2004 https://www.ester.ee/record=b1980187*est

raamat

135

artikkel ajakirjas

Prolog ja Olümpose jumaladHenno, JaakArvutustehnika ja Andmetöötlus1988 / lk. [5]-12 : ill https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

136

raamat

Prolog ja Olympoksen jumalatHenno, Jaak1992 https://www.ester.ee/record=b1019003*est

raamat

137

artikkel kogumikus EST / artikkel kogumikus ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

138

artikkel ajakirjas EST / artikkel ajakirjas ENG

Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

139

raamat

Rakenduste loomise ja programmeerimise alused : valikkursus gümnaasiumitele : õpik [E-raamat]Vilipõld, Jüri; Antoi, Kersti; Amitan, Irina2013 http://rlpa.ttu.ee/RLPA_opik.pdf

raamat

140

artikkel kogumikus

Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148

artikkel kogumikus

141

artikkel kogumikus

Reflective constraint writing : a symbolic viewpoint of modeling languagesDraheim, DirkTransactions on large-scale data- and knowledge-centered systems XXIV : special issue on database- and expert-systems applications2016 / p. 1-60 : ill http://dx.doi.org/10.1007/978-3-662-49214-7_1

artikkel kogumikus

142

artikkel ajakirjas EST / artikkel ajakirjas ENG

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

143

artikkel ajakirjas EST / artikkel ajakirjas ENG

Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13 https://doi.org/10.1109/TDSC.2012.73 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

144

artikkel ajakirjas EST / artikkel ajakirjas ENG

Semi-automated integration of domain ontologies to DSL meta-modelsHaav, Hele-Mai; Ojamaa, AndresInternational journal of intelligent information and database systems2017 / p. 94-116 :ill https://doi.org/10.1504/IJIIDS.2017.086198 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

145

artikkel kogumikus

Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228

artikkel kogumikus

146

artikkel ajakirjas EST / artikkel ajakirjas ENG

Simple analysis of gel images with IOCBIO gel softwareJaska, Lucia; Birkedal, Rikke; Laasmaa, Martin; Vendelin, MarkoBio-protocol2024 / art. e5053, 12 p https://doi.org/10.21769/BioProtoc.5053 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

147

artikkel kogumikus

Simulation of logic-informational processes by means of problems-oriented computer languagesTamm, Boris, inform.5e congrès international de cybernétique : Namur, 11-15 Septembre 1967 : extrait = 5th International Congress on Cybernetics : Namur, September 11-15th 1967 : extract1968 / p. 51-61 : ill

artikkel kogumikus

148

artikkel kogumikus

Simulation-based equivalence checking between IEEE 1687 ICL and RTLDamljanovic, Aleksa; Jutman, Artur; Portolan, Michele; Tšertov, Anton2019 IEEE International Test Conference (ITC)2019 / paper. 7.3, 8 p. : ill https://doi.org/10.1109/ITC44170.2019.9000181

artikkel kogumikus

149

raamat

Sisend-väljund keeles PL/1 : loengukonspektJürgenson, Rein, inform.1975 https://www.ester.ee/record=b1307642*est

raamat

150

raamat

Sissejuhatus Ada-keelde : metoodiline materjalJürgenson, Rein, inform.1987 https://www.ester.ee/record=b1230821*est

raamat

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1