コンテンツへ移動
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.
エディション/フォーマット:   電子書籍 : Document : Conference publication : Englishすべてのエディションとフォーマットを見る
データベース: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; この資料の所蔵館を検索中…

詳細

ジャンル/形式: Electronic books
Conference papers and proceedings
Congresses
その他のフォーマット: Printed edition:
資料の種類: Conference publication, Document, インターネット資料
ドキュメントの種類: インターネットリソース, コンピューターファイル
すべての著者/寄与者: Hubert T-H Chan; Lap Chi Lau; Luca Trevisan
ISBN: 9783642382369 3642382363
OCLC No.: 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のレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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://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> # 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://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-04-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.