Formal aspects of component software: 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2024]
|
| Schriftenreihe: | Lecture notes in computer science
14485 |
| Schlagworte: | |
| Online-Zugang: | BFB01 BTU01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FKE01 FLA01 FRO01 FWS01 FWS02 HTW01 TUM01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UEI01 UER01 UPA01 Volltext |
| Beschreibung: | 1 Online-Ressource (xxii, 229 Seiten) 65 Illustrationen, 40 in Farbe |
| ISBN: | 9783031521836 |
| ISSN: | 1611-3349 |
| DOI: | 10.1007/978-3-031-52183-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049526957 | ||
| 003 | DE-604 | ||
| 005 | 20240404 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240201s2024 |||| o||u| ||||||eng d | ||
| 020 | |a 9783031521836 |c Online |9 978-3-031-52183-6 | ||
| 024 | 7 | |a 10.1007/978-3-031-52183-6 |2 doi | |
| 035 | |a (ZDB-2-SCS)9783031521836 | ||
| 035 | |a (ZDB-2-LNC)9783031521836 | ||
| 035 | |a (OCoLC)1422496308 | ||
| 035 | |a (DE-599)BVBBV049526957 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-860 |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-863 |a DE-1050 |a DE-20 |a DE-862 |a DE-92 |a DE-355 |a DE-824 |a DE-522 |a DE-384 |a DE-M347 |a DE-573 |a DE-703 |a DE-706 |a DE-739 |a DE-634 |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a DAT 310 |2 stub | ||
| 084 | |a DAT 510 |2 stub | ||
| 111 | 2 | |a FACS |n 19. |d 2023 |c Online |j Verfasser |0 (DE-588)132221445X |4 aut | |
| 245 | 1 | 0 | |a Formal aspects of component software |b 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers |c Javier Cámara, Sung-Shik Jongmans, editors |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2024] | |
| 300 | |a 1 Online-Ressource (xxii, 229 Seiten) |b 65 Illustrationen, 40 in Farbe | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 14485 |x 1611-3349 | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer System Implementation | |
| 650 | 4 | |a Languages | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer systems | |
| 650 | 4 | |a Philology | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Online |2 gnd-content | |
| 700 | 1 | |a Cámara, Javier |4 edt | |
| 700 | 1 | |a Jongmans, Sung-Shik |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-52182-9 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-031-52184-3 |
| 830 | 0 | |a Lecture notes in computer science |v 14485 |w (DE-604)BV014880109 |9 14485 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-52183-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2024 | |
| 940 | 1 | |q ZDB-2-LNC_2024 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034872682 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l BFB01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FHA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FHD01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FHI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FHR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FLA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FWS01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l FWS02 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l HTW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l TUM01 |p ZDB-2-LNC |q ZDB-2-LNC_2024 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBR01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UEI01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-031-52183-6 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 1064418 |
|---|---|
| _version_ | 1806175576653824000 |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Cámara, Javier Jongmans, Sung-Shik |
| author2_role | edt edt |
| author2_variant | j c jc s s j ssj |
| author_corporate | FACS Online |
| author_corporate_role | aut |
| author_facet | Cámara, Javier Jongmans, Sung-Shik FACS Online |
| author_sort | FACS Online |
| building | Verbundindex |
| bvnumber | BV049526957 |
| classification_tum | DAT 310 DAT 510 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (ZDB-2-SCS)9783031521836 (ZDB-2-LNC)9783031521836 (OCoLC)1422496308 (DE-599)BVBBV049526957 |
| 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 |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-031-52183-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04953nmm a2200925zcb4500</leader><controlfield tag="001">BV049526957</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240404 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240201s2024 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031521836</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-52183-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-52183-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031521836</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783031521836</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1422496308</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049526957</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-860</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-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</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 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">19.</subfield><subfield code="d">2023</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)132221445X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal aspects of component software</subfield><subfield code="b">19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers</subfield><subfield code="c">Javier Cámara, Sung-Shik Jongmans, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2024]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxii, 229 Seiten)</subfield><subfield code="b">65 Illustrationen, 40 in Farbe</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">14485</subfield><subfield code="x">1611-3349</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Languages and Automata Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Language Processing (NLP)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer System Implementation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (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">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philology</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cámara, Javier</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jongmans, Sung-Shik</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-52182-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-52184-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14485</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">14485</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-52183-6</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_2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2024</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034872682</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-52183-6</subfield><subfield code="l">BFB01</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-031-52183-6</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-031-52183-6</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-031-52183-6</subfield><subfield code="l">FHD01</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-031-52183-6</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-031-52183-6</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-031-52183-6</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-031-52183-6</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-031-52183-6</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-031-52183-6</subfield><subfield code="l">FLA01</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-031-52183-6</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-031-52183-6</subfield><subfield code="l">FWS01</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-031-52183-6</subfield><subfield code="l">FWS02</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-031-52183-6</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-031-52183-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2024</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-031-52183-6</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-031-52183-6</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-031-52183-6</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-031-52183-6</subfield><subfield code="l">UBR01</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-031-52183-6</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-031-52183-6</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-031-52183-6</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-031-52183-6</subfield><subfield code="l">UEI01</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-031-52183-6</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-031-52183-6</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 2023 Online gnd-content |
| genre_facet | Konferenzschrift 2023 Online |
| id | DE-604.BV049526957 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T23:26:21Z |
| indexdate | 2024-08-01T11:07:37Z |
| institution | BVB |
| institution_GND | (DE-588)132221445X |
| isbn | 9783031521836 |
| issn | 1611-3349 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034872682 |
| oclc_num | 1422496308 |
| open_access_boolean | |
| owner | DE-860 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-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634 DE-83 |
| owner_facet | DE-860 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-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634 DE-83 |
| physical | 1 Online-Ressource (xxii, 229 Seiten) 65 Illustrationen, 40 in Farbe |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2024 ZDB-2-LNC_2024 ZDB-2-LNC ZDB-2-LNC_2024 |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spellingShingle | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers Lecture notes in computer science Formal Languages and Automata Theory Natural Language Processing (NLP) Data Structures and Information Theory Software Engineering Computer System Implementation Languages Machine theory Natural language processing (Computer science) Data structures (Computer science) Information theory Software engineering Computer systems Philology |
| subject_GND | (DE-588)1071861417 |
| title | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers |
| title_auth | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers |
| title_exact_search | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers |
| title_exact_search_txtP | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers |
| title_full | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers Javier Cámara, Sung-Shik Jongmans, editors |
| title_fullStr | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers Javier Cámara, Sung-Shik Jongmans, editors |
| title_full_unstemmed | Formal aspects of component software 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers Javier Cámara, Sung-Shik Jongmans, editors |
| title_short | Formal aspects of component software |
| title_sort | formal aspects of component software 19th international conference facs 2023 virtual event october 19 20 2023 revised selected papers |
| title_sub | 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers |
| topic | Formal Languages and Automata Theory Natural Language Processing (NLP) Data Structures and Information Theory Software Engineering Computer System Implementation Languages Machine theory Natural language processing (Computer science) Data structures (Computer science) Information theory Software engineering Computer systems Philology |
| topic_facet | Formal Languages and Automata Theory Natural Language Processing (NLP) Data Structures and Information Theory Software Engineering Computer System Implementation Languages Machine theory Natural language processing (Computer science) Data structures (Computer science) Information theory Software engineering Computer systems Philology Konferenzschrift 2023 Online |
| url | https://doi.org/10.1007/978-3-031-52183-6 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT facsonline formalaspectsofcomponentsoftware19thinternationalconferencefacs2023virtualeventoctober19202023revisedselectedpapers AT camarajavier formalaspectsofcomponentsoftware19thinternationalconferencefacs2023virtualeventoctober19202023revisedselectedpapers AT jongmanssungshik formalaspectsofcomponentsoftware19thinternationalconferencefacs2023virtualeventoctober19202023revisedselectedpapers |