aller au contenu
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings

Auteur : Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
Éditeur : Berlin ; New York : Springer, ©2013.
Collection : Lecture notes in computer science, 7876.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Édition/format :   Livre électronique : Document : Conference publication : EnglishVoir toutes les éditions et tous les formats
Base de données :WorldCat
Résumé :
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  Lire la suite...
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Genre/forme : Electronic books
Conference papers and proceedings
Congresses
Format – détails additionnels : Printed edition:
Type d’ouvrage : Conference publication, Document, Ressource Internet
Format : Internet Resource, Computer File
Tous les auteurs / collaborateurs : Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
ISBN : 9783642382369 3642382363
Numéro OCLC : 841246508
Description : 1 online resource (xv, 356 pages) : illustrations.
Contenu : Computability --
complexity --
algorithms --
present current research.
Titre de collection : Lecture notes in computer science, 7876.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Autres titres : TAMC 2013
Responsabilité : T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).

Résumé :

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.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Étiquettes

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


Primary Entity

<http://www.worldcat.org/oclc/841246508> # Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "841246508" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1371230758#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/871991> ; # Turing machines
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/information_theory> ; # Information theory.
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/mathematics_of_computing> ; # Mathematics of Computing.
   schema:about <http://id.loc.gov/authorities/subjects/sh85138778> ; # Turing machines
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
   schema:about <http://dewey.info/class/004.0151/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/theory_of_computation> ; # Theory of Computation.
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/data_structures_cryptology_and_information_theory> ; # Data Structures, Cryptology and Information Theory.
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/computer_software> ; # Computer software.
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity.
   schema:about <http://id.worldcat.org/fast/1159283> ; # Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/data_structures_computer_science> ; # Data structures (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/logic_design> ; # Logic design.
   schema:about <http://id.worldcat.org/fast/872460> ; # Software
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Thing/computer_science> ; # Computer science.
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/computational_complexity> ; # Computational complexity
   schema:alternateName "TAMC 2013" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1371230758#Person/trevisan_luca> ; # Luca Trevisan
   schema:contributor <http://viaf.org/viaf/167520399> ; # Lap Chi Lau
   schema:contributor <http://viaf.org/viaf/304170424> ; # Hubert T-H Chan
   schema:copyrightYear "2013" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_conference_10th_2013_hong_kong_china> ; # TAMC (Conference) (10th : 2013 : Hong Kong, China)
   schema:datePublished "2013" ;
   schema:description "Computability -- complexity -- algorithms -- present current research." ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1371230758> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Congresses"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1371230758#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1371230758#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1371230758#CreativeWork/> ;
   schema:name "Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings"@en ;
   schema:productID "841246508" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/841246508#PublicationEvent/berlin_new_york_springer_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1371230758#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-642-38236-9> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3093076> ;
   schema:workExample <http://worldcat.org/isbn/9783642382369> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-38236-9> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/841246508> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Meeting/tamc_conference_10th_2013_hong_kong_china> # TAMC (Conference) (10th : 2013 : Hong Kong, China)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1371230758#Place/hong_kong_china> ; # Hong Kong, China)
   schema:name "TAMC (Conference) (10th : 2013 : Hong Kong, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Person/trevisan_luca> # Luca Trevisan
    a schema:Person ;
   schema:familyName "Trevisan" ;
   schema:givenName "Luca" ;
   schema:name "Luca Trevisan" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Place/hong_kong_china> # Hong Kong, China)
    a schema:Place ;
   schema:name "Hong Kong, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/841246508> ; # Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/841246508> ; # Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity.
    a schema:Thing ;
   schema:name "Algorithm Analysis and Problem Complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/computer_science> # Computer science.
    a schema:Thing ;
   schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/computer_software> # Computer software.
    a schema:Thing ;
   schema:name "Computer software." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/data_structures_computer_science> # Data structures (Computer science)
    a schema:Thing ;
   schema:name "Data structures (Computer science)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/data_structures_cryptology_and_information_theory> # Data Structures, Cryptology and Information Theory.
    a schema:Thing ;
   schema:name "Data Structures, Cryptology and Information Theory." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/information_theory> # Information theory.
    a schema:Thing ;
   schema:name "Information theory." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
   schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
   schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/mathematics_of_computing> # Mathematics of Computing.
    a schema:Thing ;
   schema:name "Mathematics of Computing." ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Thing/theory_of_computation> # Theory of Computation.
    a schema:Thing ;
   schema:name "Theory of Computation." ;
    .

<http://id.loc.gov/authorities/subjects/sh85138778> # Turing machines
    a schema:Intangible ;
   schema:name "Turing machines"@en ;
    .

<http://id.worldcat.org/fast/1159283> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics"@en ;
    .

<http://id.worldcat.org/fast/871991> # Turing machines
    a schema:Intangible ;
   schema:name "Turing machines"@en ;
    .

<http://id.worldcat.org/fast/872460> # Software
    a schema:Intangible ;
   schema:name "Software"@en ;
    .

<http://viaf.org/viaf/167520399> # Lap Chi Lau
    a schema:Person ;
   schema:familyName "Lau" ;
   schema:givenName "Lap Chi" ;
   schema:name "Lap Chi Lau" ;
    .

<http://viaf.org/viaf/304170424> # Hubert T-H Chan
    a schema:Person ;
   schema:familyName "Chan" ;
   schema:givenName "Hubert T-H" ;
   schema:name "Hubert T-H Chan" ;
    .

<http://worldcat.org/entity/work/data/1371230758#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/841246508> ; # Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
    .

<http://worldcat.org/isbn/9783642382369>
    a schema:ProductModel ;
   schema:isbn "3642382363" ;
   schema:isbn "9783642382369" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/841246508> ; # Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
   schema:issn "1611-3349" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/841246508>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/841246508> ; # Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings
   schema:dateModified "2017-01-18" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Dont have an account? You can easily créez un compte gratuit.