Centrum Wiskunde & Informatica

An efficient algorithm for branching bisimulation and stuttering equivalence Tech Report

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

January 1990
On a local limit theorem for lattice distribution Tech Report

N.G. Gamkrelidze

January 1990
Minimality of descriptor representations under external equivalence Tech Report

M. Kuijper and J.M. Schumacher (Hans)

January 1990
Minimizing maximum earliness and maximum lateness on a single machine Tech Report

J.A. Hoogeveen

January 1990
Uniform asymptotic approximation of Fermi-Dirac integrals Tech Report

N.M. Temme (Nico) and A.B. Olde Daalhuis

January 1990
Fouten maken en verbeteren : rede uitgesproken bij de aanvaarding van het ambt van bijzonder hoogleraar in de industriële wiskunde aan de Universiteit van Amsterdam vanwege de Stichting Beta Plus op dinsdag 12 juni 1990 Tech Report

P.W. Hemker (Piet)

January 1990
Modeling one dimensional pattern formation by anti-diffusion Book

J.F. Kaashoek

January 1990
Upper and lower bounds on switching energy in VLSI Tech Report

G. Kissin

January 1990

Previous

Next