LEADER 03385nam  22007935  450 
001 9910484820603321
005 20230329142322.0
010   $a3-319-22177-9
024 7 $a10.1007/978-3-319-22177-9
035   $a(CKB)3890000000001333
035   $a(SSID)ssj0001558524
035   $a(PQKBManifestationID)16184127
035   $a(PQKBTitleCode)TC0001558524
035   $a(PQKBWorkID)14819615
035   $a(PQKB)10329119
035   $a(DE-He213)978-3-319-22177-9
035   $a(MiAaPQ)EBC6296583
035   $a(MiAaPQ)EBC5586668
035   $a(Au-PeEL)EBL5586668
035   $a(OCoLC)918562202
035   $a(PPN)188460306
035   $a(EXLCZ)993890000000001333
100   $a20150803d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFundamentals of Computation Theory $e20th International Symposium, FCT 2015, Gda?sk, Poland, August 17-19, 2015, Proceedings /$fedited by Adrian Kosowski, Igor Walukiewicz
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIX, 395 p. 61 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9210
300   $aIncludes Index.
311   $a3-319-22176-0 
330   $aThis book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gda?sk, Poland, in August 2015. The 27 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms; complexity and Boolean functions; languages; set algorithms, covering, and traversal; graph algorithms and networking applications; anonymity and indistinguishability; graphs, automata, and dynamics; and logic and games.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9210
606   $aAlgorithms
606   $aComputer networks
606   $aComputer science
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputer Communication Networks
606   $aComputer Science Logic and Foundations of Programming
606   $aDiscrete Mathematics in Computer Science
606   $aSoftware Engineering
615  0$aAlgorithms.
615  0$aComputer networks.
615  0$aComputer science.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aSoftware engineering.
615 14$aAlgorithms.
615 24$aComputer Communication Networks.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSoftware Engineering.
676   $a004
702   $aKosowski$b Adrian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWalukiewicz$b Igor$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484820603321
996   $aFundamentals of Computation Theory$92557870
997   $aUNINA