Zoekresultaten
Resultaat 21 - 40 (van 1431)
J.A. Bergstra | J.V. Tucker Hoare's logic and Peano's arithmetic
Engels | 27 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra | J.V. Tucker Two theorems about the completeness of Hoare's logic
Engels | 13 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
A.K. Lenstra Lattices and factorization of polynomials
Engels | 23 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
A.H. Veen A formal model for data flow programs with token coloring
Engels | 25 pagina's | Stichting 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
Stichting Mathematisch Centrum NUMAL
numerical procedures in ALGOL 60
Engels | 210 pagina's | 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
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 Proving program inclusion using Hoare's logic
Engels | 60 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
Stichting Mathematisch Centrum Computer aided complexity classification of combinatorial problems
Engels | 13 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
Stichting Mathematisch Centrum Computer aided complexity classification of deterministic scheduling problems
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
A.B. Tol The b-presentation of piecewise polynomial parametric curves and local adaption
Engels | 60 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 | 212 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
Roland Glowinski | J.L. Lions | Raymond Trémolières Numerical analysis of variational inequalities
Engels | 776 pagina's | North-Holland, Amsterdam [etc.] | 1981
Gedrukt boek
P.M.B. Vitányi Efficient implementations of multicounter machines on oblivious turing machines, acyclic ligis networks and VISI
Engels | 21 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
J.A. Bergstra A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification
Engels | 11 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
P M B Vitányi Computing the perimeter of a set of rectangles
Engels | 22 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek