Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 A computer perspective: Background to the computer age—new edition Zemanek, Heinz
 1992
 18 2 p. 207-209
3 p.
 article
2 A unifying framework for structured analysis and design models Knuth, Elod
 1992
 18 2 p. 221-222
2 p.
 article
3 Balanced trees with removals: an exercise in rewriting and proof Reade, C.M.P.
 1992
 18 2 p. 181-204
24 p.
 article
4 Graph-based proof procedures for horn clauses Hansson, Åke
 1992
 18 2 p. 215-218
4 p.
 article
5 Graphic design for electronic documents and user interfaces Nielsen, Jacob
 1992
 18 2 p. 218-221
4 p.
 article
6 Improving recursive functions by inverting the order of evaluation Boiten, Eerke A.
 1992
 18 2 p. 139-179
41 p.
 article
7 Inheritance hierarchies in knowledge representation and programming languages Østerby, Tom
 1992
 18 2 p. 209-213
5 p.
 article
8 Logic Programming: Proceedings of the 1990 North American Conference Szeredi, Péter
 1992
 18 2 p. 213-215
3 p.
 article
9 Programming: The derivation of algorithms Morgan, Carroll
 1992
 18 2 p. 205-207
3 p.
 article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands