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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Thread Algebra with Multi-Level Strategic Interleaving Bergstra, J.A.
 2007
 41 1 p. 3-32
 artikel
2 Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation Zhong, Ning
 2007
 41 1 p. 155-175
 artikel
3 Optimal Semicomputable Approximations to Reachable and Invariant Sets Collins, Pieter
 2007
 41 1 p. 33-48
 artikel
4 Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory Niqui, Milad
 2007
 41 1 p. 127-154
 artikel
5 Real Hypercomputation and Continuity Ziegler, Martin
 2007
 41 1 p. 177-206
 artikel
6 Shrad: A Language for Sequential Real Number Computation Farjudian, Amin
 2007
 41 1 p. 49-105
 artikel
7 Some Relations between Approximation Problems and PCPs over the Real Numbers Meer, Klaus
 2007
 41 1 p. 107-118
 artikel
8 The Computational Complexity of One-Dimensional Sandpiles Miltersen, Peter Bro
 2007
 41 1 p. 119-125
 artikel
9 Theory of Computation at CiE 2005 Cooper, S. Barry
 2007
 41 1 p. 1-2
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland