Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings / / edited by Leszek Gąsieniec, Frank Wolter
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings / / edited by Leszek Gąsieniec, Frank Wolter
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Edizione: | 1st ed. 2013. |
| Descrizione fisica: | 1 online resource (XII, 318 p. 45 illus.) |
| Disciplina: | 004 |
| Soggetto topico: | Computer science |
| Computer science—Mathematics | |
| Discrete mathematics | |
| Theory of Computation | |
| Discrete Mathematics in Computer Science | |
| Persona (resp. second.): | GąsieniecLeszek |
| WolterFrank | |
| Note generali: | International conference proceedings. |
| Includes index. | |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Fundamentals of Computation Theory |
| ISBN: | 3-642-40164-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483727603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 8070