Electronic Books

Total Books: 121 - 140 /224
Intelligent Computing Theories and Application

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

Lire la suite
Introduction to Reconfigurable Computing : Architectures, Algorithms, and Applications

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

Lire la suite
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, ...

Lire la suite
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, ...

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Machine Learning for Cyber Physical Systems

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

Lire la suite
Machine Learning for Cyber Security

This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...

Lire la suite
Machine Learning for Cyber Security

This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...

Lire la suite
Machine Learning for Cyber Security

This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber ...

Lire la suite
NoIMG
Machine Learning, Image Processing, Network Security and Data Sciences

This two-volume set (CCIS 1240-1241) constitutes the refereed proceedings of the Second International Conference on Machine ...

Lire la suite
Machine Learning, Image Processing, Network Security and Data Sciences

This two-volume set (CCIS 1240-1241) constitutes the refereed proceedings of the Second International Conference on Machine ...

Lire la suite
Making Grids Work : Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece

Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems ...

Lire la suite
Methods and Tools for Collaborative Networked Organizations

The main aim of this book is to provide a comprehensive set of reference materials derived from the results of the ECOLEAD ...

Lire la suite
Microcontroller & Embedded System / Er. Geetanjali Chellani

The Classical Period: Nineteenth Century Sociology Auguste Comte (1798-1857) on Women in Positivist Society Harriett Martineau ...

Lire la suite
Mobile Computing, Applications, and Services

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile ...

Lire la suite
Total Books: 121 - 140 /224