Cover image for 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
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
Title:
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
Author:
Tjoa, A Min. editor.
ISBN:
9783319731179
Physical Description:
XV, 698 p. 141 illus. online resource.
Series:
Theoretical Computer Science and General Issues ; 10706
Contents:
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.
Abstract:
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.
Added Corporate Author:
Holds: Copies: