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
Initial 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/151)
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
151
1.
Initial state
2.
initial commitment
3.
initial conditions
4.
initial data
5.
initial data for AI
6.
initial data model
7.
initial moisture content
8.
initial planning or design stage
9.
initial settings
10.
initial solution to the linear programming problem
11.
method of initial parameters
12.
method of initial parameters in differential form
13.
act of state
14.
Algorithmic State Machine - ASM
15.
Algorithmic State Machines (ASMs)
16.
all solid-state batteries
17.
Arab state
18.
covalent self-assembly in solid state
19.
current state capability quantitative estimates
20.
digital state
21.
entrepreneurial state
22.
e-state system
23.
EU state aid
24.
Final state
25.
finite state machine
26.
Finite State Machine - FSM
27.
finite-state machines
28.
flag state control
29.
functional state of the muscles -tiredness
30.
good life in the good state
31.
HATEOAS (Hypermedia as the Engine of Application State)
32.
H-detected solid-state NMR
33.
hierarchical finite state machine
34.
Islamic State
35.
liquid-state sintering
36.
minimal state space realization
37.
Neo-Weberian State
38.
parametrised state transformation
39.
partner state
40.
physiological state
41.
port state control
42.
process state classification
43.
Quantum state verification
44.
quasi steady state (QSS) analysis
45.
reader and writer and state monads
46.
recent state
47.
renewable electricity state subsidies
48.
representing the state
49.
REST (Representational State Transfer)
50.
sea state
51.
second state transients
52.
small state
53.
small state governance
54.
solid state detectors
55.
solid state diffusion
56.
solid state nuclear magnetic resonance
57.
solid state reaction
58.
solid state transformer
59.
solid-state
60.
solid-state 35Cl NMR
61.
solid-state batteries
62.
solid-state circuit breaker
63.
solid-state circuit breaker (SSCB)
64.
solid-state circuit breakers (SSCBs)
65.
solid-state electrolyte
66.
solid‐state electrolyte
67.
solid-state electrolytes
68.
solid-state fermentation
69.
solid-state fermentations
70.
solid-state fluoride electrolyte
71.
solid-state NMR
72.
solid-state NMR spectroscopy
73.
solid-state pH electrodes
74.
solid-state reactions
75.
solid-state sintering
76.
solid-state transformer
77.
solid-state transformers
78.
state
79.
state aid
80.
state aid regulations
81.
State Aid Temporary Framework
82.
state and governance traditions
83.
state and output transformations
84.
state assignment
85.
state audit institution
86.
state capacity
87.
state complexity
88.
state equations
89.
state equivalence
90.
State estimation
91.
state feedback
92.
state feedback linearization
93.
state financing
94.
state fire and rescue service (SFRS)
95.
state fleets
96.
state institutions
97.
state intervention
98.
state linearizability
99.
state machine
100.
state mindfulness
101.
state monads
102.
state morals
103.
state of change
104.
state of charge
105.
state of charge (SOC)
106.
state of health
107.
state of the art
108.
state of the art research
109.
state of the brain
110.
state of the ocean
111.
state owned enterprises
112.
state policy
113.
state socialism
114.
state sovereignt
115.
state sovereignty
116.
state space methods
117.
state space realization
118.
state support
119.
state support of religion
120.
State Theory
121.
state variable
122.
state-citizen
123.
state-feedback control
124.
state-of-the-art
125.
state-owned enterprises of Ukraine
126.
state-separating proofs
127.
State-space
128.
state-space interpolation
129.
state-space models
130.
state-space realization
131.
state-spacerealization
132.
steady state
133.
steady state analysis
134.
steady state response
135.
Steady-state
136.
steady-state analysis
137.
steady-state flow rheology
138.
steady-state forced vibrations
139.
steady‐state growth space analysis
140.
stedy-state analysis
141.
Sumy State University
142.
technical state index
143.
the state of the economy
144.
transient state
145.
U.S. state budgeting
146.
Ultimate limit state
147.
university-industry-state relations
148.
university-industry-state relations
149.
welfare state
150.
world state
151.
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