Zoekresultaten
Resultaat 81 - 100 (van 1488)
Mathematical programming at Oberwolfach
Engels | 257 pagina's | North-Holland Pub. Co, Amsterdam, New York | 1981
Gedrukt boek
L.G.L.T. Meertens | J.C. van Vliet On the MC Algol 68 compiler
Engels | 6 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
L.G.L.T. Meertens | J.C. van Vliet On top-down parsing of Algol 68+
Engels | 19 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
A. van Wijngaarden Languageless programming
Engels | 12 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek
A.H. Veen Reconciling data flow machines and conventional languages
Engels | 15 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
R.J.R. Back Correctness of explicitly specified procedures
Engels | 36 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
R.J.R. Back On the notion of correct refinement of programs
Engels | 30 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker The completeness of the algebraic specification methods for data types
Engels | 18 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker Expressiveness and the completeness of Hoare's logic
Engels | 20 pagina's | Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
Peter R.J. Asveld | J.V. Tucker On the operational structure of algebraic programming systems
Engels | 37 pagina's | Stichting Mathematisch Centrum], [Amsterdam | 1980
Gedrukt boek
J.A. Bergstra | J.V. Tucker On the refinement of specifications and Hoare's logic
Engels | 20 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1980
Gedrukt boek
J.A. Bergstra On the adequacy of finite equational methods for data type specification
Engels | 6 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek
J.A. Bergstra A characterisation of computable data types by means of a finite, equational specification method
Engels | 23 pagina's | Mathematisch centrum, Amsterdam | 1979
Gedrukt boek
J.J.P.V. Feitsma-Severijns | K. Boorsma | Pieter Dirk Feitsma Wiskunde voor de prop[a]edeuse met behulp van Maple
Non-fictie
Nederlands | 28 pagina's | Delta Press, Amerongen | 2003
Gedrukt boek
Arjen Merckens Computer algebra applications in econometrics
Non-fictie
Engels | 164 pagina's | 1991
Gedrukt boek
M. Rem | E. Wattel Het lokaliseren van veertiende-eeuwse Middelnederlandse teksten
Non-fictie
Nederlands | 11 pagina's | Vrije Universiteit, Amsterdam | 1997
Gedrukt boek
M. Kamminga-van Hulsen Handleiding Maple
Non-fictie
Nederlands | 201 pagina's | Academic Service, Schoonhoven | 1999
Gedrukt boek
M. Kamminga-van Hulsen Computeralgebra met MAPLE
Non-fictie
Nederlands | 445 pagina's | Academic Service wetenschap en techniek, Schoonhoven | 1996
Gedrukt boek
Stichting Mathematisch Centrum NUMAL
numerical procedures in ALGOL 60
Engels | 208 pagina's | Mathematisch Centrum, Amsterdam | 1981
Gedrukt boek