Central Library

Normal view MARC view ISBD view

SOFSEM 2018: Theory and Practice of Computer Science [electronic resource] : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / edited by A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann.

Contributor(s): Tjoa, A Min [editor.] | Bellatreche, Ladjel [editor.] | Biffl, Stefan [editor.] | van Leeuwen, Jan [editor.] | Wiedermann, Jiří [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 10706Publisher: Cham : Springer International Publishing : Imprint: Edizioni della Normale, 2018Edition: 1st ed. 2018.Description: XV, 698 p. 141 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319731179.Subject(s): Algorithms | Application software | Software engineering | Artificial intelligence | Compilers (Computer programs) | Algorithms | Computer and Information Systems Applications | Software Engineering | Artificial Intelligence | Compilers and InterpretersAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 518.1 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.