Image from Amazon.com
Topics in Theoretical Computer Science [electronic resource] : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings / edited by Mohammad Reza Mousavi, Jiří Sgall.
Material type:
TextSeries: Theoretical Computer Science and General Issues ; 10608 | Lecture Notes in Computer Science ; 10608Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: XIX, 125 p. 25 illus. online resourceContent type: - text
- computer
- online resource
- 9783319689531
- 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
- 004.0151 23
- QA75.5-76.95
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK14691 |
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.
There are no comments on this title.
Log in to your account to post a comment.