Filter
Chapter

Search results

  • Chapter

    A Boyer-Moore (or Watson-Watson) type algorithm for regular tree pattern matching

    Watson, B. W., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 315-320

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Alfred Tarski, David Hilbert en spatial databases

    Paredaens, J., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 265-269

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Aspecten van programmeertalen

    van Amstel, J. J., 1986, Colloquium programmeertalen. Poirters, J. A. A. M. & Schoenmakers, G. J. (eds.). Schoonhoven: Academic Service, p. 9-23 155 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    1 Downloads (Pure)
  • De stelling van Polya, met toepassing op het tellen van bomen en boomvormige molekulen

    Bruijn, de, N. G., 1980, Vertellingen over tellen. Amsterdam: Stichting Mathematisch Centrum, p. IV-1/12 (Vacantiecursus Centrum voor Wiskunde en Informatica; vol. 34/80).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

  • Enkele gedachten over de disciplines der electrotechniek en informatica

    Feijs, L. M. G., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 145-148

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    2 Downloads (Pure)
  • Exercises in formula manipulation

    Feijen, W. H. J. & Bijlsma, A., 1990, Formal development of programs and proofs. Dijkstra, E. W. (ed.). Reading MA: Addison-Wesley, p. 139-158

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Downloads (Pure)
  • Functionele programmeertalen

    Kruseman Aretz, F. E. J., 1986, Colloquium programmeertalen. Poirters, J. A. A. M. & Schoenmakers, G. J. (eds.). Schoonhoven: Academic Service, p. 25-37 155 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    8 Downloads (Pure)
  • Ieder afscheid is ook een nieuw begin...

    Hammer, D. K., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 157-158

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • On complete conditions in enumerative geometry

    Pellikaan, G. R., 1991, Singularity Theory and its Applications (Warwick 1989, Part I: Geometric Aspects of Singularities). Mond, D. & Montaldi, J. (eds.). Berlin: Springer, p. 235-257 (Lecture Notes in Mathematics; vol. 1462).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Rots in de Eindhovense informatica branding

    Hee, van, K. M., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 159-160

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Downloads (Pure)
  • Sublinear pattern matching

    Zwaan, G., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 335-350

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    2 Downloads (Pure)
  • The nature of the "Ackerberg-O'Malley resonance"

    Groen, de, P. P. N., 1978, Differential Equations and Applications (Proceedings of the Third Scheveningen Conference on Differential Equations, August 29-September 2, 1977). Eckhaus, W. & Jager, de, E. M. (eds.). Amsterdam: Elsevier, p. 85-92 (North-Holland Mathematics Studies; vol. 31).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Citation (Scopus)
    2 Downloads (Pure)
  • Twee plotse sprongen

    Rem, M., 1991, C.S. Scholten dedicata : van oude machines en nieuwe denkwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (eds.). Schoonhoven: Academic Service, p. 163-164

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Vraagstukken en oplossingen

    Geurts, A. J., Habermann, A. N., Kamps, H. J. L., Ligtmans, C., Morselt, B. J. M. & Zweerus, J., 1969, Computerwiskunde. Seidel, J. J. (ed.). Utrecht: Spectrum, p. 115-151 (Aula; vol. 407).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

    2 Downloads (Pure)
  • Woorden tellen (Toepassingen in de coderingstheorie)

    Tilborg, van, H. C. A., 1980, Vertellingen over tellen. Amsterdam: Stichting Mathematisch Centrum, p. 39-45 7 p. (Vacantiecursus Centrum voor Wiskunde en Informatica; vol. 34/80).

    Research output: Chapter in Book/Report/Conference proceedingChapterProfessional