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
Industrial Networks and Intelligent Systems
This book constitutes the refereed proceedings of the 10th EAI International Conference on...
EAN: 9783031673566
Architecture of Computing Systems
T?his book constitutes the proceedings of the 37th International Conference on Architecture of...
EAN: 9783031661457
Verified Software. Theories, Tools and Experiments
This book constitutes the refereed proceedings of the 15th International Conference on Verified...
EAN: 9783031660634
Big Data and Security
They are organized in topical sections as follows: Part One: Big Data & New Method and Artificial...
EAN: 9789819743896
Mathematical Software – ICMS 2024
This book constitutes the proceedings of the 8th International Conference on Mathematical...
EAN: 9783031645280
Big Data and Security
They are organized in topical sections as follows: Part One: Big Data & New Method and Artificial...
EAN: 9789819743865
South African Computer Science and Information Systems Research Trends
This book contains a selection of the best papers of the 45th Annual Conference, SAICSIT 2024,...
EAN: 9783031648809
Engineering Psychology and Cognitive Ergonomics
EAN: 9783031607301
Internet of Things, Smart Spaces, and Next Generation Networks and Systems
EAN: 9783031609961
Internet of Things, Smart Spaces, and Next Generation Networks and Systems
EAN: 9783031609930
Blockchain Technology and Emerging Applications
This book constitutes the refereed proceedings of the Third International Conference on...
EAN: 9783031600364
Spatial Data and Intelligence
They were organized in topical sections as follows: Spatiotemporal Data Analysis, Spatiotemporal...
EAN: 9789819729654
Bio-Inspired Computing: Theories and Applications
EAN: 9789819722747
Bio-Inspired Computing: Theories and Applications
EAN: 9789819722716
Applications of Evolutionary Computation
EAN: 9783031568541
Applications of Evolutionary Computation
EAN: 9783031568510
Advanced Hybrid Information Processing
This four-volume set constitutes the post-conference proceedings of the 7th EAI International...
EAN: 9783031505485
Advanced Hybrid Information Processing
This four-volume set constitutes the post-conference proceedings of the 7th EAI International...
EAN: 9783031505454
Advanced Hybrid Information Processing
This four-volume set constitutes the post-conference proceedings of the 7th EAI International...
EAN: 9783031505515