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
finite automata (võtmesõ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
1
Vaata veel..
(1/58)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 EST
/
artikkel kogumikus ENG
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
58
1.
finite automata
2.
nondeterministic finite automata
3.
reversible deter-ministic finite automata (REV-DFAs)
4.
analytical mechanics of cellular automata
5.
automata learning
6.
Automata, Formal Verification
7.
bisimulation of Uppaal timed automata
8.
cellular automata
9.
timed automata
10.
timed automata mutation
11.
timed-automata
12.
UPPAAL timed automata
13.
B-spline finite element method
14.
finite element method
15.
finite automaton
16.
finite control set-model predictive control (FCS-MPC)
17.
finite correlation time
18.
finite depth
19.
finite differences
20.
finite dimensional algebras
21.
finite dimensional Banach space
22.
finite element
23.
Finite element (FE)
24.
finite element (FE) analysis
25.
finite element analysis
26.
finite element method
27.
finite element method (FEM)
28.
finite element method (FEM) simulation
29.
finite element model
30.
finite element modeling
31.
finite element modelling
32.
finite element simulation
33.
finite elements method
34.
finite impulse response (FIR) filters
35.
finite impulse response filters
36.
finite powerset
37.
finite state machine
38.
Finite State Machine - FSM
39.
finite subdirect irreducibility
40.
finite volume method
41.
finite-difference scheme
42.
finite-element (FE) analysis
43.
finite-element (FE) methods
44.
finite-element (FE) model
45.
finite-element analysis
46.
finite-element methods
47.
finite-element methods (FEM)
48.
finite-element model
49.
finite-element modeling
50.
finite-state machines
51.
finite-time compressibility
52.
finite-time Lyapunov exponent
53.
finite-volume method
54.
hierarchical finite state machine
55.
hot/cold pressing and finite element model simulation
56.
modulated finite control set-model predictive control
57.
the finite element method
58.
finite element methods
×
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