Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Boekredactie
1960

Selected scientific papers Balthasar van der Pol

Bremmer, H. (redactie), Bouwkamp, C. J. (redactie) & Pol, van der, B. (redactie), 1960, Amsterdam: North-Holland Publishing Company. 2 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1969

Computerwiskunde

Seidel, J. J. (redactie), 1969, Utrecht: Spectrum. 155 blz. (Aula-boeken; vol. 407)

Onderzoeksoutput: Boek/rapportBoekredactiePopulair

1984

Automata, languages and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984

Paredaens, J. (redactie), 1984, Berlin: Springer. 526 blz. (Lecture notes in computer science; vol. 172)(ICALP : international colloquium on automata, languages and programming : proceedings; vol. 11)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1985

Parallel computers and computations

Leeuwen, van, J. (redactie) & Lenstra, J. K. (redactie), 1985, Amsterdam: Centrum voor Wiskunde en Informatica. 184 blz. (CWI syllabus; vol. 9)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1986

Data structures for raster graphics : proceedings of a workshop held at Steensel, The Netherlands, June 24-28, 1985

Kessener, L. R. A. (redactie), Peters, F. J. (redactie) & Lierop, van, M. L. P. (redactie), 1986, Berlin: Springer. 201 blz. (EurographicSeminars : tutorials and perspectives in computer graphics)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Mathematics and computer science : proceedings of the CWI symposium, Amsterdam, November 1983

Bakker, de, J. W. (redactie), Hazewinkel, M. (redactie) & Lenstra, J. K. (redactie), 1986, Amsterdam: North-Holland Publishing Company. 351 blz. (CWI monographs; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access

Mathematics and computer science II : fundamental contributions in the Netherlands since 1945

Hazewinkel, M. (redactie), Lenstra, J. K. (redactie) & Meertens, L. G. L. T. (redactie), 1986, Amsterdam: North-Holland Publishing Company. 161 blz. (CWI monographs; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access

Teletraffic analysis and computer performance evaluation : proceedings of the international seminar held at the Centre for Mathematics and Computer Science (CWI), June 2-6, 1986, Amsterdam, The Netherlands

Boxma, O. J. (redactie), Cohen, J. W. (redactie) & Tijms, H. C. (redactie), 1986, Amsterdam: North-Holland Publishing Company. 529 blz. (North-Holland studies in telecommunication; vol. 7)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1987

Proceedings of the first international conference on industrial and applied mathematics (ICIAM 87) : contributions from the Netherlands

Burgh, van der, A. H. P. (redactie) & Mattheij, R. M. M. (redactie), 1987, Amsterdam: Centrum voor Wiskunde en Informatica. 433 blz. (CWI tracts; vol. 36)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1988

Computer performance and reliability : proceedings of the second International MCPR workshop held in Rome, Italy, May 25-29, 1987

Iazeolla, G. (redactie), Courtois, P. J. (redactie) & Boxma, O. J. (redactie), 1988, Amsterdam: North-Holland Publishing Company. 547 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

MFDBS 87: 1st symposium on mathematical fundamentals of database systems, Dresden, GDR, January 19-23, 1987 : proceedings

Biskup, J. (redactie), Demetrovics, J. (redactie), Paredaens, J. (redactie) & Thalheim, B. (redactie), 1988, Berlin: Springer. 247 blz. (Lecture notes in computer science; vol. 305)(MFDBS : symposium on mathematical fundamentals of database systems : proceedings; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1989

Op de snede tussen theorie en praktijk : een liber amicorum opgedragen aan Prof. Dr. J.F. Benders, ter gelegenheid van zijn pensionering

Fortuin, L. (redactie), Beek, van, P. (redactie) & Wessels, J. (redactie), 1989, Eindhoven: s.n. 164 blz.

Onderzoeksoutput: Boek/rapportBoekredactiePopulair

Open Access
Bestand
217 Downloads (Pure)

Twenty-five years of operations research in the Netherlands : papers dedicated to Gijs de Leve

Lenstra, J. K. (redactie), Tijms, H. C. (redactie) & Volgenant, A. (redactie), 1989, Amsterdam: Centrum voor Wiskunde en Informatica. 181 blz. (CWI tracts; vol. 70)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1990

Beauty is our business : a birthday salute to Edsger W. Dijkstra

Feijen, W. H. J. (redactie), Gasteren, van, A. J. M. (redactie), Gries, D. (redactie) & Misra, J. (redactie), 1990, Berlin: Springer. 453 blz. (Texts and monographs in computer science)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

CONCUR '90 : theories of concurrency - unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings, August 27-30, 1990 : proceedings

Baeten, J. C. M. (redactie) & Klop, J. W. (redactie), 1990, Berlin: Springer. 536 blz. (Lecture notes in computer science; vol. 458)(CONCUR, international conference on concurrency theory : proceedings; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Protocol, specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 ninth international symposium of protocol specification, testing, and verification, Enschede, the Netherlands, 6-9 June, 1989

Brinksma, E. (redactie), Scollo, G. (redactie) & Vissers, C. A. (redactie), 1990, Amsterdam: North-Holland Publishing Company. 401 blz. (Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... international workshop; vol. 9)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1991

C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen

Feijen, W. H. J. (redactie) & Gasteren, van, A. J. M. (redactie), 1991, Schoonhoven: Academic Service. 247 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

CONCUR '91: 2nd international conference on concurrency theory, Amsterdam, The Netherlands, August 26-29, 1991 : proceedings

Baeten, J. C. M. (redactie) & Groote, J. F. (redactie), 1991, Berlin: Springer. 540 blz. (Lecture notes in computer science; vol. 527)(CONCUR, international conference on concurrency theory : proceedings; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Dynamic modelling of information systems

Sol, H. G. (redactie) & Hee, van, K. M. (redactie), 1991, Amsterdam: North-Holland Publishing Company. 359 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

PARLE '91 : parallel architectures and languages Europe: volume I: Parallel architectures and algorithms, Eindhoven, The Netherlands, June 10-13, 1991 : proceedings

Aarts, E. H. L. (redactie), Leeuwen, van, J. (redactie) & Rem, M. (redactie), 1991, Berlin: Springer. 423 blz. (Lecture notes in computer science; vol. 505)(PARLE, parallel architectures and languages Europe : conference : proceedings; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

PARLE '91 : parallel architectures and languages Europe: Volume II: Parallel languages, Eindhoven, The Netherlands, June 10-13, 1991 : proceedings

Aarts, E. H. L. (redactie), Leeuwen, van, J. (redactie) & Rem, M. (redactie), 1991, Berlin: Springer. 489 blz. (Lecture notes in computer science; vol. 506)(PARLE, parallel architectures and languages Europe : conference : proceedings; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1992

Computing

Coffman, E. G. (redactie), Lenstra, J. K. (redactie) & Rinnooy Kan, A. H. G. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 682 blz. (Handbooks in operations research and management science; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Design and implementation of asynchronous circuits : proceedings of the workshop, Amsterdam, 10-14 November 1991

van der Korst, M. J. (redactie), Peeters, A. M. G. (redactie) & Schols, H. M. J. L. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 60 blz. (Koninklijke Nederlandse Akademie van Wetenschappen : verhandelingen, afd. natuurkunde, eerste reeks; vol. 37)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Problems in applied, industrial and engineering mathematics

Kuiken, H. K. (redactie) & Rienstra, S. W. (redactie), 1992, Dordrecht: Kluwer Academic Publishers. 265 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems organized by PTT Research Leidschendam, The Netherlands, 15-17 October, 1991

Kroon, J. (redactie), Heijink, R. J. (redactie) & Brinksma, E. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 310 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

Bakker, de, J. W. (redactie), Huizing, C. (redactie), Roever, de, W. P. (redactie) & Rozenberg, G. (redactie), 1992, Berlin: Springer. 723 blz. (Lecture notes in computer science; vol. 600)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

7 Citaten (Scopus)
1993

Algebraic specification of communication protocols

Mauw, S. (redactie) & Veltink, G. J. (redactie), 1993, Cambridge: Cambridge University Press. 197 blz. (Cambridge tracts in theoretical computer science; vol. 36)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Numerical methods for advection-diffusion problems

Vreugdenhil, C. B. (redactie) & Koren, B. (redactie), 1993, Braunschweig: Vieweg.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Proceedings of the ACID-WG/EXACT Workshop on Asynchronous Data Processing (1993)

Josephs, M. B. (redactie) & Mak, R. H. (redactie), 1993, Eindhoven: Technische Universiteit Eindhoven. 266 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

User-oriented methodology and techniques of decision analysis and support : proceedings of the international IIASA workshop held in Serock, Poland, September 9-13, 1991

Wessels, J. (redactie) & Wierzbicki, A. P. (redactie), 1993, Berlin: Springer. 295 blz. (Lecture notes in economics and mathematical systems; vol. 397)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1994

Advances in database systems : implementations and applications

Paredaens, J. (redactie) & Tenenbaum, L. (redactie), 1994, Wien: Springer. 377 blz. (CISM courses and lectures; vol. 347)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Fundamentals of object-oriented languages, systems, and methods : Seminar 9434, August 22-26, 1994

Ehrich, H. D. (redactie), Engels, G. (redactie), Paredaens, J. (redactie) & Wegner, P. (redactie), 1994, Wadern-Dagstuhl: IBFI. 48 blz. (Dagstuhl Seminar Report; vol. 95)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
177 Downloads (Pure)

Selected papers on Automath

Nederpelt, R. P. (redactie), Geuvers, J. H. (redactie), Vrijer, de, R. C. (redactie), Benthem Jutting, van, L. S. (redactie) & van Daalen, D. T. (redactie), 1994, Amsterdam: Elsevier. 1024 blz. (Studies in logic and the foundations of mathematics; vol. 133)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Semantics of specification languages (SoSL) : proceedings of the international workshop, Utrecht, The Netherlands, 25-27 October 1993

Andrews, D. J. (redactie), Groote, J. F. (redactie) & Middelburg, C. A. (redactie), 1994, Berlin: Springer. 355 blz. (Workshops in computing)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1995

ACP : algebra of communicating processes : workshop : proceedings, 2nd, Eindhoven, The Netherlands, 1995

Ponse, A. J. (redactie), Verhoef, C. (redactie) & Vlijmen, van, S. F. M. (redactie), 1995, Eindhoven: Technische Universiteit Eindhoven. 451 blz. (Computing science reports; vol. 9514)(ACP, algebra of communicating processes : workshop : proceedings; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
258 Downloads (Pure)

Computer algebra in industry : problem solving in practice, 2

Cohen, A. M. (redactie), Gastel, van, L. J. (redactie) & Verduyn Lunel, S. M. (redactie), 1995, Chichester: Wiley. 323 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Proceedings of the real-time database workshop, Eindhoven, 23 February 1995

Stok, van der, P. D. V. (redactie) & Wal, van der, J. (redactie), 1995, Eindhoven: Technische Universiteit Eindhoven. 106 blz. (Computing science reports; vol. 9527)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
85 Downloads (Pure)

Scheduling theory and its applications

Chrétienne, P. (redactie), Coffman, E. G. (redactie), Lenstra, J. K. (redactie) & Liu, Z. (redactie), 1995, Chichester: Wiley. 365 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS'95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Brinksma, E. (redactie), Cleaveland, W. R. (redactie), Larsen, K. G. (redactie), Margaria, T. (redactie) & Steffen, B. (redactie), 1995, Berlin: Springer. 289 blz. (Lecture notes in computer science; vol. 1019)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1996

Informatiesystemen: modelleren en specificeren

Aalst, van der, W. M. P. (redactie), Aerts, A. T. M. (redactie), Koppelman, H. (redactie) & Schuwer, R. V. (redactie), 1996, Heerlen: Open Universiteit. 3 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1997

Algorithms - ESA '97: 5th annual European symposium, Graz, Austria, September 15-17, 1997 : proceedings

Burkard, R. E. (redactie) & Woeginger, G. J. (redactie), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1284)(Algorithms - ESA : annual European symposium on algorithms : proceedings; vol. 5)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration : results of the BRITE/EURAM projects AERO-CT89-0003 and AER2-CT92-00040, 1989-1995

Deconinck, H. (redactie) & Koren, B. (redactie), 1997, Braunschweig: Vieweg. 569 blz. (Notes on numerical fluid mechanics. NNFM; vol. 57)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
69 Downloads (Pure)

Local search in combinatorial optimization

Aarts, E. H. L. (redactie) & Lenstra, J. K. (redactie), 1997, Chichester: Wiley-Interscience. 512 blz. (Wiley-Interscience series in discrete mathematics and optimization)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

The language/action perspective : 2nd international workshop on communication modeling (LAP'97), Veldhoven, The Netherlands, 9-10 June, 1997

Dignum, F. P. M. (redactie) & Dietz, J. L. G. (redactie), 1997, Eindhoven: Eindhoven University of Technology. 147 blz. (Computing science reports; vol. 9709)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
268 Downloads (Pure)

Tools and algorithms for the construction and analysis of systems: third international workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

Brinksma, E. (redactie), 1997, Berlin: Springer. (Lecture notes in computer science; vol. 1217)(TACAS : tools and algorithms for the construction and analysis of systems : international conference : proceedings; vol. 3)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

1998

Nonlinear control systems design 1998 (NOLCOS'98) : a proceedings volume from the 4th IFAC Symposium, Enschede, The Netherlands, 1-3 July 1998

Huijberts, H. J. C. (redactie), Nijmeijer, H. (redactie), Schaft, van der, A. J. (redactie) & Scherpen, J. M. A. (redactie), 1998, Oxford: Pergamon. 2 blz. (NOLCOS : nonlinear control systems design : IFAC symposium : proceedings; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic