Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, proceedings /
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 o...
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Cham, Switzerland : |
Publication Dates: | [2017] |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science,
10608 LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Subjects: | |
Summary: |
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. |
Item Description: | International conference proceedings. |
Carrier Form: | xvi, 124 pages : illustrations ; 24 cm. |
Bibliography: | Includes bibliographical references and author index. |
ISBN: |
9783319689524 3319689525 9783319689531 3319689533 |
Index Number: | QA75 |
CLC: | TP3-532 |
Call Number: | TP3-532/I615-6/2017 |