Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A calculus of quality for robustness against unreliable communication Nielson, Hanne Riis
 2015
 84 5 p. 611-639
29 p.
 artikel
2 Automated type-based analysis of injective agreement in the presence of compromised principals Sattarzadeh, Behnam
 2015
 84 5 p. 576-610
35 p.
 artikel
3 Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy Ajoudanian, Shohreh
 2015
 84 5 p. 640-667
28 p.
 artikel
4 Contents 2015
 84 5 p. iii-
1 p.
 artikel
5 Editorial Board 2015
 84 5 p. IFC-
1 p.
 artikel
6 Lightening global types Chen, Tzu-Chun
 2015
 84 5 p. 708-729
22 p.
 artikel
7 Observationally-induced lower and upper powerspace constructions Battenfeld, Ingo
 2015
 84 5 p. 668-682
15 p.
 artikel
8 Reversible session-based pi-calculus Tiezzi, Francesco
 2015
 84 5 p. 684-707
24 p.
 artikel
9 Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014) Donaldson, Alastair
 2015
 84 5 p. 683-
1 p.
 artikel
10 Symbol different term rewrite systems Vágvölgyi, Sándor
 2015
 84 5 p. 551-575
25 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland