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
 
                             4 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An exact subexponential-time lattice algorithm for Asian options Dai, Tian-Shyr
2006
44 1 p. 23-39
artikel
2 On using data abstractions for model checking refinements Derrick, John
2007
44 1 p. 41-71
artikel
3 Parallel LL parsing Vagner, Ladislav
2007
44 1 p. 73
artikel
4 Parallel LL parsing Vagner, Ladislav
2006
44 1 p. 1-21
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland