Faculteit Wiskunde & Informatica

Onderzoeksoutput 1950 2019

Filter
Boek
1991
11 Citaties (Scopus)

Robust stabilization in the Gap-topology

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Specification and compositional verification of real-time systems

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

Onderzoeksoutput: Boek/rapportBoekAcademic

1990

Constructie en verificatie van programma's

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

On the shape of mathematical arguments

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Programming : the derivation of algorithms

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Vectorrekening en matrixrekening

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

1989

Distance-regular graphs

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Programmeren met PASCAL

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

The structure of the relational database model

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

Onderzoeksoutput: Boek/rapportBoekAcademic

1988

Algebraïsche structuren voor informatici

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

A method of programming

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Analysis of means in some non-standard situations

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

Onderzoeksoutput: Boek/rapportBoekAcademic

An introduction to cryptology

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Bianma lilun daoyin

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand

Introduction to coding theory

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Introduction to coding theory and algebraic geometry

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Leren programmeren met Pascal en Turbo Pascal

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Programmeren met PASCAL

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

1987

Aan het werk met MicroPascal

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Calculus with a PC

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Open Access
Bestand

Databases

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

Nederpelt, R. P., 1987, 1e dr. redactie Almere: Versluys Uitgeverij. 231 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Optimal paired comparison designs for factorial experiments

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

Onderzoeksoutput: Boek/rapportBoekAcademic

1986

Almost invariant subspaces and high gain feedback

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

Onderzoeksoutput: Boek/rapportBoekAcademic

A mathematical introduction to Dirac's formalism

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Asymptotic analysis of soliton problems : an inverse scattering approach

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Bestandsorganisatie

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Topological dynamix

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Voortgezet programmeren : het ontwerpen van datastructuren en algoritmen

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

1985

Analytic spaces and dynamic programming : a measure-theoretic approach

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Differentiaal- en integraalrekening

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Symmetries for dynamical and Hamiltonian systems

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Trace theory and VLSI design

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Trajectory spaces, generalized functions and unbounded operators

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

Onderzoeksoutput: Boek/rapportBoekAcademic

1984

Bestandsorganisatie

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Few-distance sets

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Integration theory

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

Onderzoeksoutput: Boek/rapportBoekAcademic

1983

Aspecten van programmeertalen

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Differentiaalvergelijkingen en de Laplace-transformatie

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Fourier-theorie en systeemtheorie

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

1982

Bestandsorganisatie

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Introduction to coding theory

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Leren programmeren met PASCAL

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Programmeertalen : een inleiding

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

1981

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

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand

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 blz. (Mathematical Centre tracts; vol. 139)

Onderzoeksoutput: Boek/rapportBoekAcademic

1980

Bestandsorganisatie

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Graphs, codes and designs

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

Onderzoeksoutput: Boek/rapportBoekAcademic