SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science

SOFSEM 2017: Theory and Practice of Computer Science

43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Bernhard Steffen et autres
    • 42,99 €
    • 42,99 €

Description de l’éditeur

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.
The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.

GENRE
Informatique et Internet
SORTIE
2017
9 janvier
LANGUE
EN
Anglais
LONGUEUR
544
Pages
ÉDITIONS
Springer International Publishing
TAILLE
13,6
Mo

Plus de livres similaires

SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science
SOFSEM 2018: Theory and Practice of Computer Science
2018
SOFSEM 2016: Theory and Practice of Computer Science SOFSEM 2016: Theory and Practice of Computer Science
SOFSEM 2016: Theory and Practice of Computer Science
2016
Theory and Applications of Models of Computation Theory and Applications of Models of Computation
Theory and Applications of Models of Computation
2019
Algorithmic Aspects in Information and Management Algorithmic Aspects in Information and Management
Algorithmic Aspects in Information and Management
2018
Computing and Combinatorics Computing and Combinatorics
Computing and Combinatorics
2016
Topics in Theoretical Computer Science Topics in Theoretical Computer Science
Topics in Theoretical Computer Science
2017

Plus de livres par Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey & Tiziana Margaria

Bridging the Gap Between AI and Reality Bridging the Gap Between AI and Reality
Bridging the Gap Between AI and Reality
2023
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022
Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Practice
2022
Model Checking, Synthesis, and Learning Model Checking, Synthesis, and Learning
Model Checking, Synthesis, and Learning
2021