Informatik (15 755 Artikel)

This book features a selection of extended papers presented at the 6th IFIP WG 12.6 International Workshop on Artificial Intelligence for Knowledge Management, AI4KM 2018, held in Stockholm, Sweden...

This book features a selection of extended papers presented at the 6th IFIP WG 12.6 International Workshop on Artificial Intelligence for Knowledge Management, AI4KM 2018, held in Stockholm, Sweden...

Probabilistic Extensions of Various Logical Systems

Probabilistic Extensions of Various Logical Systems

A Set Theoretical Viewpoint

A Set Theoretical Viewpoint

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019.

Knowledge Graphs and Big Data Processing

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, ...

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

A solutions-based approach is adopted throughout the book, and explanations are supported by examples written in R. To complement the main content and discussions on stylometric models and techniqu...

This book features original research and recent advances in ICT fields related to sustainable development. Based the International Conference on Networks, Intelligent systems, Computing & Environme...

This book features original research and recent advances in ICT fields related to sustainable development. Based the International Conference on Networks, Intelligent systems, Computing & Environme...

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.