Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Book
1994

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

Iterative methods for non-linear partial differential equations

Maubach, J. M. L., 1994, Amsterdam: Stichting Mathematisch Centrum. 249 p. (CWI tracts; vol. 92)

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

74 Downloads (Pure)

Digitale informatie overdracht : 1, 2, 8, 9, 15 en 16 februari 1993 te Eindhoven

Vinck, A. J. & PATO. Sectie Elektrotechniek, 1993, 's-Gravenhage: PATO. 370 p.

Research output: Book/ReportBookPopular

Open Access
File

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

Ray shooting, depth orders and hidden surface removal

Berg, de, M., 1993, Berlin: Springer. (Lecture notes in computer science; vol. 703)

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

3 Downloads (Pure)

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

16 Downloads (Pure)

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

Toegepaste wiskunde op een PC : algorithmen in QBasic toepassingen

Kruizinga, J. H., 1992, Amsterdam: Centrum voor Wiskunde en Informatica. 170 p. (CWI syllabus; vol. 34)

Research output: Book/ReportBookProfessional

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

Algebraic methods : theory, tools and applications : workshop : proceedings, II, 1989, September, Mierlo

Bergstra, J. A. & Feijs, L. M. G., 1991, Berlin: Springer. 436 p. (Lecture notes in computer science; vol. 490)(Algebraic methods : theory, tools and applications : workshop : proceedings; vol. 2)

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

35 Downloads (Pure)

LiE manual draft: describing LiE version 2.0

Leeuwen, van, M. A. A., Cohen, A. M. & Lisser, B., 1991, Amsterdam: Centrum voor Wiskunde en Informatica. 73 p.

Research output: Book/ReportBookPopular

Open Access
File

Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics

Koren, B., 1991, Amsterdam: Centrum voor Wiskunde en Informatica. 127 p. (CWI tracts; vol. 74)

Research output: Book/ReportBookAcademic

aerodynamics
Navier-Stokes equation
defects
iteration
multigrid methods

Processor networks and aspects of the mapping problem

Hilbers, P. A. J., 1991, Cambridge: Cambridge University Press. 133 p. (Cambridge international series on parallel computation; vol. 2)

Research output: Book/ReportBookAcademic

Programmeren en correctheid

Fokker, J. D., Zantema, H. & Swierstra, S. D., 1991, Schoonhoven: Academic Service. 195 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

10 Citations (Scopus)

Robust stabilization in the Gap-topology

Habets, L. C. G. J. M., 1991, Berlin: Springer. 126 p. (Lecture notes in control and information sciences; vol. 150)

Research output: Book/ReportBookAcademic

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

Process algebra

Baeten, J. C. M. & Weijland, W. P., 1990, Cambridge: Cambridge University Press. (Cambridge tracts in theoretical computer science; vol. 18)

Research output: Book/ReportBookProfessional

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

Algorithms for diophantine equations

Weger, de, B. M. M., 1989, Amsterdam: Centrum voor Wiskunde en Informatica. 212 p. (CWI tracts; vol. 65)

Research output: Book/ReportBookAcademic

46 Downloads (Pure)

Book of abstracts first Benelux-Japan workshop on information and communication theory, Eindhoven, The Netherlands, September 3-5, 1989

Vinck, A. J. (ed.), 1989, Eindhoven: Eindhoven University of Technology. 26 p. (EUT report. E, Fac. of Electrical Engineering; vol. 89-E-224)

Research output: Book/ReportBookAcademic

Open Access
File

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

Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing

Aarts, E. H. L. & Korst, J. H. M., 1989, Chichester: Wiley. 272 p. (Wiley-Interscience series in discrete mathematics and optimization)

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

46 Downloads (Pure)

Translating programs into delay-insensitive circuits

Ebergen, J. C., 1989, Amsterdam: Centrum voor Wiskunde en Informatica. 216 p. (CWI tracts; vol. 56)

Research output: Book/ReportBookAcademic

Open Access
File
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

30 Downloads (Pure)

Bianma lilun daoyin

Translated title of the contribution: Introduction to coding theoryvan Lint, J. H., 1988, S.l.: s.n. 308 p.

Research output: Book/ReportBookAcademic

Open Access
File