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.
• Φυσική περιγραφή: XV, 698 p. 141 illus. online resource.
• ISBN: 9783319731179
• DOI: 10.1007/978-3-319-73117-9

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