Zoekresultaten
Resultaat 161 - 180 (van 1862)
V. Stoltenberg-Hansen | J.V. Tucker Computing roots of unity in fields
Engels | 12 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
Peter R.J. Asveld Space-bounded complexity classes and iterated deterministic substitution
Engels | 21 pagina's | Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
J.A. Bergstra | J.V. Tucker Algebraic specifications of computable and semicomputable data structures
Engels | 24 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
Dutch Graphics Interaction Standards Committee Some issues in interactive programming revisited
Engels | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
P. Klint How inefficient are stack-oriented abstract machines?
Engels | 7 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek
L.G.L.T. Meertens Recurrent ultracomputers are not log N-fast
Engels | 8 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek
P.M.B. Vitányi Multihead and multiple real-time turing machines
Engels | 11 pagina's | Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
Henk Jonkers A fast garbage-compaction algorithm
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
J.A. Bergstra | J. Tiuryn | J.V. Tucker Correctness theories and program equivalence
Engels | 31 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
L.J.M. Geurts Remarks on abstracto
Engels | 12 pagina's | Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
P. Klint A framework for the integration of graphics and pattern recognition
Engels | 22 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
K.R. Apt A sound and complete hoar-like system for a fragment of Pascal
Engels | 59 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
P.M.B. Vitányi Physical time growth functions associated with developmental models operating in physiological time
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
H.J. Boom Task reduction systems
Engels | 12 pagina's | Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
H.J. Boom A weaker precondition for loops
Engels | Stichting Mathematisch Centrum, Amsterdam | 1978
Gedrukt boek
J.W. de Bakker Recursive programs as predicate transformers
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
J.W. de Bakker Semantics of infinite processes using generalized trees
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
W J Savitch Linear time simulation of multihead turing machines with head-to-head jumps
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek