EAISI High Tech Systems

Filter
Voorwoord/editorial

Zoekresultaten

  • 2024

    Foreword

    Lárusdóttir, M. K., Naqvi, B., Bernhaupt, R., Ardito, C. & Sauer, S., 2024, 10th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering, HCSE 2024. Lárusdóttir, M. K., Naqvi, B., Bernhaupt, R., Ardito, C. & Sauer, S. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science; vol. 14793).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

    van Beurden, M., Budko, N., Ciuprina, G., Schilders, W., Bansal, H. & Barbulescu, R., 2024, Scientific Computing in Electrical Engineering: SCEE 2022, Amsterdam, The Netherlands, July 2022. van Beurden, M., Budko, N. V., Ciuprina, G., Schilders, W., Bansal, H. & Barbulescu, R. (uitgave). Springer, blz. v-vii (Mathematics in Industry; vol. 43).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2023

    Preface

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, blz. vii-viii (Studies in Systems, Decision and Control; vol. 458).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

    Ferreira, C. & Willemse, T. A. C., 2023, Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2022

    Preface

    Groote, J. F. & Huisman, M., 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Groote, J. F. & Huisman, M. (uitgave). Springer, blz. v (Lecture Notes in Computer Science; vol. 13487).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2021

    Preface

    Peters, K. & Willemse, T. A. C., 2021, Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Peters, K. & Willems, T. A. C. (uitgave). Springer, blz. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

    Fogli, D., Tetteroo, D., Barricelli, B. R., Borsci, S., Markopoulos, P. & Papadopoulos, G. A., 2021, 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings. Berlin: Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12724).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2020

    General chairs' welcome

    Bernhaupt, R., Mueller, F., Verweij, D. & Andres, J., 25 apr. 2020, 2020 ACM CHI Conference on Human Factors in Computing Systems, CHI EA 2020.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

    Bos, F. P., Lucas, S. S., Wolfs, R. J. M. & Salet, T. A. M., 2020, Second RILEM International Conference on Concrete and Digital Fabrication: Digital Concrete 2020. Bos, F. P., Lucas, S. S., Wolfs, R. J. M. & Salet, T. A. M. (uitgave). Springer, blz. v-ix (RILEM Bookseries; vol. 28).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

    Stuijk, S., 25 mei 2020, SCOPES '20: Proceedings of the 23th International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (uitgave). New York: Association for Computing Machinery, Inc., blz. III 1 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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/Congresprocedure › Voorwoord/editorial › Academic