Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 Decidability and complexity for quiescent consistency and its variations Dongol, Brijesh
 2017
 257 C p. 1-21
 article
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
 article
3 Editorial Board 2017
 257 C p. IFC
 article
4 FPT approximation schemes for maximizing submodular functions Skowron, Piotr
 2017
 257 C p. 65-78
 article
5 On the functions generated by the general purpose analog computer Bournez, Olivier
 2017
 257 C p. 34-57
 article
6 On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability Kanj, Iyad
 2017
 257 C p. 139-156
 article
7 Probabilistic bisimilarity as testing equivalence Deng, Yuxin
 2017
 257 C p. 58-64
 article
8 Scheduling on power-heterogeneous processors Albers, Susanne
 2017
 257 C p. 22-33
 article
9 Tracking smooth trajectories in linear hybrid systems Benerecetti, Massimo
 2017
 257 C p. 114-138
 article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands