Theoretical Computer Science and General Issues Advanced Research in Computing and Software 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

Editors: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (Eds.)

Free Preview

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-319-73117-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 85,28 €
price for Spain (gross)
  • ISBN 978-3-319-73116-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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; and data model engineering.

Table of contents (48 chapters)

Table of contents (48 chapters)
  • Swift Logic for Big Data and Knowledge Graphs

    Pages 3-16

    Bellomarini, Luigi (et al.)

  • On Architecture Specification

    Pages 19-39

    Broy, Manfred

  • The State of the Art in Dynamic Graph Algorithms

    Pages 40-44

    Henzinger, Monika

  • Diversity in UML Modeling Explained: Observations, Classifications and Theorizations

    Pages 47-66

    Chaudron, Michel R. V. (et al.)

  • Self-managing Internet of Things

    Pages 67-84

    Weyns, Danny (et al.)

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-319-73117-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 85,28 €
price for Spain (gross)
  • ISBN 978-3-319-73116-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
SOFSEM 2018: Theory and Practice of Computer Science
Book Subtitle
44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Editors
  • A Min Tjoa
  • Ladjel Bellatreche
  • Stefan Biffl
  • Jan van Leeuwen
  • Jiři Wiedermann
Series Title
Theoretical Computer Science and General Issues
Series Volume
10706
Copyright
2018
Publisher
Edizioni della Normale
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-73117-9
DOI
10.1007/978-3-319-73117-9
Softcover ISBN
978-3-319-73116-2
Edition Number
1
Number of Pages
XV, 698
Number of Illustrations
141 b/w illustrations
Topics