Nantilus
Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) |
| 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:
Theory and Applications of Models of Computation Autre format: Theory and Applications of Models of Computation |
| LEADER | 04105clm a2200721 4500 | ||
|---|---|---|---|
| 001 | PPN169140903 | ||
| 003 | http://www.sudoc.fr/169140903 | ||
| 005 | 20241001155300.0 | ||
| 010 | |a 978-3-642-38236-9 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-38236-9 |2 DOI |
| 035 | |a (OCoLC)847602356 | ||
| 035 | |a Springer978-3-642-38236-9 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-38236-9 | ||
| 035 | |a Springer-11645-978-3-642-38236-9 | ||
| 100 | |a 20130507d2013 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 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 Theory and Applications of Models of Computation |e 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings |f edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. | |
| 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 7876 | |
| 330 | |a This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Models of Computation, TAMC 2013, held in Hong Kong, China, in May 2013. The 31 revised full papers presented were carefully reviewed and selected from 70 submissions. Bringing together a wide range of researchers with interests in computational theory and applications, the papers address the three main themes of the conference which were computability, complexity, and algorithms and present current research in these fields with aspects to theoretical computer science, algorithmic mathematics, and applications to the physical sciences. | ||
| 359 | 1 | |a Computability -- complexity -- algorithms -- present current research. | |
| 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 | |
| 452 | | | |t Theory and Applications of Models of Computation |b Texte imprimé |y 9783642382352 | |
| 452 | | | |t Theory and Applications of Models of Computation |b Texte imprimé |y 9783642382376 | |
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Data Structures, Cryptology and Information Theory | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Theory of Computation | |
| 610 | 2 | |a Mathematics of Computing | |
| 610 | 2 | |a Data Structures and Information Theory. | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Algorithms | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 004.0151 |v 23 | ||
| 680 | |a QA75.5-76.95 | ||
| 700 | 1 | |a Chan |b T-H. Hubert |4 651 | |
| 701 | 1 | |a Lau |b Lap Chi |4 651 | |
| 701 | 1 | |3 PPN236155261 |a Trevisan |b Luca |f 1971-2024 |c informaticien |4 651 | |
| 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-38236-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-38236-9 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-L0SL97ZG-8 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830858695 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-38236-9 | |
| 915 | |5 441099901:830858695 |b SPRING13-00879 | ||
| 930 | |5 441099901:830858695 |b 441099901 |j g | ||
| 991 | |5 441099901:830858695 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:15 | ||
| 997 | |a NUM |b SPRING13-00879 |d NUMpivo |e EM |s d | ||
| 998 | |a 978697 | ||