Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Boekredactie
1995
65 Downloads (Pure)

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

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

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

156 Downloads (Pure)

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

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

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

140 Downloads (Pure)

Proceedings of the ECMI modelling week 1991 Eindhoven, The Netherlands, September 1-9, 1991

Cijsouw, P. L. (redactie), 1993, Eindhoven: Eindhoven University of Technology. 180 blz. (Opleiding wiskunde voor de industrie Eindhoven : student report; vol. 9306)(ECMI modelling week : proceedings; vol. 4)

Onderzoeksoutput: Boek/rapportBoekredactiePopulair

Open Access
Bestand

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

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

Cryptography and data protection : proceedings of a symposium at the Royal Netherlands Academy of Arts and Sciences on 19th December 1990

van Lint, J. H. (redactie) & Tijdeman, R. (redactie), 1992, Amsterdam: North-Holland Publishing Company. 104 blz. (Koninklijke Nederlandse Akademie van Wetenschappen : verhandelingen, afd. natuurkunde, eerste reeks; vol. 38)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

8 Citaties (Scopus)

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

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

Foundations of object-oriented languages : REX school/workshop, May 28 - June 1, 1990, Noordwijkerhout, The Netherlands

Bakker, de, J. W. (redactie), Roever, de, W. P. (redactie) & Rozenberg, G. (redactie), 1991, Berlin: Springer. (Lecture notes in computer science; vol. 489)

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

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

11 Citaties (Scopus)

Stepwise refinement of distributed systems : models, formalisms, correctness : Rex workshop, Mook ,The Netherlands, May 29 - June 2, 1989 : proceedings

Bakker, de, J. W. (redactie), Roever, de, W. P. (redactie) & Rozenberg, G. (redactie), 1990, Berlin: Springer. (Lecture notes in computer science; vol. 430)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

1989
54 Downloads (Pure)

1992 and the European engineer: proceedings of the symposium held at the EEE88 SEFI-annual conference in Leuven, 30 August - 2 September 1988

van der Perre, G. (redactie), Hansen, L. A. (redactie) & Ackermans, S. T. M. (redactie), 1989, Bruxelles: Societe Europeenne pour la Formation des Ingenieurs (SEFI). 128 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Bakker, de, J. W. (redactie), Roever, de, W. P. (redactie) & Rozenberg, G. (redactie), 1989, Berlin: Springer. 713 blz. (Lecture notes in computer science; vol. 354)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

172 Downloads (Pure)

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

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

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

Proceedings of the first European symposium on mathematics in industry : ESMI I, October 30 - November 1, 1985, Amsterdam

Hazewinkel, M. (redactie), Mattheij, R. M. M. (redactie) & van Groesen, E. W. C. (redactie), 1988, Stuttgart: B.G. Teubner. 238 blz. (European consortium for mathematics in industry. ECMI; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

The influence of computers and informatics on mathematics and its teaching

Churchouse, R. F. (redactie), Cornu, B. (redactie), Howson, A. G. (redactie), Kahane, J. P. (redactie), van Lint, J. H. (redactie), Pluvinage, F. (redactie), Ralston, A. (redactie) & Yamaguti, M. (redactie), 1986, Cambridge: Cambridge University Press. 155 blz. (ICMI study series)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

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

372 Downloads (Pure)

Papers dedicated to J.J. Seidel

Doelder, de, P. J. (redactie), Graaf, de, J. (redactie) & van Lint, J. H. (redactie), 1984, Eindhoven: Eindhoven University of Technology. 373 blz. (EUT report. WSK, Dept. of Mathematics and Computing Science; vol. 84-WSK-03)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
1976

Inleiding in de coderingstheorie

van Lint, J. H. (redactie), 1976, Amsterdam: Stichting Mathematisch Centrum. 163 blz. (MC syllabus; vol. 31)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic