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 case study of using grounded analysis as a requirement engineering method: Identifying personas that specify privacy and security tool users (Weber) Dupree, Janna-Lynn
 2018
 152 C p. 1-37
 artikel
2 All roads lead to Rome: Commuting strategies for product-line reliability analysis Castro, Thiago
 2018
 152 C p. 116-160
 artikel
3 An experimental comparison of edge, edge-pair, and prime path criteria Durelli, Vinicius H.S.
 2018
 152 C p. 99-115
 artikel
4 A unified view of monadic and applicative non-determinism Rivas, Exequiel
 2018
 152 C p. 70-98
 artikel
5 Combining range and inequality information for pointer disambiguation Maalej, Maroua
 2018
 152 C p. 161-184
 artikel
6 Editorial Board 2018
 152 C p. IFC
 artikel
7 ESBMC-GPU A context-bounded model checking tool to verify CUDA programs Monteiro, Felipe R.
 2018
 152 C p. 63-69
 artikel
8 Publisher's Note 2018
 152 C p. iv
 artikel
9 Publisher's Note: Article Based Publishing 2018
 152 C p. iii
 artikel
10 Translating essential OCL invariants to nested graph constraints for generating instances of meta-models Radke, Hendrik
 2018
 152 C p. 38-62
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland