Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th...
EAN: 9783031737084
Advancing OpenMP for Future Accelerators
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP:...
EAN: 9783031725661
Science, Engineering Management and Information Technology
This two-volume set constitutes selected papers presented during the Second International...
EAN: 9783031722868
Science, Engineering Management and Information Technology
This two-volume set constitutes selected papers presented during the Second International...
EAN: 9783031722837
Computational Methods in Systems Biology
This book constitutes the refereed proceedings of the 22nd International Conference on...
EAN: 9783031716706
Analytical and Stochastic Modelling Techniques and Applications
This book constitutes the refereed proceedings of the 28th International Conference on Analytical...
EAN: 9783031707520
Pattern Recognition and Computer Vision
EAN: 9789819786848
Pattern Recognition and Computer Vision
EAN: 9789819784868
Formal Aspects of Component Software
This book constitutes the refereed proceedings of the 20th International Conference on Formal...
EAN: 9783031712609
Computer Security – ESORICS 2024
This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European...
EAN: 9783031709029
Computer Security – ESORICS 2024
This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European...
EAN: 9783031708954
Computer Security – ESORICS 2024
This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European...
EAN: 9783031708893
Computer Security – ESORICS 2024
This four-volume set LNCS 14982-14985 constitutes the refereed proceedings of the 29th European...
EAN: 9783031708787
Parallel Problem Solving from Nature – PPSN XVIII
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th...
EAN: 9783031700842
Model-Driven Engineering and Software Development
This book constitutes the refereed post-proceedings of the 11th International Conference on...
EAN: 9783031663383
Pattern Recognition and Computer Vision
EAN: 9789819787913
Advanced Data Mining and Applications
This six-volume set, LNAI 15387-15392, constitutes the refereed proceedings of the 20th...
EAN: 9789819608492
Interactive Collaborative Robotics
This book constitutes the refereed proceedings of the 9th International Conference on Interactive...
EAN: 9783031713590
Parallel Problem Solving from Nature – PPSN XVIII
This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th...
EAN: 9783031700705
Systems, Software and Services Process Improvement
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European...
EAN: 9783031711411
Systems, Software and Services Process Improvement
The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European...
EAN: 9783031711381
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
Privacy Technologies and Policy
This book constitutes the refereed proceedings of the 12th Annual Privacy Forum on Privacy...
EAN: 9783031680236
