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
Liitotsing
Valitud kirjed
0
Final state (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/145)
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 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
145
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.
minimal state space realization
30.
Neo-Weberian State
31.
parametrised state transformation
32.
partner state
33.
physiological state
34.
port state control
35.
process state classification
36.
Quantum state verification
37.
quasi steady state (QSS) analysis
38.
reader and writer and state monads
39.
recent state
40.
renewable electricity state subsidies
41.
representing the state
42.
REST (Representational State Transfer)
43.
sea state
44.
second state transients
45.
small state
46.
small state governance
47.
solid state detectors
48.
solid state diffusion
49.
solid state nuclear magnetic resonance
50.
solid state reaction
51.
solid state transformer
52.
solid-state
53.
solid-state 35Cl NMR
54.
solid-state batteries
55.
solid-state circuit breaker
56.
solid-state circuit breaker (SSCB)
57.
solid-state circuit breakers (SSCBs)
58.
solid-state electrolyte
59.
solid‐state electrolyte
60.
solid-state electrolytes
61.
solid-state fermentation
62.
solid-state fermentations
63.
solid-state fluoride electrolyte
64.
solid-state NMR
65.
solid-state NMR spectroscopy
66.
solid-state pH electrodes
67.
solid-state reactions
68.
solid-state sintering
69.
solid-state transformer
70.
solid-state transformers
71.
state
72.
state aid
73.
state aid regulations
74.
State Aid Temporary Framework
75.
state and governance traditions
76.
state and output transformations
77.
state assignment
78.
state audit institution
79.
state capacity
80.
state complexity
81.
state equations
82.
state equivalence
83.
State estimation
84.
state feedback
85.
state feedback linearization
86.
state financing
87.
state fire and rescue service (SFRS)
88.
state fleets
89.
state institutions
90.
state intervention
91.
state linearizability
92.
state machine
93.
state mindfulness
94.
state monads
95.
state morals
96.
state of change
97.
state of charge
98.
state of charge (SOC)
99.
state of health
100.
state of the art
101.
state of the art research
102.
state of the brain
103.
state of the ocean
104.
state owned enterprises
105.
state policy
106.
state socialism
107.
state sovereignt
108.
state sovereignty
109.
state space methods
110.
state space realization
111.
state support
112.
state support of religion
113.
State Theory
114.
state variable
115.
state-citizen
116.
state-feedback control
117.
state-of-the-art
118.
state-owned enterprises of Ukraine
119.
state-separating proofs
120.
State-space
121.
state-space interpolation
122.
state‐space method
123.
state-space models
124.
state-space realization
125.
state-spacerealization
126.
steady state
127.
steady state analysis
128.
steady state response
129.
Steady-state
130.
steady-state analysis
131.
steady-state flow rheology
132.
steady-state forced vibrations
133.
steady‐state growth space analysis
134.
stedy-state analysis
135.
Sumy State University
136.
technical state index
137.
the state of the economy
138.
transient state
139.
U.S. state budgeting
140.
Ultimate limit state
141.
university-industry-state relations
142.
university-industry-state relations
143.
welfare state
144.
world state
145.
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