Theoretical Aspects of Computing ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Liu, Zhiming (Directeur de la publication)
Autres auteurs: Woodcock, Jim (Directeur de la publication), Zhu, Huibiao (Directeur de la publication)
Format: Livre numérique
Langue:Anglais
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg 2013.
Cham : Springer Nature
Collection:Theoretical Computer Science and General Issues 8049
Accès en ligne: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
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Theoretical Aspects of Computing ICTAC 2013, 9783642397172
• Theoretical Aspects of Computing -- ICTAC 2013, 9783642397196
Description
Résumé:This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Description:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9783642397189
ISSN:2512-2029
Accès:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
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