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 et autres
    • 42,99 €
    • 42,99 €

Description de l’éditeur

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
Informatique et Internet
SORTIE
2018
12 janvier
LANGUE
EN
Anglais
LONGUEUR
713
Pages
ÉDITIONS
Springer International Publishing
TAILLE
20,3
Mo

Plus de livres similaires

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

Plus de livres par A. Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen & Jiří Wiedermann

Transactions on Large-Scale Data- and Knowledge-Centered Systems LV Transactions on Large-Scale Data- and Knowledge-Centered Systems LV
2023
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV
2023
Machine Learning and Knowledge Extraction Machine Learning and Knowledge Extraction
2023
Database and Expert Systems Applications - DEXA 2023 Workshops Database and Expert Systems Applications - DEXA 2023 Workshops
2023
Database and Expert Systems Applications Database and Expert Systems Applications
2023
Database and Expert Systems Applications Database and Expert Systems Applications
2023