Formal modeling and analysis of timed systems: 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2023]
|
| Series: | Lecture Notes in Computer Science
14138 |
| Subjects: | |
| Physical Description: | xiv, 180 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031426254 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049473222 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 231219s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031426254 |9 978-3-031-42625-4 | ||
| 035 | |a (OCoLC)1416406404 | ||
| 035 | |a (DE-599)BVBBV049473222 | ||
| 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 DAT 000 |2 stub | ||
| 111 | 2 | |a FORMATS |n 21. |d 2023 |c Antwerpen |j Verfasser |0 (DE-588)1307217222 |4 aut | |
| 245 | 1 | 0 | |a Formal modeling and analysis of timed systems |b 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |c Laure Petrucci, Jeremy Sproston, editors |
| 264 | 1 | |a Cham |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a xiv, 180 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 14138 | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Data Structures and Information Theory | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer Engineering and Networks | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer engineering | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Antwerpen |2 gnd-content | |
| 700 | 1 | |a Petrucci, Laure |4 edt | |
| 700 | 1 | |a Sproston, Jeremy |0 (DE-588)1021149853 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-42626-1 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 14138 |w (DE-604)BV000000607 |9 14138 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034818787 | |
Record in the Search Index
| _version_ | 1820875838331027456 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Petrucci, Laure Sproston, Jeremy |
| author2_role | edt edt |
| author2_variant | l p lp j s js |
| author_GND | (DE-588)1021149853 |
| author_corporate | FORMATS Antwerpen |
| author_corporate_role | aut |
| author_facet | Petrucci, Laure Sproston, Jeremy FORMATS Antwerpen |
| author_sort | FORMATS Antwerpen |
| building | Verbundindex |
| bvnumber | BV049473222 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1416406404 (DE-599)BVBBV049473222 |
| 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>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049473222</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">231219s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031426254</subfield><subfield code="9">978-3-031-42625-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1416406404</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049473222</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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FORMATS</subfield><subfield code="n">21.</subfield><subfield code="d">2023</subfield><subfield code="c">Antwerpen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1307217222</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal modeling and analysis of timed systems</subfield><subfield code="b">21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings</subfield><subfield code="c">Laure Petrucci, Jeremy Sproston, 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, 180 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">14138</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</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 Engineering and Networks</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">Natural Language Processing (NLP)</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">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 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">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</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">Antwerpen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petrucci, Laure</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sproston, Jeremy</subfield><subfield code="0">(DE-588)1021149853</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-42626-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">14138</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">14138</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034818787</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Antwerpen gnd-content |
| genre_facet | Konferenzschrift 2023 Antwerpen |
| id | DE-604.BV049473222 |
| illustrated | Illustrated |
| index_date | 2024-07-03T23:16:50Z |
| indexdate | 2025-01-10T15:21:59Z |
| institution | BVB |
| institution_GND | (DE-588)1307217222 |
| isbn | 9783031426254 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034818787 |
| oclc_num | 1416406404 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiv, 180 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 | FORMATS 21. 2023 Antwerpen Verfasser (DE-588)1307217222 aut Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings Laure Petrucci, Jeremy Sproston, editors Cham Springer [2023] © 2023 xiv, 180 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 14138 Theory of Computation Data Structures and Information Theory Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Data structures (Computer science) Information theory Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) (DE-588)1071861417 Konferenzschrift 2023 Antwerpen gnd-content Petrucci, Laure edt Sproston, Jeremy (DE-588)1021149853 edt Erscheint auch als Online-Ausgabe 978-3-031-42626-1 Lecture Notes in Computer Science 14138 (DE-604)BV000000607 14138 |
| spellingShingle | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings Lecture Notes in Computer Science Theory of Computation Data Structures and Information Theory Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Data structures (Computer science) Information theory Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) |
| subject_GND | (DE-588)1071861417 |
| title | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |
| title_auth | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |
| title_exact_search | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |
| title_exact_search_txtP | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |
| title_full | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings Laure Petrucci, Jeremy Sproston, editors |
| title_fullStr | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings Laure Petrucci, Jeremy Sproston, editors |
| title_full_unstemmed | Formal modeling and analysis of timed systems 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings Laure Petrucci, Jeremy Sproston, editors |
| title_short | Formal modeling and analysis of timed systems |
| title_sort | formal modeling and analysis of timed systems 21st international conference formats 2023 antwerp belgium september 19 21 2023 proceedings |
| title_sub | 21st international conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |
| topic | Theory of Computation Data Structures and Information Theory Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Data structures (Computer science) Information theory Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) |
| topic_facet | Theory of Computation Data Structures and Information Theory Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer science Data structures (Computer science) Information theory Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) Konferenzschrift 2023 Antwerpen |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT formatsantwerpen formalmodelingandanalysisoftimedsystems21stinternationalconferenceformats2023antwerpbelgiumseptember19212023proceedings AT petruccilaure formalmodelingandanalysisoftimedsystems21stinternationalconferenceformats2023antwerpbelgiumseptember19212023proceedings AT sprostonjeremy formalmodelingandanalysisoftimedsystems21stinternationalconferenceformats2023antwerpbelgiumseptember19212023proceedings |