for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 28th International... Læs mere
This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.
This book constitutes the refereed proceedings of the 27th International... Læs mere
This book constitutes the refereed proceedings of the Second... Læs mere
This volume LNCS 14240 constitutes the refereed proceedings of the 30th... Læs mere
Part IV confronts the challenges and potentials of production processes under novel digitalization methods.Part V focuses on production management with data-driven decision support, while Part VI explores agile development processes.
This book constitutes the proceedings of the 16th International... Læs mere
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023.
This book constitutes the refereed proceedings of the 11th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2022, Cordoba, Spain, November 17–18, 2022. The 9 full papers included in this book were carefully reviewed and selected from 25 submissions.