|
|
|
|
LEADER |
01577nmm a2200313 u 4500 |
001 |
EB000404836 |
003 |
EBX01000000000000000257908 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
130802 ||| eng |
020 |
|
|
|a 9783642401640
|
100 |
1 |
|
|a Gąsieniec, Leszek
|e [editor]
|
245 |
0 |
0 |
|a Fundamentals of Computation Theory
|h Elektronische Ressource
|b 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
|c edited by Leszek Gąsieniec, Frank Wolter
|
250 |
|
|
|a 1st ed. 2013
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2013, 2013
|
300 |
|
|
|a XII, 318 p. 45 illus
|b online resource
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Computer science / Mathematics
|
653 |
|
|
|a Discrete Mathematics in Computer Science
|
653 |
|
|
|a Discrete mathematics
|
653 |
|
|
|a Theory of Computation
|
700 |
1 |
|
|a Wolter, Frank
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Theoretical Computer Science and General Issues
|
028 |
5 |
0 |
|a 10.1007/978-3-642-40164-0
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-40164-0?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 004.0151
|
520 |
|
|
|a This book constitutes the refereed proceedings of the 19th International Symposium on Fundamentals of Computation Theory, FCT 2013, held in Liverpool, UK, in August 2013. The 29 papers (26 full papers and 3 invited papers) were carefully reviewed and selected from 58 submissions. The papers cover the following topics: algorithms, formal methods, and emerging fields
|