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.
Вид матеріалу:
Текст Серія: Theoretical Computer Science and General Issues ; 10608Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017Видання: 1st ed. 2017Опис: XIX, 125 p. 25 illus. online resourceТип вмісту: - 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
ЕКнига
Списки з цим бібзаписом:
Springer Ebooks (till 2020 - Open Access)+(2017 Network Access))
|
Springer Ebooks (2017 Network Access))
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.
Available to subscribing member institutions only. Доступно лише організаціям членам підписки.
Online access from local network of NaUOA.
Online access with authorization at https://link.springer.com/
Онлайн-доступ з локальної мережі НаУОА.
Онлайн доступ з авторизацією на https://link.springer.com/
Немає коментарів для цієї одиниці.