Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Tombak, Mati (autor)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 31
Vaata veel.. (3/126)
Ekspordi

ekspordi kõik päringu tulemused (31)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Automated correction of design errors by edge redirection on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, Jaan13th International Symposium on Quality Electronic Design (ISQED), 20122012 / p. 686-693 : ill https://ieeexplore.ieee.org/document/6113980

artikkel kogumikus
2

artikkel ajakirjas

Binaarsed relatsioonidTombak, MatiA & A2009 / 5, lk. 5-11 https://artiklid.elnet.ee/record=b1507126*est

artikkel ajakirjas
3

artikkel ajakirjas

Canonical representations of high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Raik, Jaan; Tombak, MatiEstonian journal of engineering2010 / 1, p. 39-55 : ill

artikkel ajakirjas
4

artikkel kogumikus

An experiment : using Google Translate and semantic mirrors to create synsets with many lexical unitsLohk, Ahti; Tombak, Mati; Vare, KadriProceedings of the 9th Global WordNet Conference : GWC 2018, January 8-12, 2018, Singapore2018 / p. 328-332 http://doi.org/10.1109/EmpiRE.2018.00012

artikkel kogumikus
5

artikkel kogumikus

Finding the description of structure by counting method : a case studyPeder, Ahti; Tombak, MatiSOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings2011 / p. 455-466 : ill https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38

artikkel kogumikus
6

dissertatsioon

Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012

dissertatsioon
7

artikkel kogumikus

Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]Karputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanIEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA2011 / p. 83 : ill. [CD-ROM] http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980

artikkel kogumikus
8

artikkel kogumikus

Kahest majanduslike ülesannete lahendamise programmsüsteemistMikli, Toomas; Simonova, H.; Tombak, Mati; Villo, N.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 33 https://www.ester.ee/record=b1324728*est

artikkel kogumikus
9

raamat

KeerukusteooriaTombak, Mati2007 https://www.ester.ee/record=b2286124*est

raamat
10

artikkel ajakirjas

Linear algorithms for recognizing and parsing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesFacta Universitatis [Niš]. Series electronics and energetics2011 / p. 325-339 : ill http://dx.doi.org/10.2298/FUEE1103325P

artikkel ajakirjas
11

artikkel kogumikus

Linear algorithms for testing superpositional graphsPeder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesProceedings of the Reed-Muller 2011 Workshop : May 25-26, 2011, Tuusula, Finland2011 / p. 111-118 : ill

artikkel kogumikus
12

dissertatsioon

Methods for coopetition and retention analysis : an application to university management = Koopetitsiooni ja väljalangevuse uurimise meetodid : rakendus ülikooli juhtimisesÜbi, Jaan2014 https://www.ester.ee/record=b3090746*est

dissertatsioon
13

artikkel kogumikus

Operatsioonisüsteem ankeeditüüpi andmete töötlemiseksMikli, Toomas; Räbovõitra, M.; Tombak, Mati; Võhandu, Leo; Aus, T.Ettekannete teesid IV vabariiklikule konverentsile "Automatiseeritud juhtimissüsteemid Eesti NSV-s" : Käärikul, 18.-21. dets. 1972.a. = Тезисы докладов IV республиканской конференции "Автоматизированные системы управления в Эстонской ССР" в Кяэрику, 18-21 декабря 1972 г.1972 / lk. 32 https://www.ester.ee/record=b1324728*est

artikkel kogumikus
14

artikkel kogumikus

Optimization of structurally synthesized BDDsUbar, Raimund-Johannes; Vassiljeva, T.; Raik, Jaan; Jutman, Artur; Tombak, Mati; Peder, AhtiProceedings of the Fourth IASTED International Conference on Modelling, Simulation, and Optimization : August 17-19, 2004, Kavai, Hawaii, USA2004 / p. 234-240 : ill

artikkel kogumikus
15

artikkel kogumikus

Pattern matching for superpositional graphs and separable permutationsTombak, Mati; Loorits, Neeme; Peder, Ahti; Võhandu, LeoAbstracts of Eleventh International Conference Permutation Patterns 20132013 / p. 64-66

artikkel kogumikus
16

artikkel kogumikus

Permutations and bijectionsVõhandu, Leo; Peder, Ahti; Tombak, MatiInformation modelling and knowledge bases XXIII2012 / p. 419-437 : ill

artikkel kogumikus
17

artikkel kogumikus

Probabilistic equivalence checking based on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanProceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany2011 / p. 423-428 : ill https://ieeexplore.ieee.org/document/5783130

artikkel kogumikus
18

artikkel kogumikus

Structurally synthesized binary decision diagramsJutman, Artur; Peder, Ahti; Raik, Jaan; Tombak, Mati; Ubar, Raimund-JohannesBoolean Problems : 6th International Workshop : September 23-24, 2004, Freiberg2004 / p. 271-278 : ill

artikkel kogumikus
19

artikkel ajakirjas

Superpositional graphsPeder, Ahti; Tombak, MatiActa et commentationes Universitatis Tartuensis de mathematica2009 / p. 51-64 : ill

artikkel ajakirjas
20

artikkel kogumikus

Synthesis of high-level decision diagrams for functional test pattern generationUbar, Raimund-Johannes; Raik, Jaan; Karputkin, Anton; Tombak, MatiProceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 20092009 / p. 519-524 : ill

artikkel kogumikus
21

raamat

Where the theorems are coming from : lectures at autumn school on computational intelligence and information technologies : October 25-27, 2011 [electronic resource]Tombak, Mati2011

raamat
22

artikkel ajakirjas

Генератор матричных отчетовAus, T.; Räbovõitra, M.; Tombak, MatiТруды Вычислительного центра1974 / с. 23-29 : ил https://www.ester.ee/record=b1181233*est

artikkel ajakirjas
23

artikkel ajakirjas

Генератор отчетов "Villis"Villems, A.; Isotamm, A.; Tombak, MatiТруды Вычислительного центра1974 / с. 49-66 : ил https://www.ester.ee/record=b1181233*est

artikkel ajakirjas
24

artikkel kogumikus

О проблемах редуцирования в грамматиках предшестованияVooglaid, Aare; Tombak, MatiОбработка информации1975 / с. 23-38 : илл https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987

artikkel kogumikus
25

artikkel kogumikus

О расширенном генераторе отчетов для ЭВМ "Минск-32" позволяющем оперировать со структурами, подобными структурами языка ПЛ/IMikli, Toomas; Tombak, MatiОбработка информации1975 / с. 11-16 : илл https://www.ester.ee/record=b1327401*est https://digikogu.taltech.ee/et/Item/6768b116-5b5d-4f83-ad46-282236590987

artikkel kogumikus

Kirjeid leitud 31, kuvan 1 - 25

eelmine
1
2
järgmine

1. Tombak, Mati, 1942-
2. Abel, Mati
3. Arulepp, Mati
4. Arus, Mati
5. Danilson, Mati
6. Graf, Mati
7. Heidmets, Mati
8. Iila, Mati
9. Jostov, Mati, 1958-2006
10. Kaeeli, Mati
11. Karelson, Mati, 1948-
12. Karmin, Mati
13. Kiirend, Mati, 1939-
14. Kirikal, Mati
15. Kodumets, Mati
16. Kõnno, Mati
17. Käärik, Mati
18. Lukas, Mati
19. Meldorf, Mati
20. Määrits, Mati
21. Punning, Jaan-Mati
22. Räli, Mati
23. Sööt, Peet Mati
24. Tarlap, Mati
25. Tähemaa, Mati, 1933-
26. Uus, Mati
27. Valdma, Mati
28. Viiul, Mati
29. Väljas, Mati, 1958-

1. Tombak, Mati
2. Tombak, Mari-Liis
3. Abel, Mati
4. Danilson, Mati
5. Graf, Mati
6. Karelson, Mati
7. Kirikal, Mati
8. Kodumets, Mati 1962-2010
9. Kutser, Mati
10. Kuus, Mati
11. Lukas, Mati
12. Meldorf, Mati
13. Müürisepp, Aleksander-Mati
14. Pilvet, Illo-Mati
15. Pirn, Mati
16. Pungas, Mati
17. Põldsaar, Mati 1945-2014
18. Reeben, Mati
19. Rjabovõitra, Mati
20. Räbovõitra, Mati 1941-1999
21. Tarma, Mati 1938-1995
22. Toome, Mati
23. Vaarmann, Mati
24. Valdma, Mati 1936-2023
25. Väljas, Mati

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu