Faculteit Wiskunde & Informatica

Onderzoeksoutput

Filter
Boek

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

Splines en wavelets

Traas, C. R., Morsche, ter, H. G. & Damme, van, R. M. J., 2000, Utrecht: Epsilon. 230 blz. (Epsilon uitgaven; vol. 46)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Statica

Veldkamp, G. R., 1975, Utrecht: Oosthoek, Scheltema & Holkema. 196 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Open Access
Bestand
452 Downloads (Pure)

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

Teorija grafov, teorija kodirovanija i blok-sxemy

Cameron, P. J. & van Lint, J. H., 1980, Moskva: Nauka Glavnaja Redakcija Fiziko-matematiceskoj Literatury. 138 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand
218 Downloads (Pure)

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

Theoretical aspects of local search

Michiels, W. P. A. J., Aarts, E. H. L. & Korst, J. H. M., 2007, Berlin: Springer. (Monographs in theoretical computer science)

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

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

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
46 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
155 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

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

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

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

Workflow management : models, methods, and systems

Aalst, van der, W. M. P. & Hee, van, K. M., 2002, London: MIT Press. 384 blz. (Cooperative information systems)

Onderzoeksoutput: Boek/rapportBoekAcademic

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