International Conference on Applied Technologies
EAN: 9783031897566
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
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
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
Tools and Algorithms for the Construction and Analysis of Systems
EAN: 9783031906527
Tools and Algorithms for the Construction and Analysis of Systems
EAN: 9783031906428
Machine Learning and Data Mining for Sports Analytics
This book constitutes the refereed proceedings of the 11th International Workshop on Machine...
EAN: 9783031866913
Parallel and Distributed Processing Techniques
EAN: 9783031856372
Smart Cities
This book constitutes the revised selected papers of the 7th Ibero-American Congress on Smart...
EAN: 9783031853234