Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Series: | Lecture Notes in Computer Science
9223 |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | 1 Online-Ressource (XXIII, 317 S.) graph. Darst. |
| ISBN: | 9783319223605 9783319223599 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-22360-5 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042730417 | ||
| 003 | DE-604 | ||
| 005 | 20150806 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150803s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319223605 |c Online |9 978-3-319-22360-5 | ||
| 020 | |a 9783319223599 |c Print |9 978-3-319-22359-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-22360-5 |2 doi | |
| 035 | |a (OCoLC)915862703 | ||
| 035 | |a (DE-599)BVBBV042730417 | ||
| 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 004.0151 |2 23 | |
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Implementation and Application of Automata |b 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings |c edited by Frank Drewes |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XXIII, 317 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9223 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Information storage and retrieval systems | |
| 650 | 4 | |a Bioinformatics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Computational Biology/Bioinformatics | |
| 650 | 4 | |a Data Structures | |
| 650 | 4 | |a Information Storage and Retrieval | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Umea |2 gnd-content | |
| 689 | 0 | 0 | |a Automat |g Automatentheorie |0 (DE-588)4831958-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Drewes, Frank |e Sonstige |4 oth | |
| 711 | 2 | |a CIAA |n 20. |d 2015 |c Umeå |j Sonstige |0 (DE-588)1075022266 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9223 |w (DE-604)BV014880109 |9 9223 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22360-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=028161447&sequence=000001&line_number=0001&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-028161447 | ||
Record in the Search Index
| _version_ | 1804174942058577920 |
|---|---|
| adam_text | IMPLEMENTATION AND APPLICATION OF AUTOMATA
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 20TH INTERNATIONAL
CONFERENCE ON IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2015,
HELD IN HELD IN UMEA, SWEDEN, IN AUGUST 2015. THE 22 REVISED FULL
PAPERS PRESENTED TOGETHER WITH 4 INVITED PAPERS AND 2 TOOOL
DEMONSTRATION PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 49
SUBMISSIONS. THE PAPERS COVER ALL ASPECTS OF COVER AUTOMATA, COUNTER
AUTOMATA, DECISION ALGORITHMS ON AUTOMATA, DESCRIPTIONAL COMPLEXITY,
EXPRESSIVE POWER OF AUTOMATA, HOMING SEQUENCES, JUMPING FINITE AUTOMATA,
MULTI-DIMENSIONAL LANGUAGES, PARSING AND PATTERN MATCHING, QUANTUM
AUTOMATA, REALTIME PUSHDOWN AUTOMATA, RANDOM GENERATION OF AUTOMATA,
REGULAR EXPRESSIONS, SECURITY ISSUES, SENSORS IN AUTOMATA, TRANSDUCERS,
TRANSFORMATION OF AUTOMATA, AND WEIGHTED AUTOMATA
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042730417 |
| classification_tum | DAT 500f DAT 000 DAT 550f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)915862703 (DE-599)BVBBV042730417 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-22360-5 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02871nmm a2200673zcb4500</leader><controlfield tag="001">BV042730417</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150806 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150803s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319223605</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22360-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319223599</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-22359-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22360-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915862703</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042730417</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">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation and Application of Automata</subfield><subfield code="b">20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings</subfield><subfield code="c">edited by Frank Drewes</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 (XXIII, 317 S.)</subfield><subfield code="b">graph. Darst.</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">9223</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">Information storage and retrieval systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bioinformatics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Biology/Bioinformatics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Storage and Retrieval</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</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">Umea</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automat</subfield><subfield code="g">Automatentheorie</subfield><subfield code="0">(DE-588)4831958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Drewes, Frank</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">20.</subfield><subfield code="d">2015</subfield><subfield code="c">Umeå</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1075022266</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">9223</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9223</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22360-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=028161447&sequence=000001&line_number=0001&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-028161447</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Umea gnd-content |
| genre_facet | Konferenzschrift 2015 Umea |
| id | DE-604.BV042730417 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:08:24Z |
| institution | BVB |
| institution_GND | (DE-588)1075022266 |
| isbn | 9783319223605 9783319223599 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028161447 |
| oclc_num | 915862703 |
| 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 (XXIII, 317 S.) graph. Darst. |
| 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 | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings edited by Frank Drewes Cham Springer International Publishing 2015 1 Online-Ressource (XXIII, 317 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9223 0302-9743 Computer science Data structures (Computer science) Computer software Information storage and retrieval systems Bioinformatics Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computational Biology/Bioinformatics Data Structures Information Storage and Retrieval Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Umea gnd-content Automat Automatentheorie (DE-588)4831958-2 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Drewes, Frank Sonstige oth CIAA 20. 2015 Umeå Sonstige (DE-588)1075022266 oth Lecture Notes in Computer Science 9223 (DE-604)BV014880109 9223 https://doi.org/10.1007/978-3-319-22360-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161447&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings Lecture Notes in Computer Science Computer science Data structures (Computer science) Computer software Information storage and retrieval systems Bioinformatics Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computational Biology/Bioinformatics Data Structures Information Storage and Retrieval Informatik Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4831958-2 (DE-588)1071861417 |
| title | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings |
| title_auth | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings |
| title_exact_search | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings |
| title_full | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings edited by Frank Drewes |
| title_fullStr | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings edited by Frank Drewes |
| title_full_unstemmed | Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings edited by Frank Drewes |
| title_short | Implementation and Application of Automata |
| title_sort | implementation and application of automata 20th international conference ciaa 2015 umea sweden august 18 21 2015 proceedings |
| title_sub | 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings |
| topic | Computer science Data structures (Computer science) Computer software Information storage and retrieval systems Bioinformatics Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computational Biology/Bioinformatics Data Structures Information Storage and Retrieval Informatik Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd |
| topic_facet | Computer science Data structures (Computer science) Computer software Information storage and retrieval systems Bioinformatics Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computational Biology/Bioinformatics Data Structures Information Storage and Retrieval Informatik Theoretische Informatik Automat Automatentheorie Konferenzschrift 2015 Umea |
| url | https://doi.org/10.1007/978-3-319-22360-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028161447&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT drewesfrank implementationandapplicationofautomata20thinternationalconferenceciaa2015umeaswedenaugust18212015proceedings AT ciaaumea implementationandapplicationofautomata20thinternationalconferenceciaa2015umeaswedenaugust18212015proceedings |