Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Boekredactie
Boekredactie

1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands

Van Wyk, E. (redactie) & Zschaler, S. (redactie), 2010, Eindhoven: Technische Universiteit Eindhoven. 78 blz. (Computer science reports; vol. 1011)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
227 Downloads (Pure)

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)

Adaptive hypertext and hypermedia : workshop : proceedings, 3rd, Sonthofen, Germany, July 14, 2001 and Aarhus, Denmark, August 15, 2001

De Bra, P. M. E. (redactie), Brusilovsky, P. (redactie) & Kobsa, A. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 223 blz. (Computer science reports; vol. 0111)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
1024 Downloads (Pure)

Advanced Computational Methods in Science and Engineering

Koren, B. (redactie) & Vuik, C. (redactie), 2010, Berlin: Springer. 498 blz. (Lecture notes in computational science and engineering; vol. 71)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Algorithms - ESA 2015 :23rd annual European symposium, Patras, Greece, September 14-16, 2015 : proceedings

Bansal, N. (redactie) & Finocchi, I. (redactie), 2015, Cham: Springer. 1033 blz. (Theoretical computer science and general issues; vol. 9294)(Lecture notes in computer science; vol. 9294)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

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

Automata, languages and programming: 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003 : proceedings

Baeten, J. C. M. (redactie), Lenstra, J. K. (redactie), Parrow, J. (redactie) & Woeginger, G. J. (redactie), 2003, Berlin: Springer. 1199 blz. (Lecture notes in computer science; vol. 2719)(ICALP : international colloquium on automata, languages and programming : proceedings; vol. 30)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

Business process management : models, techniques, and empirical studies

Aalst, van der, W. M. P. (redactie), Desel, J. (redactie) & Oberweis, A. (redactie), 2000, Berlin: Springer. 391 blz. (Lecture notes in computer science; vol. 1806)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

Computer aided verification : 14th international conference CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Brinksma, E. (redactie) & Larsen, K. G. (redactie), 2002, Berlin: Springer. 623 blz. (Lecture notes in computer science; vol. 2404)(CAV : computer-aided verification : international conference : proceedings; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

Computer analysis of images and patterns : 10th international conference CAIP 2003, Groningen, The Netherlands, August 25-27, 2003 : proceedings

Petkov, N. (redactie) & Westenberg, M. A. (redactie), 2003, Berlin: Springer. 781 blz. (Lecture notes in computer science; vol. 2756)(CAIP : computer analysis of images and patterns : international conference : proceedings; vol. 10)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

Computerwiskunde

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

Onderzoeksoutput: Boek/rapportBoekredactiePopulair

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

Concepts and ontologies in web-based educational systems : workshop, Auckland, New Zealand

Aroyo, L. M. (redactie) & Dicheva, D. (redactie), 2002, Eindhoven: Technische Universiteit Eindhoven. 62 blz. (Computer science reports; vol. 0215)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
72 Downloads (Pure)

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

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

Conferentie informatiewetenschap 2000, de Doelen, Utrecht, 5 april 2000

Vet, van der, P. (redactie) & De Bra, P. M. E. (redactie), 2000, Eindhoven: Technische Universiteit Eindhoven. 98 blz. (Computing science reports; vol. 0020)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
169 Downloads (Pure)

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

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

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

Environmental economics and the international economy

Marsiliani, L. (redactie), Rauscher, M. (redactie) & Withagen, C. A. A. M. (redactie), 2002, Dordrecht: Kluwer Academic Publishers. (Economy and environment; vol. 25)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Environmental policy in an international perspective

Marsiliani, L. (redactie), Rauscher, M. (redactie) & Withagen, C. A. A. M. (redactie), 2003, Dordrecht: Kluwer Academic Publishers. 336 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Equilibrium, markets and dynamics : essays in honour of Claus Weddepohl

Hommes, C. H. (redactie), Ramer, R. (redactie) & Withagen, C. A. A. M. (redactie), 2002, Berlin: Springer. 344 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

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

European success stories in industrial mathematics

Lery, T. (redactie), Primicerio, M. (redactie), Esteban, M. J. (redactie), Fontes, M. (redactie), Maday, Y. (redactie), Mehrmann, V. (redactie), Quadros, G. (redactie), Schilders, W. H. A. (redactie), Schuppert, A. (redactie) & Tewkesbury, H. (redactie), 2011, Dordrecht: Springer.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Exact algorithms and fixed-parameter tractability (Proceedings Dagstuhl Seminar, July 24-29, 2005)

Downey, R. G. (redactie), Grohe, M. (redactie) & Woeginger, G. J. (redactie), 2006, Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).

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)

Hybrid systems : computation and control: second international workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings

Vaandrager, F. W. (redactie) & Schuppen, van, J. H. (redactie), 1999, Berlin: Springer. 270 blz. (Lecture notes in computer science; vol. 1569)(HSCC : hybrid systems : computation and control : international conference; vol. 2)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

11 Citaten (Scopus)

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

Open Access
Bestand
69 Downloads (Pure)

Integer programming and combinatorial optimization : 15th international conference, IPCO 2011, New York NY, USA, June 15-17, 2011 : proceedings

Günlük, O. (redactie) & Woeginger, G. J. (redactie), 2011, Berlin: Springer. (Lecture notes in computer science; vol. 6655)(IPCO : integer programming and combinatorial optimization : international conference : proceedings; vol. 15)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Integer programming and combinatorial optimization : 8th international IPCO conference, Utrecht, The Netherlands, June 13-15, 2001 : proceedings

Aardal, K. I. (redactie) & Gerards, A. M. H. (redactie), 2001, Berlin: Springer. 421 blz. (Lecture notes in computer science; vol. 2081)(IPCO : integer programming and combinatorial optimization : international conference : proceedings; vol. 8)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Jan Karel Lenstra : the traveling science man : liber amicorum

Heijden, van der, M. Y. (redactie), Koren, B. (redactie), Mei, van der, R. D. (redactie) & Vonderen, van, C. (redactie), 2011, Amsterdam: Centrum voor Wiskunde en Informatica. 274 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
1203 Downloads (Pure)

Lectures on formal methods and performance analysis : first EEF/Euro summer school on Trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures

Brinksma, E. (redactie), Hermanns, H. (redactie) & Katoen, J. P. (redactie), 2001, Berlin: Springer. 429 blz. (Lecture notes in computer science; vol. 2090)(EEF/Euro summer school on trends in computer science; vol. 1)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Liber amicorum Bob Mattheij

Rook, R. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 54 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
81 Downloads (Pure)

Liber amicorum Jan de Graaf

Meer, van der, J. C. (redactie), 2007, Eindhoven: Technische Universiteit Eindhoven. 138 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Open Access
Bestand
456 Downloads (Pure)

Liber amicorum Jos Jansen

Anthonissen, M. J. H. (redactie), 2001, Eindhoven: Technische Universiteit Eindhoven. 132 blz.

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Open Access
Bestand
417 Downloads (Pure)

Liber amicorum voor Henk van Tilborg : Klabotscrypt

Asch, van, A. G. (redactie), Klooster, J. G. W. (redactie), Schoenmakers, L. A. M. (redactie) & Weger, de, B. M. M. (redactie), 2011, Eindhoven: Technische Universiteit Eindhoven. 169 blz.

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

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

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

Etalle, S. (redactie), 2005, Berlin: Springer. (Lecture notes in computer science; vol. 3573)(LOPSTR : logic-based program synthesis and transformation : international workshop : selected papers; vol. 14)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel

Logic programming : 22nd International Conference, ICLP 2006, Seattle WA, USA, August 17-20, 2006 : proceedings

Etalle, S. (redactie) & Truszczynski, M. (redactie), 2006, Berlin: Springer. (Lecture notes in computer science; vol. 4079)(ICLP : international conference on logic programming : proceedings; vol. 22)

Onderzoeksoutput: Boek/rapportBoekredactieProfessioneel