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/147)
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
147
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.
partner state
34.
physiological state
35.
port state control
36.
process state classification
37.
Quantum state verification
38.
quasi steady state (QSS) analysis
39.
reader and writer and state monads
40.
recent state
41.
renewable electricity state subsidies
42.
representing the state
43.
REST (Representational State Transfer)
44.
sea state
45.
second state transients
46.
small state
47.
small state governance
48.
solid state circuit breakers (SSCBs)
49.
solid state detectors
50.
solid state diffusion
51.
solid state nuclear magnetic resonance
52.
solid state reaction
53.
solid state transformer
54.
solid-state
55.
solid-state 35Cl NMR
56.
solid-state batteries
57.
solid-state circuit breaker
58.
solid-state circuit breaker (SSCB)
59.
solid-state circuit breakers (SSCBs)
60.
solid-state electrolyte
61.
solid‐state electrolyte
62.
solid-state electrolytes
63.
solid-state fermentation
64.
solid-state fermentations
65.
solid-state fluoride electrolyte
66.
solid-state NMR
67.
solid-state NMR spectroscopy
68.
solid-state pH electrodes
69.
solid-state reactions
70.
solid-state sintering
71.
solid-state transformer
72.
solid-state transformers
73.
state
74.
state aid
75.
state aid regulations
76.
State Aid Temporary Framework
77.
state and governance traditions
78.
state and output transformations
79.
state assignment
80.
state audit institution
81.
state capacity
82.
state complexity
83.
state equations
84.
state equivalence
85.
State estimation
86.
state feedback
87.
state feedback linearization
88.
state financing
89.
state fire and rescue service (SFRS)
90.
state fleets
91.
state institutions
92.
state intervention
93.
state linearizability
94.
state machine
95.
state mindfulness
96.
state monads
97.
state morals
98.
state of change
99.
state of charge
100.
state of charge (SOC)
101.
state of health
102.
state of the art
103.
state of the art research
104.
state of the brain
105.
state of the ocean
106.
state owned enterprises
107.
state policy
108.
state socialism
109.
state sovereignt
110.
state sovereignty
111.
state space methods
112.
state space realization
113.
state support
114.
state support of religion
115.
State Theory
116.
state variable
117.
state-citizen
118.
state-feedback control
119.
state-of-the-art
120.
state-owned enterprises of Ukraine
121.
state-separating proofs
122.
State-space
123.
state-space interpolation
124.
state‐space method
125.
state-space models
126.
state-space realization
127.
state-spacerealization
128.
steady state
129.
steady state analysis
130.
steady state response
131.
Steady-state
132.
steady-state analysis
133.
steady-state flow rheology
134.
steady-state forced vibrations
135.
steady‐state growth space analysis
136.
stedy-state analysis
137.
Sumy State University
138.
technical state index
139.
the state of the economy
140.
transient state
141.
U.S. state budgeting
142.
Ultimate limit state
143.
university-industry-state relations
144.
university-industry-state relations
145.
welfare state
146.
world state
147.
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