Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
-
- $39.99
-
- $39.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
Computers & Internet
RELEASED
2017
October 12
LANGUAGE
EN
English
LENGTH
144
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
3.5
MB
SOFSEM 2017: Theory and Practice of Computer Science
2017
Theoretical Aspects of Computing – ICTAC 2016
2016
Reachability Problems
2016
Verification, Model Checking, and Abstract Interpretation
2015
Unconventional Computation and Natural Computation
2018
Mathematical Foundations of Computer Science 2015
2015
Rebeca for Actor Analysis in Action
2025
Formal Techniques for Distributed Objects, Components, and Systems
2022
Formal Methods: Foundations and Applications
2018
Cyber Physical Systems. Design, Modeling, and Evaluation
2017
Topics in Theoretical Computer Science
2016
Cyber Physical Systems. Design, Modeling, and Evaluation
2015