Zoekresultaten
Resultaat 181 - 200 (van 1825)
R van Vliet Multicore 8
a timesharing system for the PDP8 series
Engels | 194 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
L.J.M. Geurts Keyword grammars
Engels | 13 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
K.R. Apt Completeness with finite systems of intermediate assertions for recursive program schemes
Engels | 12 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
P M B Vitányi How goodʺ can a graph be n-colored?
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
H.J. Boom Separate compilation, definition modules, and block-structured languages
Engels | 21 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
J.W. de Bakker Correctness proofs for assignment statements
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
J.W. de Bakker Semantics and the foundations of program proving
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
W J Savitch Time bounded random access machines with parallel processing
Engels | 34 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
R. van Vliet A problem in collateral elaboration
Engels | 17 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
K.R. Apt | J.W. de Bakker Exercises in denotational semantics
Engels | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
Dick Grune A view of coroutines
Engels | 7 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
K.R. Apt Equivalence of operational and denotational semantics for a fragment of PASCAL
Engels | 27 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
L.G.L.T. Meertens From abstract variable to concrete representation
Engels | 26 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
P M B Vitányi On inverse deterministic pushdown transductions
Engels | 31 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
P M B Vitányi Achievable high scores of E-moves and running times in DPDA computations
Engels | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
H.J. Boom Extended type checking
Engels | 15 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
Stichting Mathematisch Centrum The intermediate language for pictures
Engels | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek
L. Ammeraal How program statements transform predicates
Engels | 15 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek
C.L. Pippel Stochastic models of storage allocation systems
Engels | 56 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek
L.G.L.T. Meertens Mode and meaning
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1975
Gedrukt boek