Electronic Books

Total Books: 121 - 140 /224
978-3-030-84522-3
Intelligent Computing Theories and Application

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

Continue reading
978-1-4020-6100-4
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
978-3-7643-8543-9
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
978-1-84800-372-9
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
978-3-030-49559-6
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
978-3-030-61467-6
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
978-3-030-61470-6
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
978-3-030-61362-4
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
978-3-030-64912-8
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
978-3-662-62746-4
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
978-3-662-58485-9
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
978-3-030-62223-7
Machine Learning for Cyber Security

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

Continue reading
978-3-030-62460-6
Machine Learning for Cyber Security

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

Continue reading
978-3-030-62463-7
Machine Learning for Cyber Security

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

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

Continue reading
978-981-15-6318-8
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 ...

Continue reading
978-0-387-78448-9
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 ...

Continue reading
978-0-387-79424-2
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 ...

Continue reading
9781292026572
Microcontroller & Embedded System / Er. Geetanjali Chellani

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

Continue reading
978-3-030-64214-3
Mobile Computing, Applications, and Services

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

Continue reading
Total Books: 121 - 140 /224