Department of Mathematics and Computer Science

Research Output 1950 2020

Filter
Book
2004
2003

Analysis on Lie groups with polynomial growth

Dungey, N., Elst, ter, A. F. M. & Robinson, D. W., 2003, Basel: Birkhäuser Verlag. 312 p. (Progress in mathematics; vol. 214)

Research output: Book/ReportBookAcademic

Design and control of workflow processes : business process management for the service industry

Reijers, H. A., 2003, Berlin: Springer. 320 p. (Lecture notes in computer science; vol. 2617)

Research output: Book/ReportBookAcademic

Fourier and Laplace Transforms

Beerends, R. J., Morsche, ter, H. G., Berg, van den, J. C. & Vrie, van de, E. M., 2003, Cambridge: Cambridge University Press. 447 p.

Research output: Book/ReportBookProfessional

Petri Net Approaches for Modelling and Validation

Aalst, van der, W. M. P., Colom, J-M., Kordon, F., Kotsis, G. & Moldt, D., 2003, München: Lincom. (LINCOM Studies in Computer Science; vol. 1)

Research output: Book/ReportBookAcademic

2002
7 Citations (Scopus)

Ordinary differential equations in theory and practice

Mattheij, R. M. M. & Molenaar, J., 2002, Philadelphia: Society for Industrial and Applied Mathematics (SIAM). 405 p. (Classics in applied mathematics; vol. 43)

Research output: Book/ReportBookProfessional

Process algebra with timing

Baeten, J. C. M. & Middelburg, C. A., 2002, Berlin: Springer. 287 p. (Monographs in theoretical computer science)

Research output: Book/ReportBookAcademic

Workflow management : models, methods, and systems

Aalst, van der, W. M. P. & Hee, van, K. M., 2002, London: MIT Press. 384 p. (Cooperative information systems)

Research output: Book/ReportBookAcademic

2001

A course in combinatorics

van Lint, J. H. & Wilson, R. M., 2001, 2nd ed. ed. Cambridge: Cambridge University Press. 602 p.

Research output: Book/ReportBookProfessional

4 Citations (Scopus)

Control theory for linear systems

Trentelman, H. L., Stoorvogel, A. A. & Hautus, M. L. J., 2001, London: Springer. 389 p. (Communications and control engineering series)

Research output: Book/ReportBookAcademic

2000

Control of linear systems with regulation and input constraints

Saberi, A., Stoorvogel, A. A. & Sannuti, P., 2000, Berlin: Springer. 463 p. (Communications and control engineering series)

Research output: Book/ReportBookAcademic

Controller
Civilization
Well-posedness
Control theory
Structural stability

Fundamentals of cryptology : a professional reference and interactive tutorial

Tilborg, van, H. C. A., 2000, Dordrecht: Kluwer Academic Publishers. 492 p. (The Kluwer international series in engineering and computer science. SECS; vol. 528)

Research output: Book/ReportBookProfessional

Large deviations

Hollander, den, W. T. F., 2000, Providence: American Mathematical Society. 143 p. (Fields Institute monographs; vol. 14)

Research output: Book/ReportBookAcademic

Rethinking public key infrastructures and digital certificates : building in privacy

Brands, S. A., 2000, London: MIT Press. 314 p.

Research output: Book/ReportBookAcademic

Splines en wavelets

Traas, C. R., Morsche, ter, H. G. & Damme, van, R. M. J., 2000, Utrecht: Epsilon. 230 p. (Epsilon uitgaven; vol. 46)

Research output: Book/ReportBookProfessional

1999

Algebra interactive! : learning algebra in an exciting way

Cohen, A. M., Cuypers, F. G. M. T. & Sterk, H. J. M., 1999, Berlin: Springer. 159 p.

Research output: Book/ReportBookProfessional

Introduction to coding theory

van Lint, J. H., 1999, 3rd rev. and expanded ed. ed. Berlin: Springer. 227 p. (Graduate texts in mathematics; vol. 86)

Research output: Book/ReportBookProfessional

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

Some tapas of computer algebra

Cohen, A. M., Cuypers, F. G. M. T. & Sterk, H. J. M., 1999, Berlin: Springer. 352 p. (Algorithms and computation in mathematics; vol. 4)

Research output: Book/ReportBookAcademic

1997

Probabilistic and analytical aspects of the umbral calculus

Di Bucchianico, A., 1997, Amsterdam: Centrum voor Wiskunde en Informatica. 148 p. (CWI tracts; vol. 119)

Research output: Book/ReportBookAcademic

Tussen waarheid en waanzin : een encyclopedie der pseudo-wetenschappen

Hulspas, M. & Nienhuys, J. W., 1997, Utrecht: Scheffers. 429 p.

Research output: Book/ReportBookProfessional

Workflow management : modellen, methoden en systemen

Aalst, van der, W. M. P., Hee, van, K. M., Blommers, A. & Toorn, van der, P., 1997, Schoonhoven: Academic Service. 207 p.

Research output: Book/ReportBookAcademic

1996

Ordinary differential equations in theory and practice

Mattheij, R. M. M. & Molenaar, J., 1996, Chichester: Wiley. 407 p.

Research output: Book/ReportBookAcademic

Smart Card ketenlogistiek eindrapport : een onderzoek naar verbeteringen in de keten van zeecontainers tussen verlader en schip : Smart Card traject D3

Henstra, D. A., Verspui, L., Aalst, van der, W. M. P. & Valstar, A., 1996, Rotterdam: Centrum Transport Technologie. 93 p. (CTT publicatiereeks; vol. 11)

