Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun.
Material type:
TextSeries: Theoretical Computer Science and General Issues ; 10472 | Lecture Notes in Computer Science ; 10472Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Edition: 1st ed. 2017Description: XXI, 432 p. 33 illus. online resourceContent type: - 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
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK15652 |
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.
There are no comments on this title.