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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Agile validation of model transformations using compound F-Alloy specifications Gammaitoni, Loïc
 2018
 162 C p. 55-75
 artikel
2 A new roadmap for linking theories of programming and its applications on GCL and CSP He, Jifeng
 2018
 162 C p. 3-34
 artikel
3 Editorial Board 2018
 162 C p. ii
 artikel
4 Formal proof of dynamic memory isolation based on MMU Jomaa, Narjes
 2018
 162 C p. 76-92
 artikel
5 Lightweight energy consumption analysis and prediction for Android applications Hu, Yan
 2018
 162 C p. 132-147
 artikel
6 Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016) Bonsangue, Marcello
 2018
 162 C p. 1-2
 artikel
7 Simulation-based matching of cloud applications Bonchi, Filippo
 2018
 162 C p. 110-131
 artikel
8 Sound conformance testing for cyber-physical systems: Theory and implementation Araujo, Hugo
 2018
 162 C p. 35-54
 artikel
9 State-taint analysis for detecting resource bugs Xu, Zhiwu
 2018
 162 C p. 93-109
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland