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/184)
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
184
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.
cosmology: theory
45.
critical theory of technology
46.
cultural theory of international relations
47.
dark matter theory
48.
decision theory
49.
Dempster-Shafer theory
50.
Demster-Shafer Theory
51.
density functional theory
52.
density functional theory (DFT)
53.
dependent type theory
54.
design theory
55.
development theory
56.
Digital Government Theory: Development and Application
57.
dispersive theory
58.
domain theory
59.
ecological systems theory
60.
economic theory
61.
end of theory
62.
energetic impact theory
63.
enriched category theory
64.
Euler Bernoulli beams theory
65.
evolutionary theory of policy capacity
66.
Flow theory
67.
formal category theory
68.
formal language theory
69.
fully nonlinear potential theory
70.
game theory
71.
general systems theory
72.
general theory of information transfer
73.
general vibration theory
74.
graph theory
75.
gravitational waves / theory
76.
grounded theory
77.
group theory
78.
group threat theory
79.
higher-order beam theory
80.
History and Theory
81.
homotopy theory
82.
homotopy type theory
83.
housemoney effect prospect theory
84.
iceberg theory of culture
85.
image theory
86.
information theory
87.
innovation theory
88.
institutional theory
89.
intellectual capital theory
90.
interdependence theory
91.
inverse problem theory/applications
92.
inverse problems theory/applications
93.
job search theory
94.
language theory
95.
Lawvere theory
96.
layer-wise displacement theory
97.
linear systems theory
98.
macro-foundational theory
99.
maritime investment theory
100.
mechanism design theory
101.
meso-foundational theory
102.
micro-foundational theory
103.
middle-range theory
104.
mindlin plate theory
105.
modern portfolio theory
106.
network theory
107.
nonlinear shallow water theory
108.
nonlinear shallow-water theory
109.
nonlinear strip theory
110.
nonlinear theory
111.
normal torsion theory
112.
number theory
113.
organismic integration theory
114.
organization theory
115.
organizational theory
116.
peer‐to‐peer theory
117.
perceived customer value theory
118.
phase field theory
119.
picture theory
120.
protection motivation theory
121.
proto-theory of design
122.
punctuated equilibrium theory
123.
rational choice theory
124.
real options theory
125.
realization theory
126.
reduction theory
127.
refined zigzag theory
128.
regulatory focus theory
129.
sampling theory
130.
scapegoat theory
131.
search and matching theory
132.
self-determination theory
133.
self-determination theory of work motivation
134.
set theory
135.
shallow water theory
136.
shallow‐water theory
137.
sign theory
138.
signalling theory
139.
social exchange theory
140.
social identity theory
141.
social practice theory
142.
social presence theory
143.
social representation theory
144.
social system theory
145.
social systems theory
146.
sociological curriculum theory
147.
S-O-R theory
148.
speech-act theory
149.
stakeholder theory
150.
Stakeholder-oriented decision theory
151.
State Theory
152.
stimulus-organism-response theory
153.
stochastic learning theory
154.
strategic narrative theory
155.
strategic narrative theory
156.
Straussian theory model
157.
structuration theory
158.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
159.
switching theory
160.
synchronous reference frame theory
161.
system theory
162.
systems theory
163.
the RAT theory
164.
theory
165.
theory and practice of meta-modelling with application in healthcare
166.
theory building
167.
theory of accounting
168.
Theory Of Constraints (TOC)
169.
theory of economic development
170.
theory of inventive problem solving (TRIZ)
171.
theory of natural disaster
172.
Theory of paradox
173.
theory of planned behavior
174.
theory of planned behaviour
175.
theory of signs
176.
theory of value
177.
theory selection
178.
ticked cubical type theory
179.
time-dependent density functional theory (TD-DFT)
180.
type theory
181.
unified theory of acceptance and use of technology
182.
value theory
183.
virtual disc theory
184.
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