Advanced Data Mining and Applications
The two-volume set LNAI 13725 and 13726 constitutes the proceedings of the 18th International...
EAN: 9783031221361
Information Security Practice and Experience
This book constitutes the refereed proceedings of the 17th International Conference on...
EAN: 9783031212796
Engineering Software for Modern Challenges
This volume constitutes selected papers presented at the First International Conference on...
EAN: 9783031199677
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
EAN: 9783031116858
Intelligent Information and Database Systems
This book constitutes the refereed proceedings of the 14th Asian Conference on Intelligent...
EAN: 9783031219665
Formal Aspects of Component Software
This book constitutes the thoroughly revised selected papers from the 18th International...
EAN: 9783031208713
Applied Computer Sciences in Engineering
This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied...
EAN: 9783031206108
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at...
EAN: 9783031198489
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at...
EAN: 9783031197550
Bringing Machine Learning to Software-Defined Networks
EAN: 9789811948732
Strategy, Planning and Organization of Test Processes
EAN: 9783658369804
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 11th International Workshop on...
EAN: 9783031294754
Accelerating Science and Engineering Discoveries Through Integrated Research Infrastructure for Experiment, Big Data, Modeling and Simulation
This book constitutes the refereed proceedings of the 22nd Smoky Mountains Computational Sciences...
EAN: 9783031236051
Telematics and Computing
This book constitutes the proceedings of the 11th International Congress on Telematics and...
EAN: 9783031180811
Computer Security – ESORICS 2022
The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European...
EAN: 9783031171420
Computer Security – ESORICS 2022
The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European...
EAN: 9783031171390
Smart Cities, Green Technologies, and Intelligent Transport Systems
?This book includes extended and revised selected papers from the 10th International Conference...
EAN: 9783031170973
Pattern Recognition
This book constitutes the refereed proceedings of the 44th DAGM German Conference on Pattern...
EAN: 9783031167874
Model-Based Safety and Assessment
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety...
EAN: 9783031158414
Computational Intelligence, Cyber Security and Computational Models. Recent Trends in Computational Models, Intelligent and Secure Systems
This book constitutes the proceedings of the 5th International Conference, ICC3 2021, held in...
EAN: 9783031155550
Emerging Networking Architecture and Technologies
This book constitutes refereed proceedings of the First International Conference on Emerging...
EAN: 9789811996962
Machine Learning, Optimization, and Data Science
EAN: 9783031258909
