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 Axioms as generic rewrite rules in C++ with concepts Tang, Xiaolong
 2015
 97 P3 p. 320-330
11 p.
 artikel
2 Contracts-refinement proof system for component-based embedded systems Cimatti, Alessandro
 2015
 97 P3 p. 333-348
16 p.
 artikel
3 Editorial Board 2015
 97 P3 p. IFC-
1 p.
 artikel
4 Implementing type-safe software product lines using parametric traits Bettini, Lorenzo
 2015
 97 P3 p. 282-308
27 p.
 artikel
5 Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12) Cortellessa, Vittorio
 2015
 97 P3 p. 331-332
2 p.
 artikel
6 New degrees of freedom in metaheuristic optimization of component-based systems architecture: Architecture topology and load balancing Etemaadi, Ramin
 2015
 97 P3 p. 366-380
15 p.
 artikel
7 Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010) Ancona, Davide
 2015
 97 P3 p. 281-
1 p.
 artikel
8 Repository and meta-data design for efficient component consistency verification Brada, Premek
 2015
 97 P3 p. 349-365
17 p.
 artikel
9 Scheduling intense applications most ‘surprising’ first Rooney, Sean
 2015
 97 P3 p. 309-319
11 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland