Artificial Intelligence and Digital Systems Engineering
The resurgence of artificial intelligence has been fueled by the availability of the present...
EAN: 9780367545475
Assisted Eco-Driving
This book discusses an integrative approach combining Human Factors expertise with Automotive...
EAN: 9780367532628
Software Telemetry: Reliable logging and monitoring
EAN: 9781617298141
Robotics and Rehabilitation Intelligence
This 2-volume set constitutes the refereed proceedings of 1st International Conference on...
EAN: 9789813349315
Robotics and Rehabilitation Intelligence
This 2-volume set constitutes the refereed proceedings of 1st International Conference on...
EAN: 9789813349285
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the...
EAN: 9783030643805
Mobile Computing, Applications, and Services
This book constitutes the thoroughly refereed post-conference proceedings of the 11th...
EAN: 9783030642136
Mobile Networks and Management
This book constitutes the refereed post-conference proceedings of the 10th International...
EAN: 9783030640019
Integrated Formal Methods
This book constitutes the refereed proceedings of the 16th International Conference on Integrated...
EAN: 9783030634605
Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI
This book constitutes the revised selected papers of the 17th Smoky Mountains Computational...
EAN: 9783030633929
Advances in Service-Oriented and Cloud Computing
EAN: 9783030631604
Economics of Grids, Clouds, Systems, and Services
This book constitutes the refereed proceedings of the 17th International Conference on Economics...
EAN: 9783030630577
Analytical and Stochastic Modelling Techniques and Applications
This book constitutes the refereed proceedings of the 25th International Conference on Analytical...
EAN: 9783030628840
Information and Communication Technologies
This book constitutes refereed proceedings of the 8th Conference on Information and Communication...
EAN: 9783030628321
Big Data, Machine Learning, and Applications
This book constitutes refereed proceedings of the First International First International...
EAN: 9783030626242
Machine Learning for Cyber Security
This three volume book set constitutes the proceedings of the Third International Conference on...
EAN: 9783030624620
Dynamic Data Driven Applications Systems
This book constitutes the refereed proceedings of the Third International Conference on Dynamic...
EAN: 9783030617240
Hybrid Artificial Intelligent Systems
This book constitutes the refereed proceedings of the 15th International Conference on Hybrid...
EAN: 9783030617042
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th...
EAN: 9783030614690
Leveraging Applications of Formal Methods, Verification and Validation: Applications
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th...
EAN: 9783030614669
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th...
EAN: 9783030613617
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics
This book constitutes refereed proceedings of the 4th International Workshop on Software...
EAN: 9783030611323
Web and Wireless Geographical Information Systems
The 8 full papers presented together with 15 progress papers or short papers in the volume were...
EAN: 9783030609511
Embedded Computer Systems: Architectures, Modeling, and Simulation
This book constitutes the refereed proceedings of the 20th International Conference on Embedded...
EAN: 9783030609382
