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 A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model Lin, Cheng-Kuan

185 4 p. 357-373
artikel
2 Characteristics of de Bruijnā€™s early proof checker Automath Geuvers, Herman

185 4 p. 313-336
artikel
3 Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers* Kutrib, Martin

185 4 p. 337-356
artikel
4 On Random Number Generation for Kernel Applications Abhishek, Kunal

185 4 p. 285-311
artikel
                             4 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland