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 bags (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/51)
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
Constructive final semantics of finite bags
Joram, Philipp
;
Veltri, Niccolò
14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 2023
2023
/
art. 20, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.20
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
51
1.
finite bags
2.
B-spline finite element method
3.
finite element method
4.
finite automata
5.
finite automaton
6.
finite control set-model predictive control (FCS-MPC)
7.
finite correlation time
8.
finite depth
9.
finite differences
10.
finite dimensional algebras
11.
finite dimensional Banach space
12.
finite element
13.
Finite element (FE)
14.
finite element (FE) analysis
15.
finite element analysis
16.
finite element analysis (FEA)
17.
finite element method
18.
finite element method (FEM)
19.
finite element method (FEM) simulation
20.
finite element model
21.
finite element modeling
22.
finite element modelling
23.
finite element simulation
24.
finite elements method
25.
finite impulse response (FIR) filters
26.
finite impulse response filters
27.
finite powerset
28.
finite state machine
29.
Finite State Machine - FSM
30.
finite subdirect irreducibility
31.
finite volume method
32.
finite-difference scheme
33.
finite-element (FE) analysis
34.
finite-element (FE) methods
35.
finite-element (FE) model
36.
finite-element analysis
37.
finite-element methods
38.
finite-element methods (FEM)
39.
finite-element model
40.
finite-element modeling
41.
finite-state machines
42.
finite-time compressibility
43.
finite-time Lyapunov exponent
44.
finite-volume method
45.
hierarchical finite state machine
46.
hot/cold pressing and finite element model simulation
47.
modulated finite control set-model predictive control
48.
nondeterministic finite automata
49.
reversible deter-ministic finite automata (REV-DFAs)
50.
the finite element method
51.
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