Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

On M-functions and nonlinear relaxation methods Tech Report

E.J. van Asselt

January 1983
The axiomatic semantics of programs based on Hoare's logic Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1983
The algebra of recursively defined processes and the algebra of regular processes Tech Report

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

January 1983
Karakterisering van spectra bij ijking van tracers Tech Report

J. Grasman (Johan)

January 1983
Linear multistep methods with minimized truncation error for periodic initial value problems Tech Report

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

January 1983
Guidelines for the design of large modular scientific libraries in ADA Tech Report

G.T. Symm, B.A. Wichmann and J. Kok (Jan)

January 1983
Algebraic tools for system construction Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)

January 1983
Het software house- en simulatiespel Tech Report

P. Klint (Paul)

January 1983

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close