Nantilus
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%....
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Collectivité auteur : | |
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | The nature of computation : logic, algorithms, applications : proceedings / 9th Conference on computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013; Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.) |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 7921 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | 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 |
| Sujets : | |
| Documents associés : | Autre format:
The Nature of Computation: Logic, Algorithms, Applications Autre format: The Nature of Computation: Logic, Algorithms, Applications |
| LEADER | 04521clm a2200805 4500 | ||
|---|---|---|---|
| 001 | PPN170493032 | ||
| 003 | http://www.sudoc.fr/170493032 | ||
| 005 | 20241001155300.0 | ||
| 010 | |a 978-3-642-39053-1 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-39053-1 |2 DOI |
| 035 | |a (OCoLC)963160563 | ||
| 035 | |a Springer978-3-642-39053-1 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-39053-1 | ||
| 035 | |a Springer-11645-978-3-642-39053-1 | ||
| 100 | |a 20130704d2013 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a a a 101yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a The nature of computation |e logic, algorithms, applications |e proceedings |f 9th Conference on computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 |g Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.) | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d 2013 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7921 | |
| 330 | |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. | ||
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7921 | |
| 452 | | | |t The Nature of Computation: Logic, Algorithms, Applications |b Texte imprimé |y 9783642390548 | |
| 452 | | | |t The Nature of Computation: Logic, Algorithms, Applications |b Texte imprimé |y 9783642390524 | |
| 606 | |3 PPN031498949 |a Informatique |x Mathématiques |2 rameau | ||
| 606 | |3 PPN028716248 |a Structure logique |2 rameau | ||
| 606 | |3 PPN027551261 |a Complexité de calcul (informatique) |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027844536 |a Fonctions calculables |2 rameau | ||
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Math Applications in Computer Science | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Discrete Mathematics in Computer Science | |
| 610 | 2 | |a Mathematical Logic and Foundations | |
| 610 | 1 | |a Theory of Computation | |
| 610 | 2 | |a Mathematical Applications in Computer Science | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Algorithms | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 004.015 1 |v 23 | ||
| 680 | |a QA75.5-76.95 | ||
| 701 | 1 | |a Bonizzoni |b Paola |4 651 | |
| 701 | 1 | |a Brattka |b Vasco |4 651 | |
| 701 | 1 | |a Löwe |b Benedikt |4 651 | |
| 710 | 1 | 2 | |3 PPN188548319 |a Conference on computability in Europe |d 09 |f 2013 |e Milan, Italie |4 070 |
| 801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 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 441099901:830859624 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-39053-1 | |
| 915 | |5 441099901:830859624 |b SPRING13-00960 | ||
| 930 | |5 441099901:830859624 |b 441099901 |j g | ||
| 991 | |5 441099901:830859624 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:15 | ||
| 997 | |a NUM |b SPRING13-00960 |d NUMpivo |e EM |s d | ||
| 998 | |a 978787 | ||