Otsing - TalTech teadusportaal

kuva

reasta

1

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

2

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

3

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 http://dx.doi.org/10.1007/978-3-319-25579-8_20

artikkel kogumikus

4

dissertatsioon

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

dissertatsioon

5

raamat

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

raamat

6

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

7

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

8

raamat

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

raamat

9

artikkel ajalehes

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

artikkel ajalehes

10

artikkel kogumikus

An implementation in Agda of Sutner's decision algorithms for injectivity and surjectivity of one-dimensional cellular automataCapobianco, Silvio; Veltri, NiccoloProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 27-29 http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

artikkel kogumikus

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

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

artikkel kogumikus

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

dissertatsioon

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

dissertatsioon

21

artikkel ajakirjas

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

artikkel ajakirjas

22

artikkel kogumikus

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

artikkel kogumikus

23

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

24

artikkel kogumikus

CNC machining of halftone and lithophane images into wood-based panelsKiiman, Karmo; Luga, Üllar; Kers, JaanProceedings of the 12th Meeting of the Northern European Network for Wood Science and Engineering (WSE) : Wood Science and Engineering - a Key Factor on the Transition to Bioeconomy : September 12-13, 2016, Riga, Latvia2016 / p. 74-79 : ill http://www.kki.lv/dokumenti/WSE2016.pdf

artikkel kogumikus

25

artikkel kogumikus

CNC machining of halftone and lithophane images into wood-based panels [Online resource]Kiiman, Karmo; Luga, Üllar; Poltimäe, Triinu; Kers, JaanTartu Ülikooli ASTRA projekt PER ASPERA : Funktsionaalsed materjalid ja tehnoloogiad : [7-8 märtsil 2018, Tallinn : teesid] GSFMT Scientific Conference 2018 : Tallinn, March 7-8, 2018 : abstracts2018 / p. 1 http://fmtdk.ut.ee/teesid-2018/

artikkel kogumikus

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1