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
    • $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

More Books Like This

Automata, Languages and Programming Automata, Languages and Programming
Automata, Languages and Programming
2010
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2010
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
Theoretical Aspects of Computing – ICTAC 2010
2010
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Applications and Theory of Petri Nets Applications and Theory of Petri Nets
Applications and Theory of Petri Nets
2010

More Books by Mohammad Reza Mousavi & Jiří Sgall

Rebeca for Actor Analysis in Action Rebeca for Actor Analysis in Action
Rebeca for Actor Analysis in Action
2025
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