Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Book
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

Constructie en verificatie van programma's

Backhouse, R. C., 1990, Schoonhoven: Academic Service. 309 p.

Research output: Book/ReportBookProfessional

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

Programming : the derivation of algorithms

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

Research output: Book/ReportBookAcademic

Vectorrekening en matrixrekening

Kaldewaij, A. & Tiel, van, J., 1990, 1e dr., 5e opl ed. Utrecht: Bohn, Scheltema & Holkema. 149 p. (Voortgezette wiskunde; vol. 3)

Research output: Book/ReportBookProfessional

1989

Distance-regular graphs

Brouwer, A. E., Cohen, A. M. & Neumaier, A., 1989, Berlin: Springer. 495 p. (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge; vol. 18)

Research output: Book/ReportBookAcademic

Programmeren met PASCAL

Nienhuys-Cheng, S. H. & Nienhuys, J. W., 1989, 2e dr. ed. Schoonhoven: Academic Service. 182 p.

Research output: Book/ReportBookProfessional

The structure of the relational database model

Paredaens, J., De Bra, P. M. E., Gyssens, M. & Van Gucht, D., 1989, Berlin: Springer. 231 p. (Monographs in theoretical computer science; vol. 17)

Research output: Book/ReportBookAcademic

1988

Algebraïsche structuren voor informatici

Seidel, J. J. & Vroegindeweij, P. G., 1988, Schoonhoven: Academic Service. 160 p.

Research output: Book/ReportBookProfessional

A method of programming

Dijkstra, E. W. & Feijen, W. H. J., 1988, Amsterdam: Addison-Wesley. 188 p.

Research output: Book/ReportBookProfessional

Analysis of means in some non-standard situations

Dijkstra, J. B., 1988, Amsterdam: Centrum voor Wiskunde en Informatica. 138 p. (CWI tracts; vol. 47)

Research output: Book/ReportBookAcademic

An introduction to cryptology

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

Research output: Book/ReportBookProfessional

Asymptotic analysis of a class of perturbed Korteweg-de Vries initial value problems

Kerf, de, F., 1988, Amsterdam: Centrum voor Wiskunde en Informatica. 180 p. (CWI tracts; vol. 50)

Research output: Book/ReportBookAcademic

Bianma lilun daoyin

van Lint, J. H., 1988, S.l.: s.n.308 p.

Research output: Book/ReportBookAcademic

Open Access
File

Introduction to coding theory

van Lint, J. H., 1988, China: Scientific Publishing Company. 208 p. (Modern Mathematics Series)

Research output: Book/ReportBookProfessional

Introduction to coding theory and algebraic geometry

van Lint, J. H. & Geer, van der, G. B. M., 1988, Basel: Birkhäuser Verlag. 83 p. (DMV Seminar; vol. 12)

Research output: Book/ReportBookProfessional

Leren programmeren met Pascal en Turbo Pascal

Olivié, H. & Paredaens, J., 1988, 3e, geh. herz. dr. ed. Leiden: Stenfert Kroese. 285 p.

Research output: Book/ReportBookProfessional

Programmeren met PASCAL

Nienhuys-Cheng, S. H. & Nienhuys, J. W., 1988, 1e dr. ed. Schoonhoven: Academic Service. 182 p.

Research output: Book/ReportBookProfessional

1987

Aan het werk met MicroPascal

Paredaens, J., Olivié, H. & Schavey, P., 1987, Leiden: Stenfert Kroese. 254 p.

Research output: Book/ReportBookProfessional

Calculus with a PC

Simons, F. H., 1987, London: McGraw-Hill. 496 p.

Research output: Book/ReportBookProfessional

Open Access
File

Databases

Paredaens, J., 1987, London: Academic Press Inc.261 p. (International lecture series in computer science)

Research output: Book/ReportBookProfessional

De taal van de wiskunde : een verkenning van wiskundig taalgebruik en logische redeneerpatronen

Nederpelt, R. P., 1987, 1e dr. ed. Almere: Versluys Uitgeverij. 231 p.

Research output: Book/ReportBookProfessional

Optimal paired comparison designs for factorial experiments

Berkum, van, E. E. M., 1987, Amsterdam: Centrum voor Wiskunde en Informatica. 153 p. (CWI tracts; vol. 31)

Research output: Book/ReportBookAcademic

1986

Almost invariant subspaces and high gain feedback

Trentelman, H. L., 1986, Amsterdam: Centrum voor Wiskunde en Informatica. 239 p. (CWI tracts; vol. 29)

Research output: Book/ReportBookAcademic

A mathematical introduction to Dirac's formalism

Eijndhoven, van, S. J. L. & Graaf, de, J., 1986, Amsterdam: North-Holland Publishing Company. 430 p. (North-Holland mathematical library; vol. 36)

Research output: Book/ReportBookAcademic

Asymptotic analysis of soliton problems : an inverse scattering approach

Schuur, P. C., 1986, Berlin: Springer. 180 p. (Lecture notes in mathematics; vol. 1232)

Research output: Book/ReportBookAcademic

Bestandsorganisatie

Lunbeck, R. J. & Remmen, F., 1986, Den Haag: Academic Service. 210 p.

