Image Analysis and Recognition
This two-volume set LNCS 12131 and LNCS 12132 constitutes the refereed proceedings of the 17th International Conference on ...
Continue reading
Information Security and Privacy
This book constitutes the refereed proceedings of the 25th Australasian Conference on Information Security and Privacy, ACISP ...
Continue reading
Information Systems Security
This book constitutes the proceedings of the 16th International Conference on Information Systems Security, ICISS 2020, held ...
Continue reading
Information Systems Security and Privacy
This book constitutes the revised selected papers of the 5th International Conference on Information Systems Security and ...
Continue reading
Information and Communication Technologies in Education, Research, and Industrial Applications
This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information ...
Continue reading
Insider Attack and Cyber Security : Beyond the Hacker
This book sets an agenda for an ongoing research initiative to solve one of the most vexing problems encountered in computer ...
Continue reading
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Continue reading
Intelligent Computing Theories and Application
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
Continue reading
Intelligent Computing Theories and Application
The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights ...
Continue reading
Introduction to Reconfigurable Computing : Architectures, Algorithms, and Applications
“Introduction to Reconfigurable Computing” provides a comprehensive study of the field Reconfigurable Computing. It provides ...
Continue reading
Issues in Multi-Agent Systems : The AgentCities.ES Experience
The purpose of this book is to present current status of this technology by looking at its application in different domains, ...
Continue reading
Job Scheduling Strategies for Parallel Processing :13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Job Scheduling ...
Continue reading
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, ...
Continue reading
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
Continue reading
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue reading
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue reading
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Continue reading
Machine Learning and Data Mining for Sports Analytics : 7th International Workshop, MLSA 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Machine Learning and ...
Continue reading
Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020
This book proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It ...
Continue reading
Machine Learning for Cyber Physical Systems
This book presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical ...
Continue reading