Research output: Book/ReportBookProfessional

1995

Numerical solution of boundary value problems for ordinary differential equations

Ascher, U. M., Mattheij, R. M. M. & Russell, R. D., 1995, Unabridged, corr. republication. ed. Philadelphia: Society for Industrial and Applied Mathematics (SIAM). 595 p. (Classics in applied mathematics; vol. 13)

Research output: Book/ReportBookProfessional

1994

Closed object boundaries from scattered points

Veltkamp, R. C., 1994, Berlin: Springer. (Lecture notes in computer science; vol. 885)

Research output: Book/ReportBookAcademic

Dynamic feedback in nonlinear synthesis problems

Huijberts, H. J. C., 1994, Amsterdam: Centrum voor Wiskunde en Informatica. 164 p. (CWI tracts; vol. 101)

Research output: Book/ReportBookAcademic

Elements of aero-acoustics

Hirschberg, A. & Rienstra, S. W., 1994, Rhode-Saint-Genèse, Belgium: Von Karman Institute for Fluid Dynamics. 193 p. (Von Karman Institute Lecture Series; vol. 1994-4)

Research output: Book/ReportBookAcademic

Information systems engineering : a formal approach

Hee, van, K. M., 1994, Cambridge: Cambridge University Press. 421 p.

Research output: Book/ReportBookAcademic

1993

Datastructuren en standaardalgoritmen

Kaldewaij, A., 1993, Houten: Bohn Stafleu van Loghum. 171 p. (Programmeren; vol. 3)

Research output: Book/ReportBookProfessional

Error-correcting codes : a first course

Tilborg, van, H. C. A., 1993, Lund: Studentlitteratur. 235 p.

Research output: Book/ReportBookProfessional

Fourier- en Laplace-transformaties

Beerends, R. J., Morsche, ter, H. G., Berg, van den, J. C. & Vrie, van de, E. M., 1993, Culemborg: Educaboek. 533 p.

Research output: Book/ReportBookProfessional

Handshake circuits : an asynchronous architecture for VLSI programming

Berkel, van, C. H., 1993, Cambridge: Cambridge University Press. 225 p. (Cambridge international series on parallel computation; vol. 5)

Research output: Book/ReportBookAcademic

1992

A course in combinatorics

van Lint, J. H. & Wilson, R. M., 1992, 1st ed. ed. Cambridge: Cambridge University Press. 530 p.

Research output: Book/ReportBookProfessional

Computer aided routing

Savelsbergh, M. W. P., 1992, Amsterdam: Stichting Mathematisch Centrum. 134 p. (CWI tracts; vol. 75)

Research output: Book/ReportBookAcademic

Het ontwerpen van algoritmen

Kaldewaij, A., 1992, Houten: Bohn Stafleu van Loghum. 155 p. (Programmeren; vol. 2)

Research output: Book/ReportBookProfessional

Hoeken en hun maat

Asch, van, A. G. & Blij, van der, F., 1992, Amsterdam: Centrum voor Wiskunde en Informatica. 93 p. (CWI syllabus; vol. 29)

Research output: Book/ReportBookAcademic

Introduction to coding theory

van Lint, J. H., 1992, 2nd ed. ed. Berlin: Springer. 183 p.

Research output: Book/ReportBookProfessional

Leren programmeren met C

Paredaens, J., De Bra, P. M. E. & Olivié, H., 1992, Deventer: Kluwer Bedrijfswetenschappen. 276 p.

Research output: Book/ReportBookProfessional

Open Access
File

Pascal

Kaldewaij, A., 1992, Houten: Bohn Stafleu van Loghum. 145 p. (Programmeren; vol. 1)

Research output: Book/ReportBookProfessional

The H-infinity control problem

Stoorvogel, A. A., 1992, New York: Prentice-Hall. 276 p. (Prentice-Hall international series in systems and control engineering)

Research output: Book/ReportBookAcademic

1991

A compensation approach for queueing problems

Adan, I. J. B. F., 1991, Amsterdam: Centrum voor Wiskunde en Informatica. 183 p. (CWI tracts; vol. 104)

Research output: Book/ReportBookAcademic

Beginwaardeproblemen in theorie en praktijk : analyse, numerieke methoden, modellen

Mattheij, R. M. M. & Molenaar, J., 1991, Utrecht: Epsilon. 293 p. (Epsilon uitgaven; vol. 19)

Research output: Book/ReportBookAcademic

Conceptueel modelleren van informatie systemen : een leidraad voor systeemontwikkeling

Aerts, A. T. M., Alblas, G. & Hee, van, K. M., 1991, Schoonhoven: Academic Service. 210 p.

Research output: Book/ReportBookAcademic

Designs, graphs, codes and their links

Cameron, P. J. & van Lint, J. H., 1991, Cambridge: Cambridge University Press. 240 p. (London Mathematical Society student texts. LMSST; vol. 22)

Research output: Book/ReportBookProfessional

Discrete wiskunde

van Lint, J. H. & Nienhuys, J. W., 1991, Schoonhoven: Academic Service. 364 p.

Research output: Book/ReportBookProfessional

History of mathematical programming : a collection of personal reminiscences

Lenstra, J. K., Rinnooy Kan, A. H. G. & Schrijver, A., 1991, Amsterdam: Centrum voor Wiskunde en Informatica. 141 p.

Research output: Book/ReportBookProfessional

Programming : the derivation of algorithms : teacher's manual

Kaldewaij, A., 1991, London: Prentice-Hall. (Prentice-Hall international series in computer science)

Research output: Book/ReportBookProfessional