Research output: Book/ReportBookProfessional

Data structures of PASCAL, Algol 68, PL/1 and Ada

Paredaens, J. & Lewi, J., 1986, Berlin: Springer. 424 p.

Research output: Book/ReportBookAcademic

Topological dynamix

Woude, van der, J. C. S. P., 1986, Amsterdam: Centrum voor Wiskunde en Informatica. 298 p. (CWI tracts; vol. 22)

Research output: Book/ReportBookAcademic

Voortgezet programmeren : het ontwerpen van datastructuren en algoritmen

van Amstel, J. J. & Poirters, J. A. A. M., 1986, 2e dr ed. Den Haag: Academic Service. 333 p.

Research output: Book/ReportBookProfessional

1985

Analytic spaces and dynamic programming : a measure-theoretic approach

Thiemann, J. G. F., 1985, Amsterdam: Centrum voor Wiskunde en Informatica. 96 p. (CWI tracts; vol. 14)

Research output: Book/ReportBookAcademic

Differentiaal- en integraalrekening

Kaldewaij, A. & Tiel, van, J., 1985, 2e dr. ed. Utrecht: Bohn, Scheltema & Holkema. 280 p. (Voortgezette wiskunde; vol. 1)

Research output: Book/ReportBookProfessional

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

Trace theory and VLSI design

Snepscheut, van de, J. L. A., 1985, Berlin: Springer. 141 p. (Lecture notes in computer science; vol. 200)

Research output: Book/ReportBookAcademic

Trajectory spaces, generalized functions and unbounded operators

Eijndhoven, van, S. J. L. & Graaf, de, J., 1985, Berlin: Springer. 272 p. (Lecture notes in mathematics; vol. 1162)

Research output: Book/ReportBookAcademic

1984

Bestandsorganisatie

Lunbeck, R. J. & Remmen, F., 1984, 6e t.o.v. de 5e ongew. dr. ed. Den Haag: Academic Service. 210 p.

Research output: Book/ReportBookProfessional

Few-distance sets

Blokhuis, A., 1984, Amsterdam: Stichting Mathematisch Centrum. 70 p. (CWI tracts; vol. 7)

Research output: Book/ReportBookAcademic

Integration theory

Janssen, A. J. E. M. & Steen, van der, P., 1984, Berlin: Springer. 224 p. (Lecture notes in mathematics; vol. 1078)

Research output: Book/ReportBookAcademic

1983

Aspecten van programmeertalen

van Amstel, J. J. & Poirters, J. A. A. M., 1983, 's-Gravenhage: Academic Service. 230 p.

Research output: Book/ReportBookProfessional

Differentiaalvergelijkingen en de Laplace-transformatie

Kaldewaij, A. & Tiel, van, J., 1983, Utrecht: Bohn, Scheltema & Holkema. 106 p. (Voortgezette wiskunde; vol. 2)

Research output: Book/ReportBookProfessional

Fourier-theorie en systeemtheorie

Kaldewaij, A. & Tiel, van, J., 1983, 1e dr., 6e opl. ed. Utrecht: Bohn, Scheltema & Holkema. 115 p. (Voortgezette wiskunde; vol. 4)

Research output: Book/ReportBookProfessional

1982

Bestandsorganisatie

Lunbeck, R. J. & Remmen, F., 1982, Den Haag: Academic Service. 210 p.

Research output: Book/ReportBookProfessional

Introduction to coding theory

van Lint, J. H., 1982, 1st ed ed. Berlin: Springer. 171 p. (Graduate texts in mathematics : readings in mathematics; vol. 86)

Research output: Book/ReportBookProfessional

Leren programmeren met PASCAL

Olivié, H. & Paredaens, J., 1982, 1e dr ed. Leiden: Stenfert Kroese. 240 p.

Research output: Book/ReportBookProfessional

Programmeertalen : een inleiding

van Amstel, J. J., Poirters, J. A. A. M. & Roumen, H. P. J. M., 1982, Schoonhoven: Academic Service. 123 p.

Research output: Book/ReportBookProfessional

1981

A mathematical theory of pure exchange economies without the no-critical-point hypothesis

Geldrop, van, J. H., 1981, Amsterdam: Stichting Mathematisch Centrum. 108 p. (Mathematical Centre tracts; vol. 140)

Research output: Book/ReportBookAcademic

Open Access
File

Stochastic dynamic programming : successive approximations and nearly optimal strategies for markov decision processes and markov games

Wal, van der, J., 1981, Amsterdam: Stichting Mathematisch Centrum. 251 p. (Mathematical Centre tracts; vol. 139)

Research output: Book/ReportBookAcademic

1980

Bestandsorganisatie

Lunbeck, R. J. & Remmen, F., 1980, Den Haag: Academic Service.

Research output: Book/ReportBookProfessional

Graphs, codes and designs

Cameron, P. J. & van Lint, J. H., 1980, Cambridge: Cambridge University Press. 147 p. (London Mathematical Society lecture note series; vol. 43)

Research output: Book/ReportBookAcademic

Inleiding datastructuren

Lunbeck, R. J., 1980, Den Haag: Academic Service. 157 p.

Research output: Book/ReportBookProfessional