Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Boek
2015

Continuum modeling : an approach through practical examples

Muntean, A., 2015, Cham: Springer. 83 blz. (SpringerBriefs in Mathematical Methods)

Onderzoeksoutput: Boek/rapportBoekAcademic

1 Citaat (Scopus)
1 Downloads (Pure)
2014

Advanced statistical techniques for process monitoring

Di Bucchianico, A. & Heuvel, van den, E. R., 2014, New York: Wiley. 600 blz. (Wiley Series in Probability and Statistics Series)

Onderzoeksoutput: Boek/rapportBoekAcademic

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)
2012

Spectra of graphs

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

Onderzoeksoutput: Boek/rapportBoekAcademic

2011

Elementaire getaltheorie en asymmetrische cryptografie

Weger, de, B. M. M., 2011, gew. 2e redactie Utrecht: Epsilon. (Epsilon uitgaven; vol. 63)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Homogenization method and multiscale modeling

Muntean, A. & Chalupecky, V., 2011, Fukuoka: Kyuskhu University. 72 blz. (COE lecture note series; vol. 34)

Onderzoeksoutput: Boek/rapportBoekAcademic

2009

Elementaire getaltheorie en asymmetrische cryptografie

Weger, de, B. M. M., 2009, Utrecht: Epsilon. 180 blz. (Epsilon uitgaven; vol. 63)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Tegen de stroom in : de Nederlandse rol in de ICT

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Delft Aerospace Design Projects 2008, Future Developments in Aeronautics, Astronautics, Earth Observation and related Areas

Bruggemann, V., Brummelen, van, E. H., Melkert, J. A., Saunders-Smits, G. N., Snellen, M. & Timmer, W. A., 2008, Huizen: Het Goede Boek. 237 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
326 Downloads (Pure)
2007

De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

De menselijke maat in ICT

Jacobs, B. P. F., 2007, Nijmegen: Radboud Universiteit Nijmegen. 129 blz.

Onderzoeksoutput: Boek/rapportBoekPopulair

Open Access
Bestand
88 Downloads (Pure)

Looking good, behaving well: behavioural verification and visulaisation of formal models of concurrent systems

Westergaard, M., 2007, Aarhus: Aarhus University. 171 blz. (DAIMI PhD Dissertation; vol. PD-07-10)

Onderzoeksoutput: Boek/rapportBoekAcademic

Bestand
49 Downloads (Pure)
Open Access
Bestand
205 Downloads (Pure)
2005

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

Second generation wavelets and applications

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

Onderzoeksoutput: Boek/rapportBoekAcademic

80 Citaten (Scopus)
2004

Content-based video retrieval : a database perspective

Petkovic, M. & Jonker, W., 2004, Boston: Kluwer Academic Publishers. 151 blz. (Multimedia Systems and Applications; vol. 25)

Onderzoeksoutput: Boek/rapportBoekAcademic

Inzicht door wiskunde

Brands, J. J. A. M., 2004, Nuenen: J.J.A.M. Brands. 300 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Über die Bestimmung von Galois-gruppen

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
228 Downloads (Pure)
2003

Analysis on Lie groups with polynomial growth

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Der Fragebogen. Databasis, Konstruktion und Auswertung

Kirchhoff, S., Kuhnt, S., Lipp, P. & Schlawin, S., 2003, Stuttgart: UTB.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Numerical methods for steady viscous free-surface flows

Brummelen, van, E. H., 2003, Amsterdam: Centrum voor Wiskunde en Informatica. 110 blz. (CWI tracts; vol. 134)

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
94 Downloads (Pure)

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

2002

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)
2001

Control theory for linear systems

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

Onderzoeksoutput: Boek/rapportBoekAcademic

4 Citaten (Scopus)

Zes Sigma zakelijk verbeterd

Does, R. J. M. M., Heuvel, van den, E. R., Mast, de, J., Schippers, W. A. J., Trip, A. & Wieringa, J. E., 2001, Dordrecht: Kluwer. 358 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

2000

Computational geometry : algorithms and applications

Berg, de, M., Kreveld, van, M. J., Overmars, M. H. & Cheong, O., 2000, 2nd rev. ed. redactie Berlin: Springer. 367 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Control of linear systems with regulation and input constraints

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Markov point processes and their applications

Lieshout, van, M. N. M., 2000, London: Imperial College Press. 175 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Minimax estimation in regression and random censorship models

Belitser, E. N., 2000, Amsterdam: Centrum voor Wiskunde en Informatica. 130 blz. (CWI tracts; vol. 127)

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
68 Downloads (Pure)
1999

Beschrijven en bewijzen

Zantema, H. & Lemmens, P. W. H., 1999, Delft: Delft University Press. 169 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

1998

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

1997

Computational geometry : algorithms and applications

Berg, de, M., Kreveld, van, M. J., Overmars, M. H. & Schwarzkopf, O., 1997, 1st ed. redactie Berlin: Springer. 365 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Moderne planimetrie

IJzeren, van, J., 1997, Utrecht: Epsilon Uitgaven. 208 blz. (Epsilon uitgaven; vol. 39)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Tussen waarheid en waanzin : een encyclopedie der pseudo-wetenschappen

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

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

1996

Control flow semantics

Bakker, de, J. W. & Vink, de, E. P., 1996, London: MIT Press. 564 blz. (Foundations of computing)

Onderzoeksoutput: Boek/rapportBoekAcademic

10 Citaten (Scopus)

Polling systems

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
120 Downloads (Pure)

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

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. redactie Philadelphia: Society for Industrial and Applied Mathematics (SIAM). 595 blz. (Classics in applied mathematics; vol. 13)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

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

1994

Closed object boundaries from scattered points

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Dynamic feedback in nonlinear synthesis problems

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Elements of aero-acoustics

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

Onderzoeksoutput: Boek/rapportBoekAcademic

Information systems engineering : a formal approach

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

Onderzoeksoutput: Boek/rapportBoekAcademic