컨텐츠로 이동
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.
판/형식:   전자도서 : 문서 : 컨퍼런스 간행물 : 영어모든 판과 형식 보기
요약:
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
Computer software
Congresses
추가적인 물리적 형식: 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 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 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://viaf.org/viaf/306106511> ; # Hubert T-H Chan
    schema:contributor <http://viaf.org/viaf/12935946> ; # Luca Trevisan
    schema:contributor <http://viaf.org/viaf/167520399> ; # 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 "Computer software"@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 <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-38236-9> ;
    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#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/12935946> # Luca Trevisan
    a schema:Person ;
    schema:familyName "Trevisan" ;
    schema:givenName "Luca" ;
    schema:name "Luca Trevisan" ;
    .

<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/306106511> # 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 "2018-03-21" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.