Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             5 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Applying model-checking to solve queries on semistructured data Dovier, A.
2009
35 2 p. 143-172
30 p.
artikel
2 Class invariants as abstract interpretation of trace semantics Logozzo, Francesco
2009
35 2 p. 100-142
43 p.
artikel
3 Comparison and evaluation of back-translation algorithms for static single assignment forms Sassa, Masataka
2009
35 2 p. 173-195
23 p.
artikel
4 Efficient reconfigurable embedded parsers Pavlatos, Christos
2009
35 2 p. 196-215
20 p.
artikel
5 List of reviewers 2008 2009
35 2 p. 99-
1 p.
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland