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
computation theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
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
2
Vaata veel..
(1/195)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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 kogumikus EST
/
artikkel kogumikus ENG
Obstructions to compositionality
Puca, Caterina
;
Hadzihasanovic, Amar
;
Genovese, Fabrizio
;
Coecke, Bob
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 226-245
https://doi.org/10.4204/EPTCS.397.14
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
2015
/
p. 110 - 125
https://doi.org/10.1007/978-3-319-25150-9_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
195
1.
computation theory
2.
Theory of computation
3.
computation
4.
computation cost
5.
computation costs
6.
Computation offloading
7.
computation resource allocation
8.
effectful computation
9.
evolutionary computation
10.
feature space for taxonomy of models of interactive computation
11.
in-sensor computation
12.
Models of computation
13.
multiparty computation
14.
parallel and pipeline computation
15.
reversible computation
16.
stateful logic computation
17.
symbolic computation
18.
a coherent theory of proofs
19.
action theory
20.
activity theory
21.
adaptive structuration theory (AST)
22.
algebraic number theory
23.
algebraic theory
24.
algorithm design and theory
25.
beam theory
26.
behavioral reasoning theory
27.
bicategory theory
28.
Biot theory
29.
Bond theory
30.
Boolean Algebra Meets Graph-Theory
31.
catastrophe theory
32.
category theory
33.
chaos theory
34.
coding theory
35.
cognitive theory
36.
commitment theory
37.
communication channels (information theory)
38.
Complex systems theory
39.
complexity leadership theory
40.
complexity theory
41.
computer softwaregraph theory
42.
conservation of resources theory
43.
consumer culture theory
44.
control and systems theory
45.
control theory
46.
Cooper-Helmstetter cell cycle theory
47.
cosmology theory
48.
cosmology: theory
49.
critical theory of technology
50.
cultural theory of international relations
51.
dark matter theory
52.
decision theory
53.
Dempster-Shafer theory
54.
Demster-Shafer Theory
55.
density functional theory
56.
density functional theory (DFT)
57.
dependent type theory
58.
design theory
59.
Dezert–Smarandache theory
60.
development theory
61.
Digital Government Theory: Development and Application
62.
dispersive theory
63.
domain theory
64.
dual-process theory
65.
Dynamic capability theory
66.
dynamic social impact theory (DSIT)
67.
ecological systems theory
68.
economic theory
69.
end of theory
70.
energetic impact theory
71.
engaged theory
72.
enriched category theory
73.
Euler Bernoulli beams theory
74.
evolutionary theory of policy capacity
75.
Flow theory
76.
formal category theory
77.
formal language theory
78.
fully nonlinear potential theory
79.
game theory
80.
general systems theory
81.
general theory of information transfer
82.
general vibration theory
83.
graph theory
84.
gravitational waves / theory
85.
grounded theory
86.
group theory
87.
group threat theory
88.
higher-order beam theory
89.
History and Theory
90.
homotopy theory
91.
homotopy type theory
92.
housemoney effect prospect theory
93.
iceberg theory of culture
94.
image theory
95.
information theory
96.
innovation theory
97.
institutional theory
98.
intellectual capital theory
99.
interdependence theory
100.
inverse problem theory/applications
101.
inverse problems theory/applications
102.
job search theory
103.
language theory
104.
Lawvere theory
105.
layer-wise displacement theory
106.
linear systems theory
107.
macro-foundational theory
108.
maritime investment theory
109.
mechanism design theory
110.
meso-foundational theory
111.
micro-foundational theory
112.
middle-range theory
113.
mindlin plate theory
114.
modern portfolio theory
115.
network theory
116.
nonlinear shallow water theory
117.
nonlinear shallow-water theory
118.
nonlinear strip theory
119.
nonlinear theory
120.
normal torsion theory
121.
number theory
122.
organismic integration theory
123.
organization theory
124.
organizational theory
125.
peer‐to‐peer theory
126.
perceived customer value theory
127.
phase field theory
128.
picture theory
129.
protection motivation theory
130.
proto-theory of design
131.
public administration theory
132.
punctuated equilibrium theory
133.
quantum theory
134.
rational choice theory
135.
real options theory
136.
realization theory
137.
reduction theory
138.
refined zigzag theory
139.
regulatory focus theory
140.
sampling theory
141.
scapegoat theory
142.
search and matching theory
143.
self-determination theory
144.
self-determination theory of work motivation
145.
set theory
146.
shallow water theory
147.
shallow‐water theory
148.
sign theory
149.
signalling theory
150.
social exchange theory
151.
social identity theory
152.
social practice theory
153.
social presence theory
154.
social representation theory
155.
social system theory
156.
social systems theory
157.
sociological curriculum theory
158.
S-O-R theory
159.
speech-act theory
160.
stakeholder theory
161.
Stakeholder-oriented decision theory
162.
State Theory
163.
stimulus-organism-response theory
164.
stochastic learning theory
165.
strategic narrative theory
166.
strategic narrative theory
167.
Straussian theory model
168.
structuration theory
169.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
170.
switching theory
171.
synchronous reference frame theory
172.
system theory
173.
systems theory
174.
the RAT theory
175.
theory
176.
theory and practice of meta-modelling with application in healthcare
177.
theory building
178.
theory of accounting
179.
Theory Of Constraints (TOC)
180.
theory of economic development
181.
theory of inventive problem solving (TRIZ)
182.
theory of natural disaster
183.
Theory of paradox
184.
theory of planned behavior
185.
theory of planned behaviour
186.
theory of signs
187.
theory of value
188.
theory selection
189.
ticked cubical type theory
190.
time-dependent density functional theory (TD-DFT)
191.
type theory
192.
unified theory of acceptance and use of technology
193.
value theory
194.
virtual disc theory
195.
2D+T theory
×
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