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

AvA Min Tjoa,Ladjel Bellatreche

Häftad, Engelska, 2018

Del 10706 i serien Lecture Notes in Computer Science

566 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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; anddata model engineering.

Produktinformation

Utgivningsdatum:2018-01-10
Mått:155 x 235 x 39 mm
Vikt:1 066 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:698
Förlag:Springer International Publishing AG
ISBN:9783319731162

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.