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 computer perspective: Background to the computer age—new edition Zemanek, Heinz
 1992
 18 2 p. 207-209
3 p.
 artikel
2 A unifying framework for structured analysis and design models Knuth, Elod
 1992
 18 2 p. 221-222
2 p.
 artikel
3 Balanced trees with removals: an exercise in rewriting and proof Reade, C.M.P.
 1992
 18 2 p. 181-204
24 p.
 artikel
4 Graph-based proof procedures for horn clauses Hansson, Åke
 1992
 18 2 p. 215-218
4 p.
 artikel
5 Graphic design for electronic documents and user interfaces Nielsen, Jacob
 1992
 18 2 p. 218-221
4 p.
 artikel
6 Improving recursive functions by inverting the order of evaluation Boiten, Eerke A.
 1992
 18 2 p. 139-179
41 p.
 artikel
7 Inheritance hierarchies in knowledge representation and programming languages Østerby, Tom
 1992
 18 2 p. 209-213
5 p.
 artikel
8 Logic Programming: Proceedings of the 1990 North American Conference Szeredi, Péter
 1992
 18 2 p. 213-215
3 p.
 artikel
9 Programming: The derivation of algorithms Morgan, Carroll
 1992
 18 2 p. 205-207
3 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland