Systems, Software and Services Process Improvement
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European...
EAN: 9783031711381
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 29th International Conference on Formal Methods for...
EAN: 9783031681493
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756773
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756742
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756711
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756681
Advanced Intelligent Computing Technology and Applications
EAN: 9789819756650
Information and Communication Technologies
This book constitutes the refereed proceedings of the 12th Ecuadorian Conference on Information...
EAN: 9783031754302
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031753893
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031751066
Neural-Symbolic Learning and Reasoning
EAN: 9783031711664
Rewriting Logic and Its Applications
This book constitutes revised selected papers from the refereed proceedings of the 15th...
EAN: 9783031659409
Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium
This book constitutes the refereed proceedings of the tracks and workshops which complemented the...
EAN: 9783031663253
Verified Software. Theories, Tools and Experiments
This book constitutes the refereed proceedings of the 15th International Conference on Verified...
EAN: 9783031660634
Reuse and Software Quality
This volume constitutes the refereed proceedings of the 21st International Conference on Software...
EAN: 9783031664588
Software Design for Resilient Computer Systems
EAN: 9783031551383
Computational Science and Its Applications – ICCSA 2024
EAN: 9783031646072
Computational Science and Its Applications – ICCSA 2024
EAN: 9783031646041
Evaluation of Novel Approaches to Software Engineering
EAN: 9783031641817
