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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Tjoa, A Min (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bellatreche, Ladjel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Biffl, Stefan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), van Leeuwen, Jan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wiedermann, Jiří (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Edizioni della Normale, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Theoretical Computer Science and General Issues ; 10706
• Θέματα: Algorithms.; Application software.; Software engineering.; Artificial intelligence.; Programming languages (Electronic computers).; Algorithm Analysis and Problem Complexity.; Information Systems Applications (incl. Internet).; Software Engineering.; Artificial Intelligence.; Programming Languages, Compilers, Interpreters.

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 submiss...

Πίνακας περιεχομένων:

• 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.