(Ilmumisaeg: 21-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031433450)
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited...Loe edasi...
(Ilmumisaeg: 21-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031433450)
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited...Loe edasi...
Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 29-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031423109)
This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.The 47 full papers presented were careful...Loe edasi...
Murat Yilmaz, Paul Clarke, Andreas Riel, Richard Messnarz
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 29-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031423109)
This two-volume set constitutes the refereed proceedings of the 30th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2023, held in Grenoble, France, in August-September 2023.The 47 full papers presented were careful...Loe edasi...
Lucio Davide Spano, Albrecht Schmidt, Carmen Santoro, Simone Stumpf
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 29-May-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031344336)
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.The 17 full papers and 2 (keynote extended abstracts) included...Loe edasi...
Lucio Davide Spano, Albrecht Schmidt, Carmen Santoro, Simone Stumpf
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 29-May-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031344336)
This book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6-8, 2023.The 17 full papers and 2 (keynote extended abstracts) included...Loe edasi...
(Ilmumisaeg: 30-Nov-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031224768)
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 sub...Loe edasi...
(Ilmumisaeg: 30-Nov-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031224768)
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 sub...Loe edasi...
Noel Carroll, Anh Nguyen-Duc, Xiaofeng Wang, Viktoria Stray
Sari: Lecture Notes in Business Information Processing
(Ilmumisaeg: 28-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031207068)
This book constitutes the refereed proceedings of the 13th International Conference on Software Business, ICSOB 2022, which was held during November 8-11, 2022 in Bolzano, Italy. The special theme of ICSOB 2022 was "e;Software for Digital Tr...Loe edasi...
Noel Carroll, Anh Nguyen-Duc, Xiaofeng Wang, Viktoria Stray
Sari: Lecture Notes in Business Information Processing
(Ilmumisaeg: 28-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031207068)
This book constitutes the refereed proceedings of the 13th International Conference on Software Business, ICSOB 2022, which was held during November 8-11, 2022 in Bolzano, Italy. The special theme of ICSOB 2022 was "e;Software for Digital Tr...Loe edasi...
Murat Yilmaz, Paul Clarke, Richard Messnarz, Bruno Wöran
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 25-Aug-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031155598)
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.The 49 full papers and 8 short papers presented...Loe edasi...
Murat Yilmaz, Paul Clarke, Richard Messnarz, Bruno Wöran
Sari: Communications in Computer and Information Science
(Ilmumisaeg: 25-Aug-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031155598)
This volume constitutes the refereed proceedings of the 29th European Conference on Systems, Software and Services Process Improvement, EuroSPI 2022, held in Salzburg, Austria, in August-September 2022.The 49 full papers and 8 short papers presented...Loe edasi...
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea...Loe edasi...
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea...Loe edasi...
This book constitutes the proceedings of the 6th International Conference on Lean and Agile Software Development, LASD 2022, which was held online on January 22, 2022. The conference received a total of 29 submissions, of which 9 full papers,...Loe edasi...
This book constitutes the proceedings of the 6th International Conference on Lean and Agile Software Development, LASD 2022, which was held online on January 22, 2022. The conference received a total of 29 submissions, of which 9 full papers,...Loe edasi...
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully...Loe edasi...
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8 regular papers presented in this book were carefully...Loe edasi...
This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.The 22 full and 3 short papers presented were carefully reviewe...Loe edasi...
This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.The 22 full and 3 short papers presented were carefully reviewe...Loe edasi...
