(Ilmumisaeg: 30-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471155)
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to...Loe edasi...
(Ilmumisaeg: 30-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471155)
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to...Loe edasi...
(Ilmumisaeg: 29-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471988)
This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, durin...Loe edasi...
(Ilmumisaeg: 29-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471988)
This book constitutes the proceedings of the 19th International Workshop on Security and Trust Management, STM 2023, co-located with the 28th European Symposium on Research in Computer Security, ESORICS 2023, held in The Hague, The Netherlands, durin...Loe edasi...
João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031472626)
This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Ad...Loe edasi...
João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 28-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031472626)
This book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Ad...Loe edasi...
(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...
(Ilmumisaeg: 01-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031442674)
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4...Loe edasi...
(Ilmumisaeg: 01-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031442674)
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 short papers presented in this book together with 4...Loe edasi...
Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Sep-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031432408)
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short...Loe edasi...
Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Sep-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031432408)
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short...Loe edasi...
Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 04-Sep-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031408786)
This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023. The 15 full papers presented together with 1 short paper were carefully reviewed and selec...Loe edasi...
Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 04-Sep-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031408786)
This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023. The 15 full papers presented together with 1 short paper were carefully reviewed and selec...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...
Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 17-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031398476)
The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.The 49 full papers presente...Loe edasi...
Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 17-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031398476)
The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.The 49 full papers presente...Loe edasi...
Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031398216)
The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.The 49 full papers presente...Loe edasi...
Christine Strauss, Toshiyuki Amagasa, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031398216)
The two-volume set, LNCS 14146 and 14147 constitutes the thoroughly refereed proceedings of the 34th International Conference on Database and Expert Systems Applications, DEXA 2023, held in Penang, Malaysia, in August 2023.The 49 full papers presente...Loe edasi...
