Preface : Bifurcation analysis : principles, applications, synthesis Preface

M. Hazewinkel (Michiel), R. Jurcovich and J.H.C. Paelinck

Logics and models of concurrent systems Book

Correctness proofs of distributed termination algorithms Book Chapter

K.R. Apt (Krzysztof)

Review of "Foundations of logic programming" by J.W. Lloyd Article

K.R. Apt (Krzysztof)

Laplace type integrals: transformation to standard form and uniform asymptotic expansions Article

N.M. Temme (Nico)

Nieuwjaarskaart 1985 = New years card 1985 Other

Sequencing by enumerative methods Book

J.K. Lenstra (Jan Karel)

The numerical solution of nonlinear stiff initial value problems: an analysis of one step methods Book

W. Hundsdorfer (Willem)