Static analysis: 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2023]
|
| Schriftenreihe: | Advanced research in computing and software science
14284 |
| Schlagworte: | |
| Beschreibung: | xiv, 566 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031442445 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049436505 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 231128s2023 a||| |||| 10||| eng d | ||
| 020 | |a 9783031442445 |9 978-3-031-44244-5 | ||
| 035 | |a (OCoLC)1409079853 | ||
| 035 | |a (DE-599)BVBBV049436505 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 310 |2 stub | ||
| 111 | 2 | |a SAS |n 30. |d 2023 |c Cascais |j Verfasser |0 (DE-588)1309372144 |4 aut | |
| 245 | 1 | 0 | |a Static analysis |b 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings |c Manuel V. Hermenegildo, José F. Morales, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xiv, 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 |a Advanced research in computing and software science |v 14284 | |
| 650 | 4 | |a Computer Science Logic and Foundations of Programming | |
| 650 | 4 | |a Computer Engineering and Networks | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Formal Languages and Automata Theory | |
| 650 | 4 | |a Compilers and Interpreters | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer engineering | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Compilers (Computer programs) | |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Cascais |2 gnd-content | |
| 689 | 0 | 0 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hermenegildo, Manuel V. |0 (DE-588)1089311451 |4 edt | |
| 700 | 1 | |a Morales, José F. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-44245-2 |
| 830 | 0 | |a Advanced research in computing and software science |v 14284 |w (DE-604)BV000000607 |9 14284 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034782545 | ||
Datensatz im Suchindex
| _version_ | 1804186183725481984 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Hermenegildo, Manuel V. Morales, José F. |
| author2_role | edt edt |
| author2_variant | m v h mv mvh j f m jf jfm |
| author_GND | (DE-588)1089311451 |
| author_corporate | SAS Cascais |
| author_corporate_role | aut |
| author_facet | Hermenegildo, Manuel V. Morales, José F. SAS Cascais |
| author_sort | SAS Cascais |
| building | Verbundindex |
| bvnumber | BV049436505 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310 |
| ctrlnum | (OCoLC)1409079853 (DE-599)BVBBV049436505 |
| 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 |
| 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>02113nam a2200541zcb4500</leader><controlfield tag="001">BV049436505</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">231128s2023 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031442445</subfield><subfield code="9">978-3-031-44244-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1409079853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049436505</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">004.0151</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 310</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">30.</subfield><subfield code="d">2023</subfield><subfield code="c">Cascais</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1309372144</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings</subfield><subfield code="c">Manuel V. Hermenegildo, José F. Morales, 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">xiv, 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="a">Advanced research in computing and software science</subfield><subfield code="v">14284</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">Computer Engineering and Networks</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">Formal Languages and Automata Theory</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">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </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">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Compilers (Computer programs)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</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">2023</subfield><subfield code="z">Cascais</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hermenegildo, Manuel V.</subfield><subfield code="0">(DE-588)1089311451</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morales, José F.</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-44245-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Advanced research in computing and software science</subfield><subfield code="v">14284</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14284</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034782545</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Cascais gnd-content |
| genre_facet | Konferenzschrift 2023 Cascais |
| id | DE-604.BV049436505 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:11:14Z |
| indexdate | 2024-07-10T10:07:05Z |
| institution | BVB |
| institution_GND | (DE-588)1309372144 |
| isbn | 9783031442445 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034782545 |
| oclc_num | 1409079853 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 566 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Advanced research in computing and software science |
| series2 | Lecture notes in computer science Advanced research in computing and software science |
| spelling | SAS 30. 2023 Cascais Verfasser (DE-588)1309372144 aut Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings Manuel V. Hermenegildo, José F. Morales, editors Cham Springer [2023] © 2023 xiv, 566 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Advanced research in computing and software science 14284 Computer Science Logic and Foundations of Programming Computer Engineering and Networks Natural Language Processing (NLP) Formal Languages and Automata Theory Compilers and Interpreters Computer science Computer engineering Computer networks Natural language processing (Computer science) Machine theory Compilers (Computer programs) Statische Analyse (DE-588)4325372-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2023 Cascais gnd-content Statische Analyse (DE-588)4325372-6 s DE-604 Hermenegildo, Manuel V. (DE-588)1089311451 edt Morales, José F. edt Erscheint auch als Online-Ausgabe 978-3-031-44245-2 Advanced research in computing and software science 14284 (DE-604)BV000000607 14284 |
| spellingShingle | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings Advanced research in computing and software science Computer Science Logic and Foundations of Programming Computer Engineering and Networks Natural Language Processing (NLP) Formal Languages and Automata Theory Compilers and Interpreters Computer science Computer engineering Computer networks Natural language processing (Computer science) Machine theory Compilers (Computer programs) Statische Analyse (DE-588)4325372-6 gnd |
| subject_GND | (DE-588)4325372-6 (DE-588)1071861417 |
| title | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings |
| title_auth | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings |
| title_exact_search | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings |
| title_exact_search_txtP | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings |
| title_full | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings Manuel V. Hermenegildo, José F. Morales, editors |
| title_fullStr | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings Manuel V. Hermenegildo, José F. Morales, editors |
| title_full_unstemmed | Static analysis 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings Manuel V. Hermenegildo, José F. Morales, editors |
| title_short | Static analysis |
| title_sort | static analysis 30th international symposium sas 2023 cascais portugal october 22 24 2023 proceedings |
| title_sub | 30th international symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings |
| topic | Computer Science Logic and Foundations of Programming Computer Engineering and Networks Natural Language Processing (NLP) Formal Languages and Automata Theory Compilers and Interpreters Computer science Computer engineering Computer networks Natural language processing (Computer science) Machine theory Compilers (Computer programs) Statische Analyse (DE-588)4325372-6 gnd |
| topic_facet | Computer Science Logic and Foundations of Programming Computer Engineering and Networks Natural Language Processing (NLP) Formal Languages and Automata Theory Compilers and Interpreters Computer science Computer engineering Computer networks Natural language processing (Computer science) Machine theory Compilers (Computer programs) Statische Analyse Konferenzschrift 2023 Cascais |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sascascais staticanalysis30thinternationalsymposiumsas2023cascaisportugaloctober22242023proceedings AT hermenegildomanuelv staticanalysis30thinternationalsymposiumsas2023cascaisportugaloctober22242023proceedings AT moralesjosef staticanalysis30thinternationalsymposiumsas2023cascaisportugaloctober22242023proceedings |