Reachability problems: 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science
14235 |
| Schlagworte: | |
| Beschreibung: | xlviii, 198 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031452857 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049451180 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 231204s2023 a||| |||| 10||| eng d | ||
| 020 | |a 9783031452857 |9 978-3-031-45285-7 | ||
| 035 | |a (OCoLC)1407331254 | ||
| 035 | |a (DE-599)BVBBV049451180 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 000 |2 stub | ||
| 111 | 2 | |a RP |n 17. |d 2023 |c Nizza |j Verfasser |0 (DE-588)1309977445 |4 aut | |
| 245 | 1 | 0 | |a Reachability problems |b 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings |c Olivier Bournez, Enrico Formenti, Igor Potapov, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xlviii, 198 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 14235 | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Design and Analysis of Algorithms | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer science / Mathematics | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Nizza |2 gnd-content | |
| 700 | 1 | |a Bournez, Olivier |4 edt | |
| 700 | 1 | |a Formenti, Enrico |4 edt | |
| 700 | 1 | |a Potapov, Igor |0 (DE-588)1074848284 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-45286-4 |
| 830 | 0 | |a Lecture notes in computer science |v 14235 |w (DE-604)BV000000607 |9 14235 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034797059 | ||
Datensatz im Suchindex
| _version_ | 1804186216195686400 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Bournez, Olivier Formenti, Enrico Potapov, Igor |
| author2_role | edt edt edt |
| author2_variant | o b ob e f ef i p ip |
| author_GND | (DE-588)1074848284 |
| author_corporate | RP Nizza |
| author_corporate_role | aut |
| author_facet | Bournez, Olivier Formenti, Enrico Potapov, Igor RP Nizza |
| author_sort | RP Nizza |
| building | Verbundindex |
| bvnumber | BV049451180 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1407331254 (DE-599)BVBBV049451180 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01903nam a2200529zcb4500</leader><controlfield tag="001">BV049451180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">231204s2023 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031452857</subfield><subfield code="9">978-3-031-45285-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1407331254</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049451180</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.131</subfield><subfield code="2">23</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">RP</subfield><subfield code="n">17.</subfield><subfield code="d">2023</subfield><subfield code="c">Nizza</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1309977445</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reachability problems</subfield><subfield code="b">17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings</subfield><subfield code="c">Olivier Bournez, Enrico Formenti, Igor Potapov, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</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">xlviii, 198 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">14235</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">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Design and Analysis of Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</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">Nizza</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bournez, Olivier</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Formenti, Enrico</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Potapov, Igor</subfield><subfield code="0">(DE-588)1074848284</subfield><subfield code="4">edt</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-45286-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">14235</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14235</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034797059</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Nizza gnd-content |
| genre_facet | Konferenzschrift 2023 Nizza |
| id | DE-604.BV049451180 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:13:04Z |
| indexdate | 2024-07-10T10:07:36Z |
| institution | BVB |
| institution_GND | (DE-588)1309977445 |
| isbn | 9783031452857 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034797059 |
| oclc_num | 1407331254 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xlviii, 198 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 | RP 17. 2023 Nizza Verfasser (DE-588)1309977445 aut Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings Olivier Bournez, Enrico Formenti, Igor Potapov, editors Cham Springer [2023] © 2023 xlviii, 198 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 14235 Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Logic in AI. Design and Analysis of Algorithms Mathematics of Computing Machine theory Computer science Software engineering Logic programming Algorithms Computer science / Mathematics (DE-588)1071861417 Konferenzschrift 2023 Nizza gnd-content Bournez, Olivier edt Formenti, Enrico edt Potapov, Igor (DE-588)1074848284 edt Erscheint auch als Online-Ausgabe 978-3-031-45286-4 Lecture notes in computer science 14235 (DE-604)BV000000607 14235 |
| spellingShingle | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings Lecture notes in computer science Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Logic in AI. Design and Analysis of Algorithms Mathematics of Computing Machine theory Computer science Software engineering Logic programming Algorithms Computer science / Mathematics |
| subject_GND | (DE-588)1071861417 |
| title | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings |
| title_auth | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings |
| title_exact_search | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings |
| title_exact_search_txtP | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings |
| title_full | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings Olivier Bournez, Enrico Formenti, Igor Potapov, editors |
| title_fullStr | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings Olivier Bournez, Enrico Formenti, Igor Potapov, editors |
| title_full_unstemmed | Reachability problems 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings Olivier Bournez, Enrico Formenti, Igor Potapov, editors |
| title_short | Reachability problems |
| title_sort | reachability problems 17th international conference rp 2023 nice france october 11 13 2023 proceedings |
| title_sub | 17th international conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings |
| topic | Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Logic in AI. Design and Analysis of Algorithms Mathematics of Computing Machine theory Computer science Software engineering Logic programming Algorithms Computer science / Mathematics |
| topic_facet | Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Logic in AI. Design and Analysis of Algorithms Mathematics of Computing Machine theory Computer science Software engineering Logic programming Algorithms Computer science / Mathematics Konferenzschrift 2023 Nizza |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT rpnizza reachabilityproblems17thinternationalconferencerp2023nicefranceoctober11132023proceedings AT bournezolivier reachabilityproblems17thinternationalconferencerp2023nicefranceoctober11132023proceedings AT formentienrico reachabilityproblems17thinternationalconferencerp2023nicefranceoctober11132023proceedings AT potapovigor reachabilityproblems17thinternationalconferencerp2023nicefranceoctober11132023proceedings |