Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / [electronic resource] : / edited by Ralf Klasing, Marc Zeitoun.. — 1st ed. 2017.. — XXI, 432 p. 33 illus. : online resource. — (Theoretical Computer Science and General Issues ;) 10472. - Theoretical Computer Science and General Issues ; 10472 .

Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Анотація:
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.

ISBN: 9783662557518

Standard No.: 10.1007/978-3-662-55751-8 doi

Subjects--Topical Terms:
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.

LC Class. No.: QA76.9.L63 QA76.5913

Dewey Class. No.: 005.1015113