SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings için kapak resmi
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Başlık:
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Yazar:
Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
ISBN:
9783319731179
Edisyon:
1st ed. 2018.
Fiziksel Niteleme:
XV, 698 p. 141 illus. online resource.
Seri:
Theoretical Computer Science and General Issues ; 10706
İçindekiler:
Foundations of computer science -- Software engineering: advances methods, applications, and tools -- Data, information and knowledge engineering -- Network science and parameterized complexity -- Model-based software engineering -- Computational models and complexity -- Software quality assurance and transformation -- Graph structure and computation -- Business processes, protocols, and mobile networks -- Mobile robots and server systems -- Automata, complexity, completeness -- Recognition and generation -- Optimization, probabilistic analysis, and sorting -- Filters, configurations, and picture encoding -- Machine learning -- Text searching algorithms -- Data model engineering.
Özet:
This book constitutes the refereed proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018, held in Krems, Austria, in January/February 2018. The 48 papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sections named: foundations of computer science; software engineering: advances methods, applications, and tools; data, information and knowledge engineering; network science and parameterized complexity; model-based software engineering; computational models and complexity; software quality assurance and transformation; graph structure and computation; business processes, protocols, and mobile networks; mobile robots and server systems; automata, complexity, completeness; recognition and generation; optimization, probabilistic analysis, and sorting; filters, configurations, and picture encoding; machine learning; text searching algorithms; and data model engineering.