Normal view MARC view ISBD view

Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun.

Contributor(s): Klasing, Ralf [editor.] | Zeitoun, Marc [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 10472Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Edition: 1st ed. 2017.Description: XXI, 432 p. 33 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783662557518.Subject(s): Computer science | Algorithms | Computer networks  | Computer science -- Mathematics | Discrete mathematics | Software engineering | Computer Science Logic and Foundations of Programming | Algorithms | Computer Communication Networks | Theory of Computation | Discrete Mathematics in Computer Science | Software EngineeringAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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 for this item.

Log in to your account to post a comment.