|
|
|
|
| LEADER |
02170nam a22004935i 4500 |
| 001 |
978-3-642-40164-0 |
| 003 |
DE-He213 |
| 005 |
20151031001144.0 |
| 007 |
cr nn 008mamaa |
| 008 |
130722s2013 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783642401640
|9 978-3-642-40164-0
|
| 024 |
7 |
|
|a 10.1007/978-3-642-40164-0
|2 doi
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA75.5-76.95
|
| 072 |
|
7 |
|a UY
|2 bicssc
|
| 072 |
|
7 |
|a UYA
|2 bicssc
|
| 072 |
|
7 |
|a COM014000
|2 bisacsh
|
| 072 |
|
7 |
|a COM031000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 004.0151
|2 23
|
| 245 |
1 |
0 |
|a Fundamentals of Computation Theory
|h [electronic resource] :
|b 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
|c edited by Leszek Gąsieniec, Frank Wolter.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2013.
|
| 300 |
|
|
|a XII, 318 p. 45 illus.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 8070
|
| 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.
|
| 650 |
|
0 |
|a Computer science.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Computer science
|x Mathematics.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Theory of Computation.
|
| 650 |
2 |
4 |
|a Discrete Mathematics in Computer Science.
|
| 700 |
1 |
|
|a Gąsieniec, Leszek.
|e editor.
|
| 700 |
1 |
|
|a Wolter, Frank.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642401633
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 8070
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-40164-0
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
