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
abstraktsed automaadid (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
14
Vaata veel..
(1/3)
Ekspordi
ekspordi kõik päringu tulemused
(14)
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 kogumikus
An approach to inference of finite state machines based on gravitationally-inspired search algorithm
Spitšakova, Margarita
12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings
2011
/
p. 185-195 : ill
artikkel kogumikus
2
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
3
dissertatsioon
Discrete gravitational swarm optimization algorithm for system identification = Diskreetne gravitatsioonilist vastasmõju arvestav osakeste parvega optimeerimise meetod süsteemide identifitseerimiseks
Spitšakova, Margarita
2017
https://digi.lib.ttu.ee/i/?8449
dissertatsioon
4
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Disturbance decoupling in nonlinear hybrid systems
Kaldmäe, Arvo
;
Kotta, Ülle
;
Shumsky, Alexey
;
Zhirabok, Alexey
Nonlinear analysis : hybrid systems
2018
/
p. 42-53
https://doi.org/10.1016/j.nahs.2017.11.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
5
raamat
Formaalsed keeled ja abstraktsed automaadid
Henno, Jaak
1991
https://www.ester.ee/record=b1253555*est
raamat
6
raamat
Formaalsed keeled ja abstraktsed automaadid : õppeabimaterjal
Henno, Jaak
1985
https://www.ester.ee/record=b1228625*est
raamat
7
artikkel kogumikus
New interpretation and generalization of the Kameda-Weiner method
Tamm, Hellis
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
2016
/
p. 116:1-116:12
http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.116
artikkel kogumikus
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
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
10
artikkel kogumikus
К задаче последовательной декомпозиции конечных автоматов
Kracht, Wilhelm
;
Jakobson, Gabriel
Труды по электротехнике и автоматике : сборник статей. 7
1970
/
с. 55-61 : илл
https://www.ester.ee/record=b2189958*est
https://digikogu.taltech.ee/et/Item/33610e22-06c3-48a2-83bd-e55be9589930
artikkel kogumikus
11
artikkel kogumikus
О классификации задач декомпозиции конечных автоматов
Keevallik, Andres
Труды по электротехнике и автоматике : сборник статей. 11
1973
/
с. 61-67
https://www.ester.ee/record=b2190624*est
https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996
artikkel kogumikus
12
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
13
artikkel kogumikus
Общая декомпозиция конечных автоматов
Jakobson, Gabriel
Труды по электротехнике и автоматике : сборник статей. 9
1971
/
с. 43-51 : илл
https://www.ester.ee/record=b2190156*est
https://digikogu.taltech.ee/et/Item/945ec07e-d7b0-466e-bc24-6ad904a829e9/
artikkel kogumikus
14
dissertatsioon
Прямое проектирование статически неопределимых стержневых систем (балок и рам) методами математического программирования : автореферат ... кандидата технических наук
Šrom, Gennadi
1971
http://www.ester.ee/record=b2852317*est
dissertatsioon
Kirjeid leitud 14, kuvan
1 - 14
märksõna
3
1.
abstraktsed automaadid
2.
automaadid (relvad)
3.
automaadid (seadmed)
×
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