Electronic Books

Total Books: 121 - 140 /249

Image Analysis and Recognition

This two-volume set LNCS 12131 and LNCS 12132 constitutes the refereed proceedings of the 17th International Conference on ...

Information Security and Privacy

This book constitutes the refereed proceedings of the 25th Australasian Conference on Information Security and Privacy, ACISP ...

Information Systems Security

This book constitutes the proceedings of the 16th International Conference on Information Systems Security, ICISS 2020, held ...

Information Systems Security and Privacy

This book constitutes the revised selected papers of the 5th International Conference on Information Systems Security and ...

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 ...

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 ...

Intelligent Computer Mathematics

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...

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 ...

Intelligent Computing Theories and Application

The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights ...

Introduction to Reconfigurable Computing : Architectures, Algorithms, and Applications

“Introduction to Reconfigurable Computing” provides a comprehensive study of the field Reconfigurable Computing. It provides ...

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, ...

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 ...

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, ...

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, ...

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 ...

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 ...

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 ...

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 ...

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 ...

Machine Learning for Cyber Physical Systems

This book presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical ...

Total Books: 121 - 140 /249