Centrum Wiskunde & Informatica

A Berry-Esseen bound for $L$-statistics with unbounded weight functions In Proceedings

R. Helmers (Roelof) and M. Husková

January 1984
Convergence of method of lines approximations to partial differential equations Article

Computing, 33(3-4), 297-313.

J.G. Verwer (Jan) and J.M. Sanz-Serna

January 1984
The defect correction approach In Proceedings

K. Böhmer, P.W. Hemker (Piet) and H.J. Stetter

January 1984
Preemptive scheduling of uniform machines subject to release dates In Proceedings

J. Labetoulle, E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1984
Proving program inclusion using Hoare's logic Article

Theoretical Computer Science, 30(1), 1-48.

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1984
Bounded tiling, an alternative to satisfiability? In Proceedings

M.W.P. Savelsbergh and P. van Emde Boas (Peter)

January 1984
Process algebra for synchronous communication Article

Information and Control, 60(1-3), 109-137.

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1984
Calculation of special functions: the gamma function, the exponential integrals and error-like functions Book

C.G. van der Laan and N.M. Temme (Nico)

January 1984

Previous

Next