Formal methods in the study of language /

Published 1981

On point processes /

by Hoeven, P.C.T. van der
Published 1983

Abstraction, specification and implementation techniques : with an application to garbage collection /

by Jonkers, H. B. M.
Published 1983

Multiple grid methods for equations of the second kind with applications in fluid mechanics /

by Schippers, H.
Published 1983

Absoluteness of intuitionistic logic /

by Leivant, Daniel Maurice Raphaël
Published 1979

Singular perturbations of hyperbolic type /

by Geel, R.
Published 1978

Asymptotic optimality theory for testing problems with restricted alternatives /

by Snijders, T. A. B.
Published 1979

Bayesian control of Markov chains /

by Hee, Kees Max Van, 1946-
Published 1978

Large deviations and asymptotic efficiencies /

by Groeneboom, P.
Published 1980

Topology and order structures /

Published 1981

Identification and informative sample size /

by Tigelaar, H. H.
Published 1982

Characterization of optimal strategies in dynamic games /

by Groenewegen, L. P. J.
Published 1981

Multi-dimensional continued fraction algorithms /

by Brentjes, A. J.
Published 1981

The solution of initial value problems using interval arithmetic : formulation and analysis of an algorithm /

by Eijgenraam, P.
Published 1981

From A to Z : proceedings of a symposium in honour of A.C. Zaanen /

Published 1982

Markov decision processes with continuous time parameter /

by Van der Duyn Schouten, F. A.
Published 1983

Markovian control problems : functional equations and algorithms /

by Federgruen, A.
Published 1983

Computational methods in number theory /

Published 1982

Combinatory reduction systems /

by Klop, J. W.
Published 1980

Simplicial fixed point algorithms /

by Laan, G. van der
Published 1980