Programming languages and systems: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham, Switzerland
Springer
[2023]
|
| Series: | Lecture notes in computer science
13990 |
| Subjects: | |
| Physical Description: | xii, 566 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031300431 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049096083 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230809s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031300431 |9 978-3-031-30043-1 | ||
| 035 | |a (OCoLC)1401185262 | ||
| 035 | |a (DE-599)BVBBV049096083 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.45 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a ESOP |n 32. |d 2023 |c Paris |j Verfasser |0 (DE-588)1292918306 |4 aut | |
| 245 | 1 | 0 | |a Programming languages and systems |b 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |c Thomas Wies, editor |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xii, 566 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 13990 | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 22.04.2023-27.04.2023 |z Paris |2 gnd-content | |
| 700 | 1 | |a Wies, Thomas |0 (DE-588)1114682101 |4 edt | |
| 711 | 2 | |a ETAPS |n 26. |d 2023 |c Paris |j Verfasser |0 (DE-588)1292624000 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-30044-8 |
| 830 | 0 | |a Lecture notes in computer science |v 13990 |w (DE-604)BV000000607 |9 13990 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034357701 | |
Record in the Search Index
| _version_ | 1820875835402354688 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Wies, Thomas |
| author2_role | edt |
| author2_variant | t w tw |
| author_GND | (DE-588)1114682101 |
| author_corporate | ESOP Paris ETAPS |
| author_corporate_role | aut aut |
| author_facet | Wies, Thomas ESOP Paris ETAPS |
| author_sort | ESOP Paris |
| building | Verbundindex |
| bvnumber | BV049096083 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1401185262 (DE-599)BVBBV049096083 |
| dewey-full | 005.45 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.45 |
| dewey-search | 005.45 |
| dewey-sort | 15.45 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049096083</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230809s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031300431</subfield><subfield code="9">978-3-031-30043-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1401185262</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049096083</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.45</subfield><subfield code="2">23</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">ESOP</subfield><subfield code="n">32.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292918306</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings</subfield><subfield code="c">Thomas Wies, editor</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 566 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">13990</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers and Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">22.04.2023-27.04.2023</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wies, Thomas</subfield><subfield code="0">(DE-588)1114682101</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">26.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1292624000</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-031-30044-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13990</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13990</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034357701</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 22.04.2023-27.04.2023 Paris gnd-content |
| genre_facet | Konferenzschrift 22.04.2023-27.04.2023 Paris |
| id | DE-604.BV049096083 |
| illustrated | Illustrated |
| index_date | 2024-07-03T22:31:18Z |
| indexdate | 2025-01-10T15:21:57Z |
| institution | BVB |
| institution_GND | (DE-588)1292918306 (DE-588)1292624000 |
| isbn | 9783031300431 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034357701 |
| oclc_num | 1401185262 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 566 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | ESOP 32. 2023 Paris Verfasser (DE-588)1292918306 aut Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Thomas Wies, editor Cham, Switzerland Springer [2023] © 2023 xii, 566 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13990 Compilers and Interpreters Compilers (Computer programs) (DE-588)1071861417 Konferenzschrift 22.04.2023-27.04.2023 Paris gnd-content Wies, Thomas (DE-588)1114682101 edt ETAPS 26. 2023 Paris Verfasser (DE-588)1292624000 aut Erscheint auch als Online-Ausgabe 978-3-031-30044-8 Lecture notes in computer science 13990 (DE-604)BV000000607 13990 |
| spellingShingle | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Lecture notes in computer science Compilers and Interpreters Compilers (Computer programs) |
| subject_GND | (DE-588)1071861417 |
| title | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_auth | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_exact_search | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_exact_search_txtP | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| title_full | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Thomas Wies, editor |
| title_fullStr | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Thomas Wies, editor |
| title_full_unstemmed | Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings Thomas Wies, editor |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 32nd european symposium on programming esop 2023 held as part of the european joint conferences on theory and practice of software etaps 2023 paris france april 22 27 2023 proceedings |
| title_sub | 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings |
| topic | Compilers and Interpreters Compilers (Computer programs) |
| topic_facet | Compilers and Interpreters Compilers (Computer programs) Konferenzschrift 22.04.2023-27.04.2023 Paris |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT esopparis programminglanguagesandsystems32ndeuropeansymposiumonprogrammingesop2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings AT wiesthomas programminglanguagesandsystems32ndeuropeansymposiumonprogrammingesop2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings AT etapsparis programminglanguagesandsystems32ndeuropeansymposiumonprogrammingesop2023heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2023parisfranceapril22272023proceedings |