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
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
2
Vaata veel..
(1/181)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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 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, Niccolò
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
181
1.
computation theory
2.
Theory of computation
3.
computation
4.
computation cost
5.
Computation offloading
6.
computation resource allocation
7.
effectful computation
8.
evolutionary computation
9.
feature space for taxonomy of models of interactive computation
10.
in-sensor computation
11.
Models of computation
12.
multiparty computation
13.
parallel and pipeline computation
14.
reversible computation
15.
stateful logic computation
16.
symbolic computation
17.
a coherent theory of proofs
18.
activity theory
19.
adaptive structuration theory (AST)
20.
algebraic number theory
21.
algebraic theory
22.
algorithm design and theory
23.
beam theory
24.
behavioral reasoning theory
25.
bicategory theory
26.
Bond theory
27.
Boolean Algebra Meets Graph-Theory
28.
catastrophe theory
29.
category theory
30.
chaos theory
31.
coding theory
32.
cognitive theory
33.
commitment theory
34.
communication channels (information theory)
35.
Complex systems theory
36.
complexity leadership theory
37.
complexity theory
38.
computer softwaregraph theory
39.
conservation of resources theory
40.
Consumer Culture Theory
41.
control theory
42.
Cooper-Helmstetter cell cycle theory
43.
cosmology: theory
44.
critical theory of technology
45.
cultural theory of international relations
46.
dark matter theory
47.
decision theory
48.
Dempster-Shafer theory
49.
Demster-Shafer Theory
50.
density functional theory
51.
density functional theory (DFT)
52.
dependent type theory
53.
design theory
54.
development theory
55.
Digital Government Theory: Development and Application
56.
dispersive theory
57.
domain theory
58.
ecological systems theory
59.
economic theory
60.
end of theory
61.
energetic impact theory
62.
enriched category theory
63.
Euler Bernoulli beams theory
64.
evolutionary theory of policy capacity
65.
Flow theory
66.
formal category theory
67.
formal language theory
68.
fully nonlinear potential theory
69.
game theory
70.
general systems theory
71.
general theory of information transfer
72.
general vibration theory
73.
graph theory
74.
gravitational waves / theory
75.
grounded theory
76.
group theory
77.
group threat theory
78.
higher-order beam theory
79.
History and Theory
80.
homotopy theory
81.
homotopy type theory
82.
housemoney effect prospect theory
83.
iceberg theory of culture
84.
image theory
85.
information theory
86.
innovation theory
87.
institutional theory
88.
intellectual capital theory
89.
interdependence theory
90.
inverse problem theory/applications
91.
inverse problems theory/applications
92.
job search theory
93.
language theory
94.
Lawvere theory
95.
layer-wise displacement theory
96.
linear systems theory
97.
macro-foundational theory
98.
maritime investment theory
99.
mechanism design theory
100.
meso-foundational theory
101.
micro-foundational theory
102.
middle-range theory
103.
modern portfolio theory
104.
network theory
105.
nonlinear shallow water theory
106.
nonlinear shallow-water theory
107.
nonlinear strip theory
108.
nonlinear theory
109.
normal torsion theory
110.
number theory
111.
organization theory
112.
organizational theory
113.
peer‐to‐peer theory
114.
perceived customer value theory
115.
phase field theory
116.
picture theory
117.
protection motivation theory
118.
proto-theory of design
119.
punctuated equilibrium theory
120.
rational choice theory
121.
real options theory
122.
realization theory
123.
reduction theory
124.
refined zigzag theory
125.
regulatory focus theory
126.
sampling theory
127.
scapegoat theory
128.
search and matching theory
129.
self-determination theory
130.
self-determination theory of work motivation
131.
set theory
132.
shallow water theory
133.
shallow‐water theory
134.
sign theory
135.
signalling theory
136.
social exchange theory
137.
social identity theory
138.
social practice theory
139.
social presence theory
140.
social representation theory
141.
social system theory
142.
social systems theory
143.
sociological curriculum theory
144.
S-O-R theory
145.
speech-act theory
146.
stakeholder theory
147.
Stakeholder-oriented decision theory
148.
State Theory
149.
stimulus-organism-response theory
150.
stochastic learning theory
151.
strategic narrative theory
152.
strategic narrative theory
153.
Straussian theory model
154.
structuration theory
155.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
156.
switching theory
157.
synchronous reference frame theory
158.
system theory
159.
systems theory
160.
the RAT theory
161.
theory
162.
theory and practice of meta-modelling with application in healthcare
163.
theory building
164.
theory of accounting
165.
Theory Of Constraints (TOC)
166.
theory of economic development
167.
theory of inventive problem solving (TRIZ)
168.
theory of natural disaster
169.
Theory of paradox
170.
theory of planned behavior
171.
theory of planned behaviour
172.
theory of signs
173.
theory of value
174.
theory selection
175.
ticked cubical type theory
176.
time-dependent density functional theory (TD-DFT)
177.
type theory
178.
unified theory of acceptance and use of technology
179.
value theory
180.
virtual disc theory
181.
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