Centrum Wiskunde & Informatica

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

Linear multistep methods with reduced truncation error for periodic initial value problems Article

IMA Journal of Numerical Analysis, 4(4), 479-489.

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1984

CWI Institutional Repository

Convergence of method of lines approximations to partial differential equations Article

The defect correction approach In Proceedings

Preemptive scheduling of uniform machines subject to release dates In Proceedings

Proving program inclusion using Hoare's logic Article

Bounded tiling, an alternative to satisfiability? In Proceedings

Process algebra for synchronous communication Article

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

Linear multistep methods with reduced truncation error for periodic initial value problems Article

Address

CWI researchers

Questions or comments?

CWI Institutional Repository

Convergence of method of lines approximations to partial differential equations Article

The defect correction approach In Proceedings

Preemptive scheduling of uniform machines subject to release dates In Proceedings

Proving program inclusion using Hoare's logic Article

Bounded tiling, an alternative to satisfiability? In Proceedings

Process algebra for synchronous communication Article

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

Linear multistep methods with reduced truncation error for periodic initial value problems Article

Workflow

Workflow

Add Content