Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
nr
titel
auteur
tijdschrift
jaar
jaarg.
afl.
pagina('s)
type
1
Decidability and complexity for quiescent consistency and its variations
Dongol, Brijesh
2017
257
C
p. 1-21
artikel
2
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity
Fokkink, Wan
2017
257
C
p. 79-113
artikel
3
Editorial Board
2017
257
C
p. IFC
artikel
4
FPT approximation schemes for maximizing submodular functions
Skowron, Piotr
2017
257
C
p. 65-78
artikel
5
On the functions generated by the general purpose analog computer
Bournez, Olivier
2017
257
C
p. 34-57
artikel
6
On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability
Kanj, Iyad
2017
257
C
p. 139-156
artikel
7
Probabilistic bisimilarity as testing equivalence
Deng, Yuxin
2017
257
C
p. 58-64
artikel
8
Scheduling on power-heterogeneous processors
Albers, Susanne
2017
257
C
p. 22-33
artikel
9
Tracking smooth trajectories in linear hybrid systems
Benerecetti, Massimo
2017
257
C
p. 114-138
artikel
9 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland