LEADER 03177nam 22007695 450 001 9910483466503321 005 20230329215441.0 010 $a3-662-55751-7 024 7 $a10.1007/978-3-662-55751-8 035 $a(CKB)3710000001631298 035 $a(DE-He213)978-3-662-55751-8 035 $a(MiAaPQ)EBC6295173 035 $a(MiAaPQ)EBC5577669 035 $a(Au-PeEL)EBL5577669 035 $a(OCoLC)1002417711 035 $a(PPN)203850475 035 $a(EXLCZ)993710000001631298 100 $a20170815d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of Computation Theory $e21st International Symposium, FCT 2017, Bordeaux, France, September 11?13, 2017, Proceedings /$fedited by Ralf Klasing, Marc Zeitoun 205 $a1st ed. 2017. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2017. 215 $a1 online resource (XXI, 432 p. 33 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10472 300 $aIncludes index. 311 $a3-662-55750-9 327 $aTheoretical computer science -- Algorithms -- Complexity -- Formal and logical methods. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10472 606 $aComputer science 606 $aAlgorithms 606 $aComputer networks 606 $aComputer science?Mathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aAlgorithms 606 $aComputer Communication Networks 606 $aTheory of Computation 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aComputer networks. 615 0$aComputer science?Mathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aAlgorithms. 615 24$aComputer Communication Networks. 615 24$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 676 $a511.352 702 $aKlasing$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZeitoun$b Marc$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483466503321 996 $aFundamentals of Computation Theory$92557870 997 $aUNINA