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
    • $39.99
    • $39.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
Computers & Internet
RELEASED
2018
January 12
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
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIX Transactions on Large-Scale Data- and Knowledge-Centered Systems LIX
2025
Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII Transactions on Large-Scale Data- and Knowledge-Centered Systems LVIII
2025
Database and Expert Systems Applications Database and Expert Systems Applications
2025
Database and Expert Systems Applications Database and Expert Systems Applications
2025
Electronic Government and the Information Systems Perspective Electronic Government and the Information Systems Perspective
2025
Big Data Analytics and Knowledge Discovery Big Data Analytics and Knowledge Discovery
2025