The Nature of Computation: Logic, Algorithms, Applications [[electronic resource] ] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
The Nature of Computation: Logic, Algorithms, Applications [[electronic resource] ] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Edizione: | 1st ed. 2013. |
| Descrizione fisica: | 1 online resource (XVIII, 446 p. 42 illus.) : digital |
| Disciplina: | 511.352 |
| Soggetto topico: | Computer science |
| Algorithms | |
| Computer science—Mathematics | |
| Discrete mathematics | |
| Mathematical logic | |
| Theory of Computation | |
| Discrete Mathematics in Computer Science | |
| Mathematical Applications in Computer Science | |
| Computer Science Logic and Foundations of Programming | |
| Mathematical Logic and Foundations | |
| Classificazione: | DAT 517f |
| SS 4800 | |
| Persona (resp. second.): | BonizzoniPaola |
| BrattkaVasco | |
| LöweBenedikt | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing. |
| Titolo autorizzato: | The Nature of Computation: Logic, Algorithms, Applications |
| ISBN: | 3-642-39053-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465373503316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 7921