Zoekresultaten
Resultaat 21 - 40 (van 1488)
Leen Torenvliet Simplicity in relativized S2
Engels | 19 pagina's | University of Amsterdam, Computer Science Department, Amsterdam | 1985
Gedrukt boek
Leen Torenvliet Towards a strong P-time hierarchy
Engels | 23 pagina's | University of Amsterdam, Computer Science Department, Amsterdam | 1985
Gedrukt boek
J.C.M. Baeten Proces algebra
Engels | Universiteit van Amsterdam, Facultaire Vakgroep Informatica, Amsterdam | 1985
Gedrukt boek
J. van Beest Implementation of a preprocessor for a shock wave loading
Engels | University of Technology], [Delft | 1983
Gedrukt boek
Hendrikus Gerardus Maria Kees The organization of circuit analysis on array architectures
Engels | 115 pagina's | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Conditional rewrite rules
confluency and termination
Engels | 51 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Fixed point semantics in process algebras
Engels | 21 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.A. Bergstra | J.W. Klop Formal proof systems for program equivalence
Engels | 14 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
P. Kuiper | W.P. de Roever (Jr.) Fairness assumptions for CSP in a temporal logic framework
Engels | 10 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
Yu.P. Korablin Deciding equivalence of functional schemes for parallel programs
Engels | 33 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.W. de Bakker | J.I. Zucker Processes and the denotational semantics of concurrency
Engels | 59 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
J.W. de Bakker | J.-J.Ch. Meyer | J.I. Zucker On infinite computations in denotational semantics
Engels | 35 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1982
Gedrukt boek
Bolyai János Mathematikai Társulat Mathematical logic in computer science
Engels | 757 pagina's | North-Holland Pub. Co., Amsterdam, New York | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop Proving program inclusion using Hoare's logic
Engels | 60 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop Algebraic specifications for parametrized data types with minimal parameter and target algebras
Engels | 22 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop A formalized proof system for total correctness of while programs
Engels | 16 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.W. Klop Initial algebra specifications for parametrized data types
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
Stichting Mathematisch Centrum NUMAL
numerical procedures in ALGOL 60
Engels | 92 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
Stichting Mathematisch Centrum NUMAL
numerical procedures in ALGOL 60
Engels | 220 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
Stichting Mathematisch Centrum NUMAL
numerical procedures in ALGOL 60
Engels | 206 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek