Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings

Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: CIAA Seoul (VerfasserIn)
Weitere Verfasser: Han, Yo-Sub (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: [Cham] Springer [2016]
Schriftenreihe:Lecture Notes in Computer Science 9705
Schlagworte:
Computer science
Data structures (Computer science)
Computers
Algorithms
Computer logic
Mathematical logic
Computer science / Mathematics
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Data Structures
Discrete Mathematics in Computer Science
Informatik
Mathematik
Automat > Automatentheorie
Theoretische Informatik
Konferenzschrift > 2016 > Seoul
Online-Zugang:BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FRO01
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nmm a2200000zcb4500
001 BV043706307
003 DE-604
005 20161108
006 a |||| 10|||
007 cr|uuu---uuuuu
008 160809s2016 |||| o||u| ||||||eng d
020 |a 9783319409467  |c Online  |9 978-3-319-40946-7 
020 |a 9783319409450  |c Print  |9 978-3-319-40945-0 
024 7 |a 10.1007/978-3-319-40946-7  |2 doi 
035 |a (ZDB-2-SCS)9783319409467 
035 |a (ZDB-2-LNC)9783319409467 
035 |a (OCoLC)954933396 
035 |a (DE-599)BVBBV043706307 
040 |a DE-604  |b ger  |e rda 
041 0 |a eng 
049 |a DE-706  |a DE-91  |a DE-19  |a DE-Aug4  |a DE-898  |a DE-861  |a DE-523  |a DE-859  |a DE-473  |a DE-29  |a DE-20  |a DE-92  |a DE-384  |a DE-573  |a DE-M347  |a DE-703  |a DE-739  |a DE-634  |a DE-355 
082 0 |a 004.0151  |2 23 
084 |a DAT 500f  |2 stub 
084 |a DAT 550f  |2 stub 
084 |a DAT 000  |2 stub 
111 2 |a CIAA  |n 21.  |d 2016  |c Seoul  |j Verfasser  |0 (DE-588)111260877X  |4 aut 
245 1 0 |a Implementation and application of automata  |b 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings  |c edited by Yo-Sub Han, Kai Salomaa 
264 1 |a [Cham]  |b Springer  |c [2016] 
264 4 |c © 2016 
300 |a 1 Online-Ressource XVI, 335 Seiten  |b Illustrationen, Diagramme 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
338 |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v Volume 9705  |x 0302-9743 
650 4 |a Computer science 
650 4 |a Data structures (Computer science) 
650 4 |a Computers 
650 4 |a Algorithms 
650 4 |a Computer logic 
650 4 |a Mathematical logic 
650 4 |a Computer science / Mathematics 
650 4 |a Computer Science 
650 4 |a Computation by Abstract Devices 
650 4 |a Logics and Meanings of Programs 
650 4 |a Mathematical Logic and Formal Languages 
650 4 |a Algorithm Analysis and Problem Complexity 
650 4 |a Data Structures 
650 4 |a Discrete Mathematics in Computer Science 
650 4 |a Informatik 
650 4 |a Mathematik 
650 0 7 |a Automat  |g Automatentheorie  |0 (DE-588)4831958-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Theoretische Informatik  |0 (DE-588)4196735-5  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)1071861417  |a Konferenzschrift  |y 2016  |z Seoul  |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 Han, Yo-Sub  |0 (DE-588)1118531221  |4 edt 
830 0 |a Lecture Notes in Computer Science  |v 9705  |w (DE-604)BV014880109  |9 9705 
856 4 0 |u https://doi.org/10.1007/978-3-319-40946-7  |x Verlag  |z URL des Erstveröffentlichers  |3 Volltext 
912 |a ZDB-2-SCS  |a ZDB-2-LNC 
940 1 |q ZDB-2-SCS_2016 
999 |a oai:aleph.bib-bvb.de:BVB01-029118620 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l BTU01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FHA01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FHI01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FHM01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FHN01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FHR01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FKE01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l FRO01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l HTW01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l TUM01  |p ZDB-2-LNC  |q ZDB-2-LNC_2016  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBA01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBG01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBM01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBR01  |p ZDB-2-SCS  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBT01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBW01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UBY01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UER01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 
966 e |u https://doi.org/10.1007/978-3-319-40946-7  |l UPA01  |p ZDB-2-LNC  |x Verlag  |3 Volltext 

Datensatz im Suchindex

