跳到内容
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings 预览资料
关闭预览资料
正在查...

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

著者: Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
出版商: Berlin ; New York : Springer, ©2013.
丛书: Lecture notes in computer science, 7876.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
版本/格式:   电子图书 : 文献 : 会议刊物 : 英语查看所有的版本和格式
数据库:WorldCat
提要:
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  再读一些...
评估:

(尚未评估) 0 附有评论 - 争取成为第一个。

主题
更多类似这样的

 

在线查找

与资料的链接

在图书馆查找

&AllPage.SpinnerRetrieving; 正在查找有这资料的图书馆...

详细书目

类型/形式: Congresses
Electronic books
Conference papers and proceedings
附加的形体格式: Printed edition:
材料类型: 会议刊物, 文献, 互联网资源
文件类型: 互联网资源, 计算机文档
所有的著者/提供者: Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
ISBN: 9783642382369 3642382363
OCLC号码: 841246508
描述: 1 online resource (xv, 356 pages) : illustrations.
内容: Computability --
complexity --
algorithms --
present current research.
丛书名: Lecture notes in computer science, 7876.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
其他题名: TAMC 2013
责任: T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).

摘要:

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.

评论

用户提供的评论
正在获取GoodReads评论...
正在检索DOGObooks的评论

标签

争取是第一个!
确认申请

你可能已经申请过这份资料。如果还是想申请,请选确认。

链接数据


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> ; # Computational complexity
   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#Topic/mathematics> ; # Mathematics
   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> ; # Turing machines
   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> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/1371230758#Topic/software> ; # 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://experiment.worldcat.org/entity/work/data/1371230758#Person/chan_hubert_t_h> ; # Hubert T-H Chan
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1371230758#Person/lau_lap_chi> ; # Lap Chi Lau
   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/chan_hubert_t_h> # Hubert T-H Chan
    a schema:Person ;
   schema:familyName "Chan" ;
   schema:givenName "Hubert T-H" ;
   schema:name "Hubert T-H Chan" ;
    .

<http://experiment.worldcat.org/entity/work/data/1371230758#Person/lau_lap_chi> # Lap Chi Lau
    a schema:Person ;
   schema:familyName "Lau" ;
   schema:givenName "Lap Chi" ;
   schema:name "Lap Chi Lau" ;
    .

<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> # Turing machines
    a schema:Intangible ;
   schema:name "Turing machines"@en ;
    .

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

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

<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 "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

关闭窗口

请登入WorldCat 

没有张号吗?很容易就可以 建立免费的账号.