Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Boek

Numerical solution of boundary value problems for ordinary differential equations

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Numerical solution of boundary value problems for ordinary differential equations

Ascher, U. M., Mattheij, R. M. M. & Russell, R. D., 1988, 1st ed. redactie Englewood Cliffs: Prentice-Hall. 595 blz. (Prentice-Hall series in computational mathematics)

Onderzoeksoutput: Boek/rapportBoekAcademic

On a method of multiprogramming

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

Onderzoeksoutput: Boek/rapportBoekAcademic

One-dimensional random polymers

Hofstad, van der, R. W., 1998, Amsterdam: Centrum voor Wiskunde en Informatica. 165 blz. (CWI tracts; vol. 123)

Onderzoeksoutput: Boek/rapportBoekAcademic

One-parameter semigroups

Clément, P. P. J. E., Heijmans, H. J. A. M., Angenent, S., Duijn, van, C. J. & Pagter, de, B., 1987, Amsterdam: North-Holland Publishing Company. 312 blz. (CWI monographs; vol. 5)

Onderzoeksoutput: Boek/rapportBoekAcademic

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

Ordinary differential equations in theory and practice

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

12 Citaten (Scopus)

Partial differential equations : modeling, analysis, computation

Mattheij, R. M. M., Rienstra, S. W. & Thije Boonkkamp, ten, J. H. M., 2005, Philadelphia: SIAM Press. 665 blz. (SIAM monographs on mathematical modeling and computation; vol. 10)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Pascal

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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)

Onderzoeksoutput: Boek/rapportBoekAcademic

Polling systems

Borst, S. C., 1996, Amsterdam: Centrum voor Wiskunde en Informatica. 232 blz. (CWI tracts; vol. 115)

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
126 Downloads (Pure)
Open Access
Bestand
206 Downloads (Pure)

Process algebra

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Processor networks and aspects of the mapping problem

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

Onderzoeksoutput: Boek/rapportBoekAcademic

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

Programmeren : het ontwerpen van algoritmen met PASCAL

van Amstel, J. J., 1984, Den Haag: Academic Service. 164 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Programmeren en correctheid

Fokker, J. D., Zantema, H. & Swierstra, S. D., 1991, Schoonhoven: Academic Service. 195 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Programmieren : die Entwicklung von Algorithmen in Pascal

van Amstel, J. J., 1987, Bonn: Addison-Wesley.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Programming : the derivation of algorithms

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Programming : the derivation of algorithms : teacher's manual

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Ray shooting, depth orders and hidden surface removal

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Rekenen met kansen

Wessels, J., 1969, Groningen: Wolters-Noordhoff. 71 blz. (Torusreeks; vol. 4)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Satellite communication antenna technology : proceedings of the summer school, University of Technology, Eindhoven, the Netherlands, 23-27 August, 1982

Mittra, R., Imbriale, W. A. & Maanders, E. J., 1983, Amsterdam: North-Holland Publishing Company. 652 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Satellite communication antenna technology : summer school, 1982, Technische Hogeschool Eindhoven: lectures

Maanders, E. J. & Mittra, R., 1982, Eindhoven: Technische Hogeschool Eindhoven. 640 blz.

Onderzoeksoutput: Boek/rapportBoekPopulair

Open Access
Bestand
512 Downloads (Pure)

Second generation wavelets and applications

Jansen, M. H. & Oonincx, P. J., 2005, London: Springer. 138 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

81 Citaten (Scopus)

Simple-periodic and non-periodic Lamé functions

Jansen, J. K. M., 1977, Amsterdam: Stichting Mathematisch Centrum. 104 blz. (Mathematical Centre tracts; vol. 72)

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
94 Downloads (Pure)

Simulated annealing : theory and applications

Laarhoven, van, P. J. M. & Aarts, E. H. L., 1987, Dordrecht: Reidel. 186 blz. (Mathematics and its applications; vol. 37)

Onderzoeksoutput: Boek/rapportBoekAcademic

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 blz. (Wiley-Interscience series in discrete mathematics and optimization)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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 blz. (CTT publicatiereeks; vol. 11)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

Spectra of graphs

Brouwer, A. E. & Haemers, W. H., 2012, New York: Springer. 250 blz. (Universitext)

Onderzoeksoutput: Boek/rapportBoekAcademic

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

Stochastic geometry models in image analysis and spatial statistics

Lieshout, van, M. N. M., 1995, Amsterdam: Centrum voor Wiskunde en Informatica. 172 blz. (CWI tracts; vol. 108)

Onderzoeksoutput: Boek/rapportBoekAcademic

Structured programming

Dahl, O. J., Dijkstra, E. W. & Hoare, C. A. R., 1972, London: Academic Press Inc. 220 blz. (APIC studies in data processing; vol. 8)

Onderzoeksoutput: Boek/rapportBoekAcademic

Surfaces with canonical hyperplane sections

Epema, D. H. J., 1983, Amsterdam: Centrum voor Wiskunde en Informatica. 105 blz. (CWI tract; vol. 1)

Onderzoeksoutput: Boek/rapportBoekAcademic

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

Tegen de stroom in : de Nederlandse rol in de ICT

Rem, M., 2009, Den Haag: ICTRegie.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

The design of algorithms in PASCAL

van Amstel, J. J., 1987, Amsterdam: Addison-Wesley.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

The Hamiltonian Hopf bifurcation

Meer, van der, J. C., 1985, Berlin: Springer. 115 blz. (Lecture notes in mathematics; vol. 1160)

Onderzoeksoutput: Boek/rapportBoekAcademic

The H-infinity control problem

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

Onderzoeksoutput: Boek/rapportBoekAcademic

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

Toegepaste wiskunde op een PC : algorithmen in QBasic toepassingen

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

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

Translating programs into delay-insensitive circuits

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
52 Downloads (Pure)

Tussen waarheid en waanzin : een encyclopedie der pseudo-wetenschappen

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

11 Citaten (Scopus)

Über die Bestimmung von Galois-gruppen

Birkner, P., 2004, Paderborn: Universität Paderborn. 89 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
266 Downloads (Pure)

Uniform numerical methods for problems with initial and boundary layers

Doolan, E. P., Miller, J. J. H. & Schilders, W. H. A., 1980, Dublin: Boole Press. 324 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic