Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9076 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XII, 466 p. 83 illus) |
| ISBN: | 9783319171425 9783319171418 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-17142-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042544537 | ||
| 003 | DE-604 | ||
| 005 | 20150513 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150506s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319171425 |c Online |9 978-3-319-17142-5 | ||
| 020 | |a 9783319171418 |c Print |9 978-3-319-17141-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-17142-5 |2 doi | |
| 035 | |a (OCoLC)908701395 | ||
| 035 | |a (DE-599)BVBBV042544537 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a DAT 530f |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Theory and Applications of Models of Computation |b 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings |c edited by Rahul Jain, Sanjay Jain, Frank Stephan |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XII, 466 p. 83 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9076 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Data Structures, Cryptology and Information Theory | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Singapur |2 gnd-content | |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Jain, Rahul |e Sonstige |0 (DE-588)1070477826 |4 oth | |
| 711 | 2 | |a TAMC |n 12. |d 2015 |c Singapur |j Sonstige |0 (DE-588)1070478709 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9076 |w (DE-604)BV014880109 |9 9076 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-17142-5 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027978543 | ||
Datensatz im Suchindex
| _version_ | 1804153310198890496 |
|---|---|
| adam_text | THEORY AND APPLICATIONS OF MODELS OF COMPUTATION
/ JAIN, RAHUL
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
RECURSION THEORY AND MATHEMATICAL LOGIC
COMPUTATIONAL COMPLEXITY AND BOOLEAN FUNCTIONS
GRAPH THEORY
QUANTUM COMPUTING
PARALLELISM AND STATISTICS
LEARNING, AUTOMATA AND PROBABILISTIC MODELS
PARAMETERISED COMPLEXITY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION
/ JAIN, RAHUL
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 12TH ANNUAL
CONFERENCE ON THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, TAMC
2014, HELD IN SINGAPORE, IN MAY 2015. THE 35 REVISED FULL PAPERS
PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 78 SUBMISSIONS. THE
PAPERS TREAT ALL TOPICS RELATING TO THE THEORY AND APPLICATIONS OF
MODELS COMPUTATION,FOR EXAMPLERECURSION THEORY AND MATHEMATICAL
LOGIC; COMPUTATIONAL COMPLEXITY AND BOOLEAN FUNCTIONS; GRAPHY THEORY;
QUANTUM COMPUTING; PARALLELISM AND STATISTICS; LEARNING, AUTOMATA AND
PROBABILISTIC MODELS; PARAMETERISED COMPLEXITY
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1070477826 |
| building | Verbundindex |
| bvnumber | BV042544537 |
| classification_tum | DAT 530f DAT 510f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)908701395 (DE-599)BVBBV042544537 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-17142-5 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02895nmm a2200625zcb4500</leader><controlfield tag="001">BV042544537</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150513 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150506s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319171425</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-17142-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319171418</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-17141-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-17142-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908701395</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042544537</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 530f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and Applications of Models of Computation</subfield><subfield code="b">12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings</subfield><subfield code="c">edited by Rahul Jain, Sanjay Jain, Frank Stephan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 466 p. 83 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9076</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures, Cryptology and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Singapur</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jain, Rahul</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1070477826</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TAMC</subfield><subfield code="n">12.</subfield><subfield code="d">2015</subfield><subfield code="c">Singapur</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1070478709</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9076</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9076</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-17142-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027978543</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Singapur gnd-content |
| genre_facet | Konferenzschrift 2015 Singapur |
| id | DE-604.BV042544537 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:24:34Z |
| institution | BVB |
| institution_GND | (DE-588)1070478709 |
| isbn | 9783319171425 9783319171418 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027978543 |
| oclc_num | 908701395 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XII, 466 p. 83 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings edited by Rahul Jain, Sanjay Jain, Frank Stephan Cham Springer International Publishing 2015 1 Online-Ressource (XII, 466 p. 83 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9076 0302-9743 Computer science Data structures (Computer science) Computer software Logic design Computer Science Mathematical Logic and Formal Languages Mathematics of Computing Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures, Cryptology and Information Theory Informatik Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Singapur gnd-content Berechenbarkeit (DE-588)4138368-0 s DE-604 Jain, Rahul Sonstige (DE-588)1070477826 oth TAMC 12. 2015 Singapur Sonstige (DE-588)1070478709 oth Lecture Notes in Computer Science 9076 (DE-604)BV014880109 9076 https://doi.org/10.1007/978-3-319-17142-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings Lecture Notes in Computer Science Computer science Data structures (Computer science) Computer software Logic design Computer Science Mathematical Logic and Formal Languages Mathematics of Computing Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures, Cryptology and Information Theory Informatik Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)1071861417 |
| title | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings |
| title_auth | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings |
| title_exact_search | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings |
| title_full | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings edited by Rahul Jain, Sanjay Jain, Frank Stephan |
| title_fullStr | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings edited by Rahul Jain, Sanjay Jain, Frank Stephan |
| title_full_unstemmed | Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings edited by Rahul Jain, Sanjay Jain, Frank Stephan |
| title_short | Theory and Applications of Models of Computation |
| title_sort | theory and applications of models of computation 12th annual conference tamc 2015 singapore may 18 20 2015 proceedings |
| title_sub | 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings |
| topic | Computer science Data structures (Computer science) Computer software Logic design Computer Science Mathematical Logic and Formal Languages Mathematics of Computing Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures, Cryptology and Information Theory Informatik Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Computer science Data structures (Computer science) Computer software Logic design Computer Science Mathematical Logic and Formal Languages Mathematics of Computing Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures, Cryptology and Information Theory Informatik Berechenbarkeit Konferenzschrift 2015 Singapur |
| url | https://doi.org/10.1007/978-3-319-17142-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978543&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT jainrahul theoryandapplicationsofmodelsofcomputation12thannualconferencetamc2015singaporemay18202015proceedings AT tamcsingapur theoryandapplicationsofmodelsofcomputation12thannualconferencetamc2015singaporemay18202015proceedings |