Implementation and application of automata: 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Elektronisch Tagungsbericht E-Book |
Sprache: | English |
Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
Schriftenreihe: | Lecture notes in computer science
8587 |
Schlagworte: | |
Online-Zugang: | BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Abstract |
Beschreibung: | 1 Online-Ressource (X, 345 S.) 235 mm x 155 mm |
ISBN: | 3319088459 9783319088464 |
DOI: | 10.1007/978-3-319-08846-4 |
Internformat
MARC
LEADER | 00000nmm a2200000 cb4500 | ||
---|---|---|---|
001 | BV042105236 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
006 | a |||| 10||| | ||
007 | cr|uuu---uuuuu | ||
008 | 141007s2014 sz |||| o||u| ||||||eng d | ||
020 | |a 3319088459 |9 3-319-08845-9 | ||
020 | |a 9783319088464 |9 978-3-319-08846-4 | ||
024 | 7 | |a 10.1007/978-3-319-08846-4 |2 doi | |
024 | 3 | |a 9783319088457 | |
028 | 5 | 2 | |a Best.-Nr.: 86374683 |
035 | |a (OCoLC)885793109 | ||
035 | |a (DE-599)BVBBV042105236 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a sz |c XA-CH | ||
049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
082 | 0 | |a 004 | |
084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
084 | |a DAT 500f |2 stub | ||
084 | |a DAT 550f |2 stub | ||
084 | |a 004 |2 sdnb | ||
245 | 1 | 0 | |a Implementation and application of automata |b 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings |c Markus Holzer ... (eds.) |
264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
300 | |a 1 Online-Ressource (X, 345 S.) |c 235 mm x 155 mm | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 8587 | |
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 2014 |z Gießen |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 Holzer, Markus |0 (DE-588)134200810 |4 edt | |
711 | 2 | |a CIAA |n 19 |d 2014 |c Gießen |j Sonstige |0 (DE-588)1058558218 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-319-08845-7 |
830 | 0 | |a Lecture notes in computer science |v 8587 |w (DE-604)BV014880109 |9 8587 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-08846-4 |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=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-LNC | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-027545773 | ||
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-319-08846-4 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804152571564130304 |
---|---|
adam_text | IMPLEMENTATION AND APPLICATION OF AUTOMATA
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 19TH INTERNATIONAL
CONFERENCE ON IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014,
HELD IN GIESSEN, GERMANY, IN JULY/AUGUST 2014. THE 21 REVISED FULL
PAPERS PRESENTED TOGETHER WITH 4 INVITED PAPERS WERE CAREFULLY SELECTED
FROM 36 SUBMISSIONS. THE PAPERS COVER ALL ASPECTS OF IMPLEMENTATION,
APPLICATION, AND THEORY OF AUTOMATA AND RELATED STRUCTURES SUCH AS
ALGORITHMS ON AUTOMATA, AUTOMATA AND LOGIC, BIOINFORMATICS, COMPLEXITY
OF AUTOMATA OPERATIONS, COMPILERS, COMPUTER-AIDED VERIFICATION,
CONCURRENCY, DATA STRUCTURE DESIGN FOR AUTOMATA, DATA AND IMAGE
COMPRESSION, DESIGN AND ARCHITECTURE OF AUTOMATA SOFTWARE, DIGITAL
LIBRARIES, DNA/MOLECULAR/MEMBRANE COMPUTING, DOCUMENT ENGINEERING,
EDITORS, ENVIRONMENTS, EXPERIMENTAL STUDIES AND PRACTICAL EXPERIENCE,
IMPLEMENTATION OF VERIFICATION METHODS AND MODEL CHECKING, INDUSTRIAL
APPLICATIONS, NATURAL LANGUAGE AND SPEECH PROCESSING, NETWORKING, NEW
ALGORITHMS FOR MANIPULATING AUTOMATA, OBJECT-ORIENTED MODELING,
PATTERN-MATCHING, PUSHDOWN AUTOMATA AND CONTEXT-FREE GRAMMARS, QUANTUM
COMPUTING, STRUCTURED AND SEMI-STRUCTURED DOCUMENTS, SYMBOLIC
MANIPULATION ENVIRONMENTS FOR AUTOMATA, TRANSDUCERS AND MULTI-TAPE
AUTOMATA, TECHNIQUES FOR GRAPHICAL DISPLAY OF AUTOMATA, VLSI, VIRUSES
AND RELATED PHENOMENA, AND WORLD-WIDE WEB
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author2 | Holzer, Markus |
author2_role | edt |
author2_variant | m h mh |
author_GND | (DE-588)134200810 |
author_facet | Holzer, Markus |
building | Verbundindex |
bvnumber | BV042105236 |
classification_rvk | SS 4800 |
classification_tum | DAT 500f DAT 550f |
collection | ZDB-2-LNC |
ctrlnum | (OCoLC)885793109 (DE-599)BVBBV042105236 |
dewey-full | 004 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004 |
dewey-search | 004 |
dewey-sort | 14 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-319-08846-4 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03596nmm a2200709 cb4500</leader><controlfield tag="001">BV042105236</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141007s2014 sz |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3319088459</subfield><subfield code="9">3-319-08845-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319088464</subfield><subfield code="9">978-3-319-08846-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-08846-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783319088457</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86374683</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885793109</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042105236</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation and application of automata</subfield><subfield code="b">19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings</subfield><subfield code="c">Markus Holzer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 345 S.)</subfield><subfield code="c">235 mm x 155 mm</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">8587</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">2014</subfield><subfield code="z">Gießen</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">Holzer, Markus</subfield><subfield code="0">(DE-588)134200810</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">19</subfield><subfield code="d">2014</subfield><subfield code="c">Gießen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1058558218</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-319-08845-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8587</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8587</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</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=027545773&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-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027545773</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-08846-4</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2014 Gießen gnd-content |
genre_facet | Konferenzschrift 2014 Gießen |
id | DE-604.BV042105236 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:12:50Z |
institution | BVB |
institution_GND | (DE-588)1058558218 |
isbn | 3319088459 9783319088464 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027545773 |
oclc_num | 885793109 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
physical | 1 Online-Ressource (X, 345 S.) 235 mm x 155 mm |
psigel | ZDB-2-LNC |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.) Cham [u.a.] Springer 2014 1 Online-Ressource (X, 345 S.) 235 mm x 155 mm txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8587 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Automat Automatentheorie (DE-588)4831958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Gießen gnd-content Automat Automatentheorie (DE-588)4831958-2 s DE-604 Theoretische Informatik (DE-588)4196735-5 s Holzer, Markus (DE-588)134200810 edt CIAA 19 2014 Gießen Sonstige (DE-588)1058558218 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-319-08845-7 Lecture notes in computer science 8587 (DE-604)BV014880109 8587 https://doi.org/10.1007/978-3-319-08846-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Lecture notes in computer science 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 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings |
title_auth | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings |
title_exact_search | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings |
title_full | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.) |
title_fullStr | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.) |
title_full_unstemmed | Implementation and application of automata 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings Markus Holzer ... (eds.) |
title_short | Implementation and application of automata |
title_sort | implementation and application of automata 19th international conference ciaa 2014 giessen germany july 30 august 2 2014 proceedings |
title_sub | 19th international conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 ; proceedings |
topic | Theoretische Informatik (DE-588)4196735-5 gnd Automat Automatentheorie (DE-588)4831958-2 gnd |
topic_facet | Theoretische Informatik Automat Automatentheorie Konferenzschrift 2014 Gießen |
url | https://doi.org/10.1007/978-3-319-08846-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027545773&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT holzermarkus implementationandapplicationofautomata19thinternationalconferenceciaa2014giessengermanyjuly30august22014proceedings AT ciaagießen implementationandapplicationofautomata19thinternationalconferenceciaa2014giessengermanyjuly30august22014proceedings |