Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
-
- US$39.99
-
- US$39.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2017년
10월 12일
언어
EN
영어
길이
144
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
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년