Informatik (15.821 Artikel)

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.  contains intuitive introductory...

This three volume book set constitutes the proceedings of the Third International Conference on Machine Learning for Cyber Security, ML4CS 2020, held in Xi'an, China in October 2020.

This book constitutes the revised selected papers of the 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023

overy, geometric search, and computing models.

Today, reliable software systems are the basis of any business or company. The continuous further development of those systems is the central component in software evolution. It requires a huge amo...

19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

The 47 full papers and 24 short papers included in this book were carefully reviewed and selected from 245 submissions. These articles cater to the most contemporary and happening topics in the fie...

12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part I

12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II

Natural Language Understanding in Conversational AI with Deep Learning

This volume provides a comprehensive introduction to the Translation Process Research Database (TPR-DB), which was compiled by the Centre for Research and Innovation in Translation and Technologies...

JSAI-isAI 2023 International Workshops, JURISIN, SCIDOCA, EmSemi and AI-Biz, Kumamoto, Japan, June 4-6, 2023, Revised Selected Papers

This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers pre...

14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

11th International Conference, PQCrypto 2020, Paris, France, April 15-17, 2020, Proceedings