Skip to main content
Book cover

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

  • Conference proceedings
  • © 2018

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10706)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: SOFSEM 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (48 papers)

  1. Keynote Talk

  2. Foundations of Computer Science

  3. Software Engineering: Advanced Methods, Applications, and Tools

  4. Data, Information and Knowledge Engineering

  5. Network Science and Parameterized Complexity

  6. Model-Based Software Engineering

Other volumes

  1. SOFSEM 2018: Theory and Practice of Computer Science

Keywords

About this book

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.

Editors and Affiliations

  • Vienna University of Technology , Vienna, Austria

    A Min Tjoa

  • ISAE-ENSMA, Chasseneuil-du-Poitou, France

    Ladjel Bellatreche

  • Vienna University of Technology, Vienna, Austria

    Stefan Biffl

  • Utrecht University, Utrecht, The Netherlands

    Jan van Leeuwen

  • Academy of Sciences, Prague, Czech Republic

    Jiří Wiedermann

Bibliographic Information

Publish with us