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
Final state (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/148)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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 EST
/
artikkel ajakirjas ENG
Span(Graph) : a canonical feedback algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Software and systems modeling
2023
/
p. 495-520 : ill
https://doi.org/10.1007/s10270-023-01092-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
148
1.
Final state
2.
final coalgebra
3.
final energy
4.
final overdetermination
5.
final test result prediction
6.
act of state
7.
Algorithmic State Machine - ASM
8.
Algorithmic State Machines (ASMs)
9.
all solid-state batteries
10.
Arab state
11.
covalent self-assembly in solid state
12.
current state capability quantitative estimates
13.
digital state
14.
entrepreneurial state
15.
e-state system
16.
EU state aid
17.
finite state machine
18.
Finite State Machine - FSM
19.
finite-state machines
20.
flag state control
21.
functional state of the muscles -tiredness
22.
good life in the good state
23.
HATEOAS (Hypermedia as the Engine of Application State)
24.
H-detected solid-state NMR
25.
hierarchical finite state machine
26.
Initial state
27.
Islamic State
28.
liquid-state sintering
29.
mental state
30.
minimal state space realization
31.
Neo-Weberian State
32.
parametrised state transformation
33.
parametrized state transformation
34.
partner state
35.
physiological state
36.
port state control
37.
process state classification
38.
Quantum state verification
39.
quasi steady state (QSS) analysis
40.
reader and writer and state monads
41.
recent state
42.
renewable electricity state subsidies
43.
representing the state
44.
REST (Representational State Transfer)
45.
sea state
46.
second state transients
47.
small state
48.
small state governance
49.
solid state circuit breakers (SSCBs)
50.
solid state detectors
51.
solid state diffusion
52.
solid state nuclear magnetic resonance
53.
solid state reaction
54.
solid state transformer
55.
solid-state
56.
solid-state 35Cl NMR
57.
solid-state batteries
58.
solid-state circuit breaker
59.
solid-state circuit breaker (SSCB)
60.
solid-state circuit breakers (SSCBs)
61.
solid-state electrolyte
62.
solid‐state electrolyte
63.
solid-state electrolytes
64.
solid-state fermentation
65.
solid-state fermentations
66.
solid-state fluoride electrolyte
67.
solid-state NMR
68.
solid-state NMR spectroscopy
69.
solid-state pH electrodes
70.
solid-state reactions
71.
solid-state sintering
72.
solid-state transformer
73.
solid-state transformers
74.
state
75.
state aid
76.
state aid regulations
77.
State Aid Temporary Framework
78.
state and governance traditions
79.
state and output transformations
80.
state assignment
81.
state audit institution
82.
state capacity
83.
state complexity
84.
state equations
85.
state equivalence
86.
State estimation
87.
state feedback
88.
state feedback linearization
89.
state financing
90.
state fire and rescue service (SFRS)
91.
state fleets
92.
state institutions
93.
state intervention
94.
state linearizability
95.
state machine
96.
state mindfulness
97.
state monads
98.
state morals
99.
state of change
100.
state of charge
101.
state of charge (SOC)
102.
state of health
103.
state of the art
104.
state of the art research
105.
state of the brain
106.
state of the ocean
107.
state owned enterprises
108.
state policy
109.
state socialism
110.
state sovereignt
111.
state sovereignty
112.
state space methods
113.
state space realization
114.
state support
115.
state support of religion
116.
State Theory
117.
state variable
118.
state-citizen
119.
state-feedback control
120.
state-of-the-art
121.
state-owned enterprises of Ukraine
122.
state-separating proofs
123.
State-space
124.
state-space interpolation
125.
state‐space method
126.
state-space models
127.
state-space realization
128.
state-spacerealization
129.
steady state
130.
steady state analysis
131.
steady state response
132.
Steady-state
133.
steady-state analysis
134.
steady-state flow rheology
135.
steady-state forced vibrations
136.
steady‐state growth space analysis
137.
stedy-state analysis
138.
Sumy State University
139.
technical state index
140.
the state of the economy
141.
transient state
142.
U.S. state budgeting
143.
Ultimate limit state
144.
university-industry-state relations
145.
university-industry-state relations
146.
welfare state
147.
world state
148.
1H solid-state NMR
×
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