Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun.
Вид матеріалу:
Текст Серія: Theoretical Computer Science and General Issues ; 10472Публікація: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Видання: 1st ed. 2017Опис: XXI, 432 p. 33 illus. online resourceТип вмісту: - text
- computer
- online resource
- 9783662557518
- Computer logic
- Algorithms
- Computer communication systems
- Computers
- Computer science—Mathematics
- Software engineering
- Logics and Meanings of Programs
- Algorithm Analysis and Problem Complexity
- Computer Communication Networks
- Computation by Abstract Devices
- Discrete Mathematics in Computer Science
- Software Engineering
- 005.1015113 23
- QA76.9.L63
- QA76.5913
ЕКнига
Списки з цим бібзаписом:
Springer Ebooks (till 2020 - Open Access)+(2017 Network Access))
|
Springer Ebooks (2017 Network Access))
Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
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/
Немає коментарів для цієї одиниці.