The nature of computation : logic, algorithms, applications : proceedings
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%....
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Edice: | Theoretical Computer Science and General Issues
7921 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Nature of Computation: Logic, Algorithms, Applications, Texte imprimé, 9783642390548 • The Nature of Computation: Logic, Algorithms, Applications, Texte imprimé, 9783642390524 |
| LEADER | 03223nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 946716 | ||
| 008 | 130704s2013 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN170493032 | ||
| 020 | |a 9783642390531 | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.015 1 | ||
| 111 | 2 | |a Conference on computability in Europe |n (09 |d :2013 |c :Milan, Italie). | |
| 245 | 1 | 0 | |a The nature of computation : |b logic, algorithms, applications : proceedings |c 9th Conference on computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 ; Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.). |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c 2013. | ||
| 490 | 0 | |a Theoretical Computer Science and General Issues |v 7921 |x 2512-2029 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique |x Mathématiques | ||
| 650 | |a Structure logique | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Fonctions calculables | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Bonizzoni, Paola. |4 pbd | |
| 700 | 1 | |a Brattka, Vasco. |4 pbd | |
| 700 | 1 | |a Löwe, Benedikt. |4 pbd | |
| 776 | 0 | |t The Nature of Computation: Logic, Algorithms, Applications |b Texte imprimé |z 9783642390548 | |
| 776 | 0 | |t The Nature of Computation: Logic, Algorithms, Applications |b Texte imprimé |z 9783642390524 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-39053-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-39053-1 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-S5J20RXK-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747820546 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-39053-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750837217 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-39053-1 |z Accès INSA CVL | |
| 997 | |0 946716 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||