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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Computing end-to-end delays in stream query processing Kakkad, Vasvi
 2015
 105 C p. 124-144
21 p.
 artikel
2 Core Hybrid Event-B I: Single Hybrid Event-B machines Banach, Richard
 2015
 105 C p. 92-123
32 p.
 artikel
3 Empirical investigation of SEA-based dependence cluster properties Beszédes, Árpád
 2015
 105 C p. 3-25
23 p.
 artikel
4 Irish: A Hidden Markov Model to detect coded information islands in free text Cerulo, Luigi
 2015
 105 C p. 26-43
18 p.
 artikel
5 Relational symbolic execution of SQL code for unit testing of database programs Marcozzi, Michaël
 2015
 105 C p. 44-72
29 p.
 artikel
6 Special Section on Source Code Analysis and Manipulation (SCAM 2013) Adams, Bram
 2015
 105 C p. 1-2
2 p.
 artikel
7 Systematic derivation of correct variability-aware program analyses Midtgaard, Jan
 2015
 105 C p. 145-170
26 p.
 artikel
8 Usage contracts: Offering immediate feedback on violations of structural source-code regularities Lozano, Angela
 2015
 105 C p. 73-91
19 p.
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland