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

Mohammad Reza Mousavi & Jiří Sgall
    • USD 39.99
    • USD 39.99

Descripción editorial

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.

GÉNERO
Informática e Internet
PUBLICADO
2017
12 de octubre
IDIOMA
EN
Inglés
EXTENSIÓN
144
Páginas
EDITORIAL
Springer International Publishing
VENDEDOR
Springer Nature B.V.
TAMAÑO
3.5
MB

Más libros de Mohammad Reza Mousavi & Jiří Sgall

Formal Techniques for Distributed Objects, Components, and Systems 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
Formal Methods: Foundations and Applications
2018
Cyber Physical Systems. Design, Modeling, and Evaluation 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
Topics in Theoretical Computer Science
2016
Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation
Cyber Physical Systems. Design, Modeling, and Evaluation
2015