Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

A textual domain specific language for user interface modellingKaru, MartEmerging trends in computing, informatics, systems sciences, and engineering2013 / p. 985-996

artikkel kogumikus

2

artikkel kogumikus

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

artikkel kogumikus

3

dissertatsioon

Abstraktsioon programmeerimisel : väitekiri ... tehnikamagistri kraadi taotlemiseksPetuhhov, Inga1997 http://www.ester.ee/record=b2687130*est

dissertatsioon

4

raamat

Abstraktsioon programmeerimisel : õpikJürgenson, Rein, inform.; Petuhhov, Inga1997 https://www.ester.ee/record=b1053781*est

raamat

5

artikkel kogumikus

Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

artikkel kogumikus

6

raamat

Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est

raamat

7

raamat

ALGAMS arvutile "Minsk-32" : õppeabimaterjalJürgenson, Rein, inform.; Lume, Tõnu; Prisk, Leo1974 https://www.ester.ee/record=b1299966*est

raamat

8

artikkel ajalehes

Alustab arvutiteaduse tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus

artikkel ajalehes

9

artikkel kogumikus

Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr

artikkel kogumikus

10

artikkel ajakirjas

Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr https://artiklid.elnet.ee/record=b2039570*est

artikkel ajakirjas

11

raamat

Arvuti ja keeledHenno, Jaak2006 http://www.ester.ee/record=b2158058*est

raamat

12

raamat

Arvutigraafika BASIC-keeltes : metoodiline materjal1991 https://www.ester.ee/record=b1253551*est

raamat

13

raamat

Arvutigraafika BASIC-keeltes : metoodiline materjal1988 https://www.ester.ee/record=b1225426*est

raamat

14

artikkel kogumikus EST / artikkel kogumikus ENG

Auto-generation of smart contracts from a domain-specific XML-based languageDwivedi, Vimal Kumar; Norta, AlexanderIntelligent Data Engineering and Analytics2022 / p. 549-564 https://doi.org/10.1007/978-981-16-6624-7_54 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

15

artikkel ajakirjas

Automated design error debug using high-level decision diagrams and mutation operatorsRaik, Jaan; Repinski, Urmas; Tšepurov, Anton; Hantson, Hanno; Ubar, Raimund-Johannes; Jenihhin, MaksimMicroprocessors and microsystems2013 / p. 505-513 : ill

artikkel ajakirjas

16

raamat

Baasteadmised programmeerimiskeelest C++Luczkowski, Teodor2004 https://www.ester.ee/record=b1978669*est

raamat

17

raamat

BASIC-arvutigraafika : abimaterjal informaatika õppijatele ja õpetajateleRenzer, Aare1988 https://www.ester.ee/record=b1233694*est

raamat

18

raamat

BASIC-keele lühikursus : õppeabimaterjal1986 https://www.ester.ee/record=b1158971*est

raamat

19

artikkel ajakirjas

Borland C++ 2.0Luczkowski, TeodorArvutustehnika ja Andmetöötlus1992 / 3, lk. 42-45

artikkel ajakirjas

20

artikkel ajakirjas

Borland C++2.0Luczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 12, lisalehtedel

artikkel ajakirjas

21

dissertatsioon

Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimineFirsov, Denis2016 http://digi.lib.ttu.ee/i/?6213

dissertatsioon

22

artikkel ajakirjas

Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468

artikkel ajakirjas

23

artikkel kogumikus EST / artikkel kogumikus ENG

Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

24

artikkel kogumikus

Circumstances which should be taken into accountVilu, RaivoGIS-Baltic Sea States '95 : exhibition, conference - Tallinn, Estonia, 13-15 December, 1995 : abstracts, catalogue1995 / p. 52

artikkel kogumikus

25

artikkel ajakirjas

C-keele ohudLuczkowski, TeodorArvutustehnika ja Andmetöötlus1991 / 12, lk. 8-13

artikkel ajakirjas

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1