Research Output 1968 2020

Filter
Book
2008
2144 Citations (Scopus)

Computational geometry : algorithms and applications

Berg, de, M., Cheong, O., Kreveld, van, M. J. & Overmars, M. H., 2008, 3rd ed ed. Berlin: Springer. 386 p.

Research output: Book/ReportBookAcademic

Computational geometry
1999

On a method of multiprogramming

Feijen, W. H. J. & Gasteren, van, A. J. M., 1999, Berlin: Springer. 370 p. (Monographs in computer science)

Research output: Book/ReportBookAcademic

1991

Specification and compositional verification of real-time systems

Hooman, J. J. M., 1991, Berlin: Springer. 235 p. (Lecture notes in computer science; vol. 558)

Research output: Book/ReportBookAcademic

1990

On the shape of mathematical arguments

Gasteren, van, A. J. M., 1990, Berlin: Springer. (Lecture notes in computer science; vol. 445)

Research output: Book/ReportBookAcademic

1985

Symmetries for dynamical and Hamiltonian systems

Eikelder, ten, H. M. M., 1985, Amsterdam: Centrum voor Wiskunde en Informatica. 191 p. (CWI tracts; vol. 17)

Research output: Book/ReportBookAcademic

1976

Associons and the closure statement

Rem, M., 1976, Amsterdam: Stichting Mathematisch Centrum. 115 p. (Mathematical Centre tracts; vol. 76)

Research output: Book/ReportBookAcademic