Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Veanes, Margus (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 7
Vaata veel.. (3/146)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Adaptive futures : scalability for real-world computingHelander, Johannes; Serg, Risto; Veanes, Margus; Roy, PritamProceedings of 28th IEEE International Real-Time Systems Symposium : Tucson, Arizona, 3-6 December 20072007 / p. 105-116 : ill https://ieeexplore.ieee.org/document/4408296/keywords#keywords

artikkel kogumikus
2

artikkel kogumikus

Model-based testing of robots with NMmodelErnits, Juhan-Peep; Veanes, Margus; Helander, JohannesTESTCOM/FATES 2008 : Tokyo, Japan, June 12-13, 2008 : short papers2008 / p. 40-49 https://www.researchgate.net/publication/228824559_Model-Based_Testing_of_Robots_with_NModel

artikkel kogumikus
3

artikkel kogumikus

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinFormal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings2007 / p. 112-127 : ill

artikkel kogumikus
4

artikkel kogumikus

State isomorphism in model programs with abstract data structuresVeanes, Margus; Ernits, Juhan-Peep; Campbell, ColinInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 43-46 : ill

artikkel kogumikus
5

raamat

Testing of Software and Communicating Systems : work-in-progress and position papers, tool demonstrations, and tutorial abstracts of TestCom/Fates 2007 : Tallinn, Estonia, 26-29 June 2007Petrenko, Alexandre; Veanes, Margus; Tretmans, Jan; Grieskamp, Wolfgang2007 https://www.ester.ee/record=b2271047*est

raamat
6

artikkel kogumikus EST / artikkel kogumikus ENG

Theoretical aspects of symbolic automataTamm, Hellis; Veanes, MargusSOFSEM 2018 : Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018 : proceedings2018 / p. 428-441 https://doi.org/10.1007/978-3-319-73117-9_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
7

artikkel kogumikus

Using satisfiability modulo theories to analyse model programsVeanes, Margus; Saabas, AndoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 149-150

artikkel kogumikus

Kirjeid leitud 7, kuvan 1 - 7

1. Veanes, Valfried 1910-1991
2. Aron, Margus 1966
3. Friedenthal, Margus 1952
4. Kangur, Margus
5. Koolme, Margus 1979
6. Kruus, Margus 1957
7. Leivo, Margus 1954-2019
8. Leoste, Margus 1970
9. Lopp, Margus 1949
10. Lutsoja, Margus 1966
11. Maiste, Margus 1966
12. Margus, Liis
13. Margus, Teet 1963
14. Melsas, Margus
15. Metsanurm, Margus 1959
16. Metshein, Margus 1983
17. Muskat, Margus 1976
18. Mägi, Margus 1959
19. Müür, Margus 1980
20. Peterson, Margus 1961
21. Pihlak, Margus 1970
22. Poola, Margus 1983-
23. Rohtla, Margus 1970
24. Rätsep, Margus
25. Tammaru, Margus 1971
26. Tinits, Margus 1955
27. Veenre, Margus 1954
28. Viigimaa, Margus 1958
29. Villau, Margus 1982

1. Aruja, Margus
2. Friedenthal, Margus
3. Hunt, Margus
4. Jakobson, Margus
5. Koor, Margus
6. Kruus, Margus, 1957-
7. Kurm, Margus
8. Leivo, Margus, 1954-2019
9. Leoste, Margus
10. Lepik, Margus
11. Lopp, Margus, 1949-
12. Margus, Madis
13. Maripuu, Margus
14. Metshein, Margus
15. Metstak, Margus
16. Müür, Margus
17. Niitsoo, Margus
18. Pihlak, Margus
19. Püüa, Margus
20. Raad, Margus
21. Randma, Margus
22. Riimann, Margus
23. Rohtla, Margus
24. Saar, Margus
25. Sammelsaar, Margus
26. Sinka, Margus
27. Viigimaa, Margus, 1958-
28. Voolma, Margus

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