Verification, Model Checking, and Abstract Interpretation
EAN: 9783031827020
Verification, Model Checking, and Abstract Interpretation
EAN: 9783031826993
Analysis and Design of Next-Generation Software Architectures
EAN: 9783031762116
Recent Trends in Intelligence Enabled Research
This book gathers selected papers presented at the Fifth International Symposium on Signal and...
EAN: 9789819795147
Advanced Intelligent Technologies and Sustainable Society
EAN: 9789819732098
Design, User Experience, and Usability
EAN: 9783031932359
Design, User Experience, and Usability
EAN: 9783031932236
Distributed, Ambient and Pervasive Interactions
EAN: 9783031929793
Distributed, Ambient and Pervasive Interactions
EAN: 9783031929762
From Data to Models and Back
This book constitutes revised selected papers of the 12th International Symposium on From Data...
EAN: 9783031879074
Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering
EAN: 9783031859328
Applied Cognitive Computing and Artificial Intelligence
EAN: 9783031856273
Applied Algorithms
This book LNCS constitutes the refereed proceedings of the Second International Conference on...
EAN: 9783031845420
Computer Aided Systems Theory – EUROCAST 2024
This three part LNCS volumes constitutes the refereed proceedings of the 19th International...
EAN: 9783031838873
Computer Aided Systems Theory – EUROCAST 2024
This three part LNCS volumes constitutes the refereed proceedings of the 19th International...
EAN: 9783031829598
Computer Aided Systems Theory – EUROCAST 2024
This three part LNCS volumes constitutes the refereed proceedings of the 19th International...
EAN: 9783031829512
Architectural Coordination of Enterprise Transformation
EAN: 9783030099008
Time Series Forecasting Using Generative AI
mso-fareast-language: EN-IN;">"Time Series Forecasting Using Generative AI introduces readers to...
EAN: 9798868812750
