Mathematics and Computer Science

Filter
Voorwoord / nawoord

Zoekresultaten

  • 2021

    Preface

    Cleophas, L. & Massink, M., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (redactie). Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12524).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2020

    Preface

    van Brummelen, H., Corsini, A., Perotto, S. & Rozza, G., 1 jan 2020, Numerical methods for flows: FEF 2017 selected contributions. van Brummelen, H., Corsini, A., Perotto, S. & Rozza, G. (redactie). Cham: Springer, blz. v-vi (Lecture Notes in Computational Science and Engineering; vol. 132).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Fahland, D., Ghidini, C., Becker, J. & Dumas, M., 2020, Business Process Management Forum: BPM Forum 2020, Seville, Spain, September 13–18, 2020, Proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (redactie). Berlin: Springer, blz. v (Lecture Notes in Business Information Processing; vol. 392).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Babur, Ö., Denil, J. & Heuser, B. V., 2020, Systems Modelling and Management: First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings. Babur, Ö., Denil, J. & Vogel-Heuser, B. (redactie). Berlin: Springer, blz. v-vii (Communications in Computer and Information Science; vol. 1262).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Fahland, D., Ghidini, C., Becker, J. & Dumas, M., 2020, Business Process Management 18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020: proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (redactie). Cham: Springer, blz. v-vii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12168).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface to 2nd International Workshop on Analytics and Mining of Model Repositories (AMMoRe 2020)

    Babur, Ö., Chaudron, M. R. V., Cleophas, L., Iovino, L. & Kolovos, D., 16 okt 2020, 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020. blz. XVI-XVIII

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2019

    ISIPTA 2019: Preface

    De Bock, J., de Cooman, G., de Campos, C. P., Quaeghebeur, E. & Wheeler, G., 2019, International Symposium on Imprecise Probabilities: Theories and Applications, 3-6 July 2019, Thagaste, Ghent, Belgium. De Bock, J., de Campos, C. P., de Cooman, G., Quaeghebeur, E. & Wheeler, G. (redactie). PMLR, blz. 1-1 1 blz. (Proceedings of Machine Learning Research ; vol. 103).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • ISSCC 2019 Foreword

    Cantatore, E., 6 mrt 2019, 2019 IEEE International Solid-State Circuits Conference, ISSCC. Institute of Electrical and Electronics Engineers, blz. 8-9 2 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • Preface

    Jansen, B. M. P. & Telle, J. A., dec 2019, Proceedings of the 14th International Symposium on Parameterized and Exact Computation, IPEC 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 148).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Consoli, S., Recupero, D. R. & Petković, M., 1 jan 2019, Data Science for Healthcare: Methodologies and Applications. Springer, blz. vii-ix

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
    5 Citaten (Scopus)
  • Preface

    Cevallos-Torres, L. & Botto-Tobar, M., 1 jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (redactie). Berlin: Springer, 2 blz. (Studies in Computational Intelligence; vol. 824).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Consoli, S., Recupero, D. R. & Petković, M., 2019, Data Science for Healthcare: Methodologies and Applications. Consoli, S., Recupero, D. R. & Petković, M. (redactie). Cham: Springer, blz. vii-ix 3 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • Preface

    Hildebrandt, T., Röglinger, M., van Dongen, B. F. & Mendling, J., 1 jan 2019, Business Process Management: 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings. Hildebrandt, T., van Dongen, B., Röglinger, M. & Mendling, J. (redactie). Cham: Springer, blz. v-vi 2 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11675).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • Preface

    Hildebrandt, T., van Dongen, B. F., Röglinger, M. & Mendling, J., 1 jan 2019, Business Process Management Forum: BPM Forum 2019, Vienna, Austria, September 1–6, 2019, Proceedings. Hildebrandt, T., van Dongen, B. F., Röglinger, M. & Mendling, J. (redactie). Cham: Springer, blz. v 1 blz. (Lecture Notes in Business Information Processing; vol. 360).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Peletier, M. A., Steur, E. & van Santen, R. A., 20 mrt 2019, Complexity Science: An Introduction. World Scientific, blz. v-vi

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    2 Downloads (Pure)
  • 2018

    Foreword

    Tijsseling, A. S., 2018, 13th International Conference on Pressure Surges. blz. 1-2 2 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Soldatova, L., Vanschoren, J., Ceci, M. & Papadopoulos, G., 1 jan 2018, Discovery science: 21st International Conference, DS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings. Berlin: Springer, blz. V (Lecture Notes in Artificial Intelligence; vol. 11198).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface: Post-Quantum Cryptography: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

    Lange, T. & Steinwandt, R., 1 jan 2018, Post-Quantum Cryptography: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings. Lange, T. & Steinwandt, R. (redactie). Cham: Springer, blz. VI (Lecture Notes in Computer Science; vol. 10786).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2017

    Ghost in the PLC vs GhostBuster: on the feasibility of detecting pin control attack in Programmable Logic Controllers

    Abbasi, A. & Genuise, A., 1 mei 2017, (Niet gepubliceerd) Ghost in the PLC vs GhostBuster: On the Feasibility of Detecting Pin Control Attack in Programmable Logic Controllers. 72 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Bestand
    240 Downloads (Pure)
  • Preface

    Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C. & van den Brand, M. (redactie). Cham, blz. V-VII (Lecture Notes in Computer Science; vol. 10139).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • Preface

    Lange, T. & Takagi, T., 2017, Post-Quantum Cryptography: 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings. Lange, T. & Takagi, T. (redactie). Dordrecht: Springer, blz. VI (LNCS; vol. 10346).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
    Bestand
    13 Downloads (Pure)
  • 2015

    Foreword

    Tijsseling, A. S., nov 2015, Proceedings of the 12th International Conference on Pressure Surges, Dublin, Ireland. blz. 1-2 2 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
    Bestand
    14 Downloads (Pure)
  • Message from the chairs

    Gueheneuc, Y. G., Serebrenik, A., Adams, B., Moha, N., Tsantalis, N., Lammel, R., Rigby, P. C., Krinke, J., Sharif, B., Hayes, J. H., Huchard, M., Khomh, F., Hamou-Lhadj, W., Fontana, F. A. & Hill, E., 2 mrt 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering. IEEE Computer Society, blz. iii-vii (2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • Preface to the 10th international workshop on business process intelligence (BPI 2014)

    Weber, B., van Dongen, B., Ferreira, D. R. & de Weerdt, J., 1 jan 2015, International Workshops on Business Process Management Workshops, BPM 2014; Eindhoven; Netherlands; 7 September 2014 through 8 September 2014. Fournier, F. & Mendling, J. (redactie). Cham: Springer, blz. xxv-xxvii (Lecture Notes in Business Information Processing; vol. 202).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
  • Welcome message from the AU2EU 2015 workshop organizers

    Petkovic, M., Camenisch, J., Zic, J. & Egner, A-I., 16 okt 2015, Proceedings - 10th International Conference on Availability, Reliability and Security, ARES 2015. blz. XXXV

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    Open Access
    Bestand
    56 Downloads (Pure)
  • 2014

    Preface: 9th International workshop on business process intelligence (BPI 2013)

    van der Aalst, W., de Medeiros, A. K. A., Benatallah, B., Gaaloul, W., Greco, G., Grigori, D., Guzzo, A., Leyer, M., Mendling, J., Pastor, O., Popova, V., Reichert, M., Rosemann, M., Rozinat, A., Sacca, D., Soffer, P., Sperduti, A., Weigand, H. & Weske, M., 1 jan 2014, Business Process Management Workshops: BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Lohmann, N., Song, M. & Wohed, P. (redactie). Cham: Springer, blz. IX-XI 3 blz. (Lecture Notes in Business Information Processing; nr. 171).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Mens, T., Serebrenik, A. & Cleve, A., 1 jan 2014, Evolving Software Systems. Berlin: Springer, blz. ix-xii

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    6 Citaten (Scopus)
  • Preface

    Muntean, A. & Toschi, F., 1 jan 2014, Collective dynamics from bacteria to crowds: an excursion through modeling, analysis and simulation. Springer, (CISM International Centre for Mechanical Sciences, Courses and Lectures; vol. 553).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    1 Citaat (Scopus)
  • 2013

    Preface

    Giannini, P. & Vink, de, E. P., 2013, Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12, Stockholm, Sweden, June 16, 2012)). Giannini, P. & Vink, de, E. P. (redactie). blz. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 293).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2012

    7th International workshop on business process intelligence (BPI 2011)

    van Dongen, B., Ferreira, D. R. & Weber, B., 1 jan 2012, Business Process Management Workshops: BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I. Daniel, F., Barkaoui, K. & Dustdar, S. (redactie). blz. xi-xii (Lecture Notes in Business Information Processing; vol. 99).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Barthe, G., Datta, A. & Etalle, S., 23 jul 2012, Formal aspects of security and trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Barthe, G., Datta, A. & Etalle, S. (redactie). Berlin: Springer, blz. IV 1 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7140).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface to the Second International Workshop on Data Mining in Networks -- DaMNet 2012

    Di Fatta, G. & Liotta, A., 2012, IEEE International Workshop on Data Mining in Networks (DaMNet 2012). Brussels: Institute of Electrical and Electronics Engineers

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2011

    4th International Workshop on Logic in Databases, LID 2011; Uppsala; Sweden; 25 March 2011 through 25 March 2011: Foreword

    Fletcher, G., Staworko, S., Orsborn, K. & Stefanova, S., 10 mei 2011, 4th International Workshop on Logic in Databases, LID 2011; Uppsala; Sweden, 25 March 2011. New York: Association for Computing Machinery, Inc, blz. i-iv 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface to the 2nd International Workshop on Handling Concept Drift in Adaptive Information Systems

    Khan, L., Pechenizkiy, M. & Zliobaite, I., 2011, 2011 IEEE 11th International Conference on Data Mining Workshops (ICDMW, Vancouver BC, Canada, December 11, 2011). Spilopoulou, M., Wang, H., Cook, D. J., Pei, J., Wang, W., Zaiane, O. R. & Wu, X. (redactie). Institute of Electrical and Electronics Engineers, blz. xxxvi-xxxvii

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    1 Downloads (Pure)
  • Preface to the International Workshop on Data Mining in Networks (DaMNet 2011)

    Di Fatta, G. & Liotta, A., 2011, 2011 IEEE 11th International Conference on Data Mining Workshops (ICDMW, Vancouver BC, Canada, December 11, 2011). Spilopoulou, M., Wang, H., Cook, D. J., Pei, J., Wang, W., Zaiane, O. R. & Wu, X. (redactie). Institute of Electrical and Electronics Engineers, blz. xlviii-xlvix

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2010

    Preface

    Böszörmenyi, L., Burdescu, D., Davis, P., Stanchev, P. L., Fotouhi, F., Liotta, A., Newell, D., Schöffmann, K. & Spielvogel, C., 2010, Second International Conference on Advances in Multimedia (MMEDIA 2010), June 13-19, 2010, Athens, Greece. Piscataway: Institute of Electrical and Electronics Engineers, blz. viii-ix

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    1 Downloads (Pure)
  • Software language engineering: preface

    van den Brand, M., Gaševíc, D. & Gray, J., 3 mei 2010, Software language engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009. van den Brand, M., Gasevic, D. & Gray, J. (redactie). Berlin: Springer, blz. V-VI (Lecture Notes in Computer Science; vol. 5969).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2008

    Message from the general chairs

    Aalst, van der, W. M. P. & Pu, C., 2008, Proceedings 2008 IEEE International Conference on Services Computing (SCC 2008, Honolulu HI, USA, July 8-11, 2008). Piscataway: Institute of Electrical and Electronics Engineers, blz. X-X

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface to WISM 2008

    Frasincar, F., Houben, G. J. P. M. & Thiran, P., 2008, Advances in Conceptual Modeling - Challenges and Opportunities (ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings). Song, I. Y. & et al., X. (redactie). Berlin: Springer, blz. 405- (Lecture Notes in Computer Science; vol. 5232).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • 2007

    Introduction

    Tuyls, P., Skoric, B. & Kevenaar, T., 1 dec 2007, Security with noisy data: on private biometrics, secure key storage and anti-counterfeiting. Tuyls, P., Skoric, B. & Kevenaar, T. (redactie). London: Springer, blz. 1-17 17 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

    26 Citaten (Scopus)
  • Preface

    Etalle, S. & Samarati, P., 2007, Proceedings of the 2nd International Workshop on Security and Trust Management (STM 2006), 20-21 September 2006, Hamburg, Germany. blz. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 179).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

  • 2006

    Foreword

    Aarts, E. H. L., 2006, Ambient Intelligence in Everyday Life. Cai, Y. & Abascal, J. (redactie). Berlin: Springer, blz. vii-viii (Lecture Notes in Artificial Intelligence; vol. 3864).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordAcademic

  • Preface

    Thiran, P., Risch, T. & Benslimane, D., 2006, Proceedings of the International Workshop on Database Interoperability (InterDB 2005, Namur, Belgium, March 23, 2005). blz. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 150(2)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

    35 Citaten (Scopus)
  • Preface

    Leucker, M. & Pol, van de, J. C., 2006, Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05, Lisbon, Portugal, July 10, 2005). blz. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 135(2)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

  • Preface to AEWSE'06

    Casteleyn, S., Daniel, F., Houben, G. J. P. M., Matera, M., Plessers, P. & De Troyer, O., 2006, Workshop proceedings of the Sixth International Conference on Web Engineering (ICWE'06, Palo Alto CA, USA, July 10-14, 2006), ACM International Conference Proceeding Series 155. Koch, N. & Olsina, L. (redactie). Association for Computing Machinery, Inc

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

  • Preface to MDWE'06

    Houben, G. J. P. M., Rossi, G. & Vallecillo, A., 2006, Workshop proceedings of the Sixth International Conference on Web Engineering (ICWE'06, Palo Alto CA, USA, July 10-14, 2006). Koch, N. & Olsina, L. (redactie). New York: Association for Computing Machinery, Inc, (ACM International Conference Proceeding Series; vol. 155).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

  • Preface to SMIWEP-MATeS'06

    Houben, G. J. P. M., Pastor, O., Schwabe, D., Corco, O., Sampaio, P. & Wombacher, A., 2006, Workshop proceedings of the Sixth International Conference on Web Engineering (ICWE'06, Palo Alto CA, USA, July 10-14, 2006). Koch, N. & Olsina, L. (redactie). New York: Association for Computing Machinery, Inc, 15. (ACM International Conference Proceeding Series; vol. 155).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

  • Preface to Special Issue

    Hoek, van der, W., Lomuscio, A., Vink, de, E. P. & Wooldridge, M., 2006, Proceedings of the 3rd International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005, Edinburgh, UK, August 1, 2005). van der Hoek, W., Lomuscio, A., de Vink, E. P. & Wooldridge, M. (redactie). blz. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 157(4)).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

    1 Downloads (Pure)
  • 2005

    Preface

    Etalle, S., Mukhopadhyay, S. & Roychoudhury, A., 2005, Proceedings of the International Workshop on Software Verification and Validation (SVV 2003, Mumbai, India, December 14, 2003). Etalle, S., Mukhopadhyay, S. & Roychoudhury, A. (redactie). blz. 1- (Electronic Notes in Theoretical Computer Science; vol. 118).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

  • Preface

    Baeten, J. C. M. & Corradini, F., 2005, Proceedings 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004, London, UK, August 30, 2004). blz. 1-3 (Electronic Notes in Theoretical Computer Science; vol. 128).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureVoorwoord / nawoordProfessioneel

    Open Access
    Bestand
    79 Downloads (Pure)