Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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