DE-BY-TUM_katkey 2226866
DE-BY-TUM_local_url Verlag
https://doi.org/10.1007/978-3-319-40946-7
DE-BY-UBG_katkey 196081648
DE-BY-UBG_local_url https://doi.org/10.1007/978-3-319-40946-7
Verlag
_version_ 1816714258551930880
any_adam_object
author2 Han, Yo-Sub
author2_role edt
author2_variant y s h ysh
author_GND (DE-588)1118531221
author_corporate CIAA Seoul
author_corporate_role aut
author_facet Han, Yo-Sub
CIAA Seoul
author_sort CIAA Seoul
building Verbundindex
bvnumber BV043706307
classification_tum DAT 500f
DAT 550f
DAT 000
collection ZDB-2-SCS
ZDB-2-LNC
ctrlnum (ZDB-2-SCS)9783319409467
(ZDB-2-LNC)9783319409467
(OCoLC)954933396
(DE-599)BVBBV043706307
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-40946-7
format Electronic
Conference Proceeding
eBook
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04636nmm a2200949zcb4500</leader><controlfield tag="001">BV043706307</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161108 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160809s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319409467</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-40946-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319409450</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-40945-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-40946-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783319409467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783319409467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)954933396</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043706307</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</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 550f</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="111" ind1="2" ind2=" "><subfield code="a">CIAA</subfield><subfield code="n">21.</subfield><subfield code="d">2016</subfield><subfield code="c">Seoul</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)111260877X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implementation and application of automata</subfield><subfield code="b">21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings</subfield><subfield code="c">edited by Yo-Sub Han, Kai Salomaa</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource XVI, 335 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">Volume 9705</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">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</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">Logics and Meanings of Programs</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">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2016</subfield><subfield code="z">Seoul</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">Han, Yo-Sub</subfield><subfield code="0">(DE-588)1118531221</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9705</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9705</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-40946-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029118620</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40946-7</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-40946-7</subfield><subfield code="l">FHA01</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-40946-7</subfield><subfield code="l">FHI01</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-40946-7</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-40946-7</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-40946-7</subfield><subfield code="l">FHR01</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-40946-7</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-40946-7</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-40946-7</subfield><subfield code="l">HTW01</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-40946-7</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</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-40946-7</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-40946-7</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-40946-7</subfield><subfield code="l">UBM01</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-40946-7</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</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-40946-7</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-40946-7</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-40946-7</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-40946-7</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-40946-7</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 2016 Seoul gnd-content
genre_facet Konferenzschrift 2016 Seoul
id DE-604.BV043706307
illustrated Not Illustrated
index_date 2024-09-20T13:29:36Z
indexdate 2024-11-25T17:51:13Z
institution BVB
institution_GND (DE-588)111260877X
isbn 9783319409467
9783319409450
issn 0302-9743
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-029118620
oclc_num 954933396
open_access_boolean
owner DE-706
DE-91
DE-BY-TUM
DE-19
DE-BY-UBM
DE-Aug4
DE-898
DE-BY-UBR
DE-861
DE-523
DE-859
DE-473
DE-BY-UBG
DE-29
DE-20
DE-92
DE-384
DE-573
DE-M347
DE-703
DE-739
DE-634
DE-355
DE-BY-UBR
owner_facet DE-706
DE-91
DE-BY-TUM
DE-19
DE-BY-UBM
DE-Aug4
DE-898
DE-BY-UBR
DE-861
DE-523
DE-859
DE-473
DE-BY-UBG
DE-29
DE-20
DE-92
DE-384
DE-573
DE-M347
DE-703
DE-739
DE-634
DE-355
DE-BY-UBR
physical 1 Online-Ressource XVI, 335 Seiten Illustrationen, Diagramme
psigel ZDB-2-SCS
ZDB-2-LNC
ZDB-2-SCS_2016
ZDB-2-LNC ZDB-2-LNC_2016
publishDate 2016
publishDateSearch 2016
publishDateSort 2016
publisher Springer
record_format marc
series Lecture Notes in Computer Science
series2 Lecture Notes in Computer Science
spellingShingle Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings
Lecture Notes in Computer Science
Computer science
Data structures (Computer science)
Computers
Algorithms
Computer logic
Mathematical logic
Computer science / Mathematics
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Data Structures
Discrete Mathematics in Computer Science
Informatik
Mathematik
Automat Automatentheorie (DE-588)4831958-2 gnd
Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND (DE-588)4831958-2
(DE-588)4196735-5
(DE-588)1071861417
title Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings
title_auth Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings
title_exact_search Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings
title_full Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings edited by Yo-Sub Han, Kai Salomaa
title_fullStr Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings edited by Yo-Sub Han, Kai Salomaa
title_full_unstemmed Implementation and application of automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings edited by Yo-Sub Han, Kai Salomaa
title_short Implementation and application of automata
title_sort implementation and application of automata 21st international conference ciaa 2016 seoul south korea july 19 22 2016 proceedings
title_sub 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings
topic Computer science
Data structures (Computer science)
Computers
Algorithms
Computer logic
Mathematical logic
Computer science / Mathematics
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Data Structures
Discrete Mathematics in Computer Science
Informatik
Mathematik
Automat Automatentheorie (DE-588)4831958-2 gnd
Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet Computer science
Data structures (Computer science)
Computers
Algorithms
Computer logic
Mathematical logic
Computer science / Mathematics
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Data Structures
Discrete Mathematics in Computer Science
Informatik
Mathematik
Automat Automatentheorie
Theoretische Informatik
Konferenzschrift 2016 Seoul
url https://doi.org/10.1007/978-3-319-40946-7
volume_link (DE-604)BV014880109
work_keys_str_mv AT ciaaseoul implementationandapplicationofautomata21stinternationalconferenceciaa2016seoulsouthkoreajuly19222016proceedings
AT hanyosub implementationandapplicationofautomata21stinternationalconferenceciaa2016seoulsouthkoreajuly19222016proceedings

Ähnliche Einträge