Reset Filters
CLC: O - 数理科学和化学

Cover is for reference only

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...

Full description

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink Online service
Group Author: Mousavi, Mohammad Reza; Sgall, Ji
Published: Springer International Publishing : Imprint: Springer,
Publisher Address: Cham :
Publication Dates: 2017.
Literature type: eBook
Language: English
Series: Lecture Notes in Computer Science, 10608
Subjects:
Computer science
Computer programming
Programming languages Electronic computers
Computers
Algorithms
Computer logic
Mathematical logic
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
Online Access: http://dx.doi.org/10.1007/978-3-319-68953-1
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.
Carrier Form: 1 online resource (XVII, 125 pages): illustrations.
ISBN: 9783319689531
Index Number: QA75
CLC: TP3-05

Related Book Recommendations