Screen LibraryTopics 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 |