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 A lightweight approach to component-level exception mechanism for robust android apps Choi, Kwanghoon
 2015
 44 PC p. 283-298
16 p.
 artikel
2 Approaches to interpreter composition Barrett, Edd
 2015
 44 PC p. 199-217
19 p.
 artikel
3 Compiling and verifying SC-SystemJ programs for safety-critical reactive systems Park, Heejong
 2015
 44 PC p. 251-282
32 p.
 artikel
4 Concepts and evaluation of the extended entity-relationship approach to database design in a multi-paradigm information system modeling tool Dimitrieski, Vladimir
 2015
 44 PC p. 299-318
20 p.
 artikel
5 DSML4CP: A Domain-specific Modeling Language for Concurrent Programming Azadi Marand, Elaheh
 2015
 44 PC p. 319-341
23 p.
 artikel
6 Flexary connectives in Mizar Korniłowicz, Artur
 2015
 44 PC p. 238-250
13 p.
 artikel
7 On the verification of architectural reconfigurations Sanchez, Alejandro
 2015
 44 PC p. 218-237
20 p.
 artikel
8 Supporting comprehensible presentation of clone candidates through two-dimensional maximisation Fördős, Viktória
 2015
 44 PC p. 355-365
11 p.
 artikel
9 The intelligent memory allocator selector Ülgen, Onur
 2015
 44 PC p. 342-354
13 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland