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 Abstraction models for verifying resource adequacy of IMA systems at concept level Saar de Moraes, Rodrigo
208 C p.
 artikel
2 A dependently typed calculus with polymorphic subtyping Xue, Mingqi
208 C p.
 artikel
3 A review of code reviewer recommendation studies: Challenges and future directions Çetin, H. Alperen
208 C p.
 artikel
4 Editorial Board
208 C p.
 artikel
5 Formal Techniques for Safety-Critical Systems (FTSCS 2018) Artho, Cyrille
208 C p.
 artikel
6 Lost in zero space – An empirical comparison of 0.y.z releases in software package distributions Decan, Alexandre
208 C p.
 artikel
7 Mechanical incrementalization of typing algorithms Busi, Matteo
208 C p.
 artikel
8 Minimizing Characterizing sets Cengiz Türker, Uraz
208 C p.
 artikel
9 Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm Manjhi, Devesh
208 C p.
 artikel
10 Umple: Model-driven development for open source and education Lethbridge, Timothy C.
208 C p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland