Topics in Theoretical Computer Science Topics in Theoretical Computer Science

Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    • $59.99
    • $59.99

Publisher Description

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.
The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory.

GENRE
Computing & Internet
RELEASED
2017
12 October
LANGUAGE
EN
English
LENGTH
144
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
3.5
MB

More Books Like This

SOFSEM 2017: Theory and Practice of Computer Science SOFSEM 2017: Theory and Practice of Computer Science
2017
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
2016
Reachability Problems Reachability Problems
2016
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
2015
Unconventional Computation and Natural Computation Unconventional Computation and Natural Computation
2018
SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science
2018

More Books by Mohammad Reza Mousavi & Jiří Sgall

Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2022
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
2018
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Topics in Theoretical Computer Science Topics in Theoretical Computer Science
2016
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
2015