Zoekresultaten
Resultaat 141 - 160 (van 204)
Centrum voor Wiskunde en Informatica The syntax definition formalism SDF
reference manual
Non-fictie
Engels | 62 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica Amoeba
high performance distributed computing
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica Control flow versus logic: a denotational and declarative model for guarded Horn clauses
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica A process specification formalism based on static COLD
Non-fictie
Engels | 48 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1989
Gedrukt boek
Centrum voor Wiskunde en Informatica The algebraic basis of mathematical morphology
Non-fictie
Engels | 49 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Censoring, truncation and filtering in statistical models based on counting processes
Non-fictie
Engels | 36 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Perturbation theory for dual semigroups
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica A Hille-Yosida type theorem for a class of weakly* continuous semigroups
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica TW in beeld
bij het afscheid van Prof.dr. H.A. Lauwerier
Non-fictie
Engels | 94 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica A moving-grid method for one-dimensional PDEs bases on the method of lines
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1988
Gedrukt boek
Centrum voor Wiskunde en Informatica Coordination of a heterogeneous coastal hydrodynamics application in Manifold
Non-fictie
Engels | 8 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Centrum voor Wiskunde en Informatica The Amoeba distributed operating system
selected papers 1984-1987
Non-fictie
Engels | 309 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1987
Gedrukt boek
Centrum voor Wiskunde en Informatica Needed reduction and spine strategies for the lambda calculus
Non-fictie
Engels | 37 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica On the numerical integration of second-order initial value problems with a periodic forcing function
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Papers on semiparametric models at the ISI centenary session, Amsterdam
Non-fictie
Engels | 81 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Mathematics and computer science
Non-fictie
Engels | 161 pagina's | North Holland, Amsterdam [etc.] | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica Mathematics and computer science
Non-fictie
Engels | 351 pagina's | North-Holland, Amsterdam [etc.] | 1986
Gedrukt boek
Centrum voor Wiskunde en Informatica A second order Rosenbrock method applied to photochemical dispersion problems
Non-fictie
Engels | 24 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
Centrum voor Wiskunde en Informatica PREMO: a case study in formal methods and multimedia system specification
Non-fictie
Engels | 39 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
Centrum voor Wiskunde en Informatica Operational semantics of a parallel object-oriented language
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1985
Gedrukt boek