Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
automaaditeooria (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
18
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(18)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
An approach to the inference of finite state machines based on a gravitationally-inspired search algorithm
Spitšakova, Margarita
Proceedings of the Estonian Academy of Sciences
2013
/
p. 39-46
artikkel ajakirjas
2
artikkel ajakirjas
Book reviews : Semigroups and automata. SelectaUno Kaljulaid (1941-1999). Edited by Jaak Peetre (Lund, Sweden) and Jaan Penjam (Tallinn, Estonia), 2006, IOS Press, Amsterdam. ISBN 1-58603-582-7
Lumiste, Ülo
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics
2006
/
p. 189-191
artikkel ajakirjas
3
artikkel ajakirjas
Grammatikate tuletus ja automaatide induktsioon
Küngas, Peep
A & A
2001
/
4, lk. 17-21 ; 5, lk. 27-38
https://artiklid.elnet.ee/record=b1007647*est
artikkel ajakirjas
4
dissertatsioon
Low power finite state machine synthesis
Fomina, Jelena
2005
https://www.ester.ee/record=b2097121*est
dissertatsioon
5
artikkel ajakirjas
Models of attributed automata
Meriste, Merik
;
Penjam, Jaan
;
Vene, Varmo
Informatica
1998
/
1, p. 85-105: ill
artikkel ajakirjas
6
artikkel kogumikus
Multi-level test generation and fault diagnosis for finite state machines
Ubar, Raimund-Johannes
;
Brik, Marina
Dependable computing : proceedings / EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996
1996
/
p. 264-281: ill
artikkel kogumikus
7
dissertatsioon
Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
2020
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb
dissertatsioon
8
artikkel kogumikus EST
/
artikkel kogumikus ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
2020
/
p. 443-455
https://doi.org/10.1007/978-3-030-54997-8_28
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
9
dissertatsioon
Scenario oriented model-based testing = Stsenaariumjuhitud mudelipõhine testimine
Halling, Evelin
2019
https://digi.lib.ttu.ee/i/?11943
dissertatsioon
10
artikkel kogumikus EST
/
artikkel kogumikus ENG
Theoretical aspects of symbolic automata
Tamm, Hellis
;
Veanes, Margus
SOFSEM 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 : proceedings
2018
/
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
11
artikkel kogumikus
Генерация псевдослучайного микропрограммного автомата
Sudnitsõn, Aleksander
;
Berkman, Boriss
Автоматизация логического проектирования : сборник научных трудов
1981
/
с. 144-152
https://www.ester.ee/record=b1550042*est
artikkel kogumikus
12
dissertatsioon
Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : автореферат ... кандидата технических наук (05.13.01)
Sudnitsõn, Aleksander
1983
https://www.ester.ee/record=b1291157*est
dissertatsioon
13
dissertatsioon
Декомпозиционный синтез управляющих автоматов на программируемых матрицах и микропроцессорах : диссертация на соискание ученой степени кандидата кандидата технических наук
Sudnitsõn, Aleksander
1983
https://www.ester.ee/record=b4634419*est
dissertatsioon
14
artikkel kogumikus
Декомпозиция конечных автоматов на основе информационного критерия
Keevallik, Andres
;
Lausmaa, Toomas
Методы синтеза и диагностирования цифровых схем
1985
/
с. 3-11
artikkel kogumikus
15
artikkel kogumikus
Диагностирование синхронных микропрограммных автоматов
Viilup, Agu
Межреспубликанская школа-семинар по технической диагностике, 8-12 октября 1984 года : тезисы докладов
1984
/
с. 25-27
https://www.ester.ee/record=b1237891*est
artikkel kogumikus
16
artikkel kogumikus
О декомпозиции конечных автоматов
Keevallik, Andres
;
Leis, Paul
Оптимизация в проектировании дискретных устройств : материалы семинара, 25-26 ноября 1976 г.
1976
/
с. 52-70
artikkel kogumikus
17
artikkel kogumikus
Об одном способе декомпозиции автомных вероятностных автоматов
Keevallik, Andres
;
Jakobson, Gabriel
Труды по электротехнике и автоматике : сборник статей. 11
1973
/
с. 53-59
https://www.ester.ee/record=b2190624*est
https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996
artikkel kogumikus
18
artikkel kogumikus
Один метод декомпозиционного синтеза микропрограммных автоматов на программируемых логических матрицах
Leis, Paul
;
Sudnitsõn, Aleksander
Труды пятого Международного семинара "Прикладные аспекты теории автоматов". Т. 1
1979
/
с. 253-262
artikkel kogumikus
Kirjeid leitud 18, kuvan
1 - 18
märksõna
1
1.
automaaditeooria
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT