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 A typed encoding of boxed into safe ambients Levi, Francesca
2005
42 6-7 p. 429-500
artikel
2 Embedding linear orders in grids Ehrenfeucht, Andrzej
2005
42 6-7 p. 419-428
artikel
3 Equivalences and optimizations in an expressive XSLT subset Trombetta, Alberto
2005
42 6-7 p. 515-539
artikel
4 Refinement of actions for real-time concurrent systems with causal ambiguity Majster-Cederbaum, Mila
2005
42 6-7 p. 389-418
artikel
5 Vector assignment schemes for asymmetric settings Epstein, Leah
2006
42 6-7 p. 501-514
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland