SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science

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

A. Min Tjoa and Others
    • $59.99
    • $59.99

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2018
12 January
LANGUAGE
EN
English
LENGTH
713
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
20.3
MB
SOFSEM 2016: Theory and Practice of Computer Science SOFSEM 2016: Theory and Practice of Computer Science
2016
SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science
2017
Computer Aided Verification Computer Aided Verification
2017
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
2023
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2019
Computer Aided Verification Computer Aided Verification
2015
Big Data Analytics and Knowledge Discovery Big Data Analytics and Knowledge Discovery
2024
Database and Expert Systems Applications Database and Expert Systems Applications
2024
Database and Expert Systems Applications Database and Expert Systems Applications
2024
Electronic Government and the Information Systems Perspective Electronic Government and the Information Systems Perspective
2024
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVI Transactions on Large-Scale Data- and Knowledge-Centered Systems LVI
2024
Transactions on Large-Scale Data- and Knowledge-Centered Systems LV Transactions on Large-Scale Data- and Knowledge-Centered Systems LV
2023