Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings / [electronic resource] : / edited by Mohammad Reza Mousavi, Jiří Sgall.. — 1st ed. 2017.. — XIX, 125 p. 25 illus. : online resource. — (Theoretical Computer Science and General Issues ;) 10608. - Theoretical Computer Science and General Issues ; 10608 .

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Анотація:
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.

ISBN: 9783319689531

Standard No.: 10.1007/978-3-319-68953-1 doi

Subjects--Topical Terms:
Computers.
Algorithms.
Mathematical logic.
Computer logic.
Computer programming.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151