Zoekresultaten
Resultaat 41 - 60 (van 1488)
Stichting Mathematisch Centrum NUMAL
numerical procedures in ALGOL 60
Engels | 210 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
Stichting Mathematisch Centrum Computer aided complexity classification of deterministic scheduling problems
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
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.B. Tol The b-presentation of piecewise polynomial parametric curves and local adaption
Engels | 60 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
L.G.L.T. Meertens | J.C. van Vliet Making Algol 68+ texts conform to an operator-priority grammar
Engels | 24 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
A.H. Veen A formal model for data flow programs with token coloring
Engels | 25 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
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
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
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
Association Internationale pour le Calcul Analogique Simulation of systems
proceedings of the 8th AICA congress Delft, August 23-28, 1976
Engels | 1122 pagina's | North-Holland, Amsterdam | 1977
Gedrukt boek
F.M. Dekking Volmaakte onvoorspelbaarheid
Non-fictie
Nederlands | 19 pagina's | Delft University Press, Delft | 1999
Gedrukt boek
A.H.M. Levelt Wiskunde en knutselwerk
Non-fictie
Nederlands | 29 pagina's | Katholieke Universiteit Nijmegen, [Nijmegen] | 1997
Gedrukt boek
G.Y. Nieuwland Grafisch geïntegreerde computer algebra en wiskundig bewijzen en redeneren
Non-fictie
Nederlands | 8 pagina's | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
B.H. Boonstra | G.P. Leendertse | A.C.B. den Ouden Technisch ontwerp LECTOR-rekenmodulen
Non-fictie
Nederlands | 33 pagina's | Energieonderzoek Centrum Nederland, Petten | 1995
Gedrukt boek
Centrum voor Wiskunde en Informatica Proceedings Seminar 1982-1983: Mathematical structures in field theories
Non-fictie
Nederlands | 249 pagina's | Centrum voor Wiskunde en Informatica = Centre for Mathematics and Computer Science, Amsterdam | 1985
Gedrukt boek