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/66)
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
66
1.
finite automata
2.
nondeterministic finite automata
3.
reversible deter-ministic finite automata (REV-DFAs)
4.
analytical mechanics of cellular automata
5.
asynchronous automata
6.
automata
7.
automata learning
8.
Automata, Formal Verification
9.
bisimulation of Uppaal timed automata
10.
cellular automata
11.
deterministic automata
12.
timed automata
13.
timed automata mutation
14.
timed-automata
15.
UPPAAL timed automata
16.
B-spline finite element method
17.
finite element method
18.
finite automaton
19.
finite bags
20.
finite basis problem
21.
finite control set-model predictive control (FCS-MPC)
22.
finite correlation time
23.
finite depth
24.
finite differences
25.
finite dimensional algebras
26.
finite dimensional Banach space
27.
finite element
28.
Finite element (FE)
29.
finite element (FE) analysis
30.
finite element analysis
31.
finite element analysis (FEA)
32.
finite element method
33.
finite element method (FEM)
34.
finite element method (FEM) simulation
35.
finite element model
36.
finite element modeling
37.
finite element modelling
38.
finite element modelling (FEM)
39.
finite element simulation
40.
finite elements method
41.
finite impulse response (FIR) filters
42.
finite impulse response filters
43.
finite powerset
44.
finite state machine
45.
Finite State Machine - FSM
46.
finite subdirect irreducibility
47.
finite volume method
48.
finite-difference scheme
49.
finite-element (FE) analysis
50.
finite-element (FE) methods
51.
finite-element (FE) model
52.
finite-element analysis
53.
finite-element methods
54.
finite-element methods (FEM)
55.
finite-element model
56.
finite-element modeling
57.
finite-element modelling
58.
finite-state machines
59.
finite-time compressibility
60.
finite-time Lyapunov exponent
61.
finite-volume method
62.
hierarchical finite state machine
63.
hot/cold pressing and finite element model simulation
64.
modulated finite control set-model predictive control
65.
the finite element method
66.
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