Rigorous state-based methods: 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2020]
|
| Schriftenreihe: | Lecture notes in computer science
12071 |
| Schlagworte: | |
| Beschreibung: | xii, 428 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030480769 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046756378 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200609s2020 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030480769 |9 978-3-030-48076-9 | ||
| 035 | |a (OCoLC)1164625322 | ||
| 035 | |a (DE-599)BVBBV046756378 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 111 | 2 | |a ABZ (Veranstaltung) |n 7. |d 2020 |c Ulm |j Verfasser |0 (DE-588)1211650510 |4 aut | |
| 245 | 1 | 0 | |a Rigorous state-based methods |b 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings |c Alexander Raschke, Dominique Méry, Frank Houdek (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 300 | |a xii, 428 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 12071 | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Computer Systems Organization and Communication Networks | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Control Structures and Microprogramming | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer organization | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Microprogramming | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mikroprogrammierung |0 (DE-588)4039231-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Ulm |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2020 |z Ulm |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 2 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 3 | |a Mikroprogrammierung |0 (DE-588)4039231-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Raschke, Alexander |0 (DE-588)140308342 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-48077-6 |
| 830 | 0 | |a Lecture notes in computer science |v 12071 |w (DE-604)BV000000607 |9 12071 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032166013 | |
Datensatz im Suchindex
| _version_ | 1820875766373548032 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Raschke, Alexander |
| author2_role | edt |
| author2_variant | a r ar |
| author_GND | (DE-588)140308342 |
| author_corporate | ABZ (Veranstaltung) Ulm |
| author_corporate_role | aut |
| author_facet | Raschke, Alexander ABZ (Veranstaltung) Ulm |
| author_sort | ABZ (Veranstaltung) Ulm |
| building | Verbundindex |
| bvnumber | BV046756378 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1164625322 (DE-599)BVBBV046756378 |
| 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>00000nam a2200000zcb4500</leader><controlfield tag="001">BV046756378</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200609s2020 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030480769</subfield><subfield code="9">978-3-030-48076-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164625322</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046756378</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="111" ind1="2" ind2=" "><subfield code="a">ABZ (Veranstaltung)</subfield><subfield code="n">7.</subfield><subfield code="d">2020</subfield><subfield code="c">Ulm</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1211650510</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rigorous state-based methods</subfield><subfield code="b">7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings</subfield><subfield code="c">Alexander Raschke, Dominique Méry, Frank Houdek (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 428 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">12071</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control Structures and Microprogramming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprogramming </subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mikroprogrammierung</subfield><subfield code="0">(DE-588)4039231-4</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">2020</subfield><subfield code="z">Ulm</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2020</subfield><subfield code="z">Ulm</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Mikroprogrammierung</subfield><subfield code="0">(DE-588)4039231-4</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">Raschke, Alexander</subfield><subfield code="0">(DE-588)140308342</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-030-48077-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12071</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12071</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032166013</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2020 Ulm gnd-content |
| genre_facet | Konferenzschrift 2020 Ulm |
| id | DE-604.BV046756378 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:43:12Z |
| indexdate | 2025-01-10T15:20:51Z |
| institution | BVB |
| institution_GND | (DE-588)1211650510 |
| isbn | 9783030480769 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032166013 |
| oclc_num | 1164625322 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 428 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | ABZ (Veranstaltung) 7. 2020 Ulm Verfasser (DE-588)1211650510 aut Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings Alexander Raschke, Dominique Méry, Frank Houdek (eds.) Cham Springer [2020] xii, 428 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12071 Mathematical Logic and Formal Languages Artificial Intelligence Computer Systems Organization and Communication Networks Software Engineering Control Structures and Microprogramming Mathematical logic Artificial intelligence Computer organization Software engineering Microprogramming Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Mikroprogrammierung (DE-588)4039231-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2020 Ulm gnd-content Mathematische Logik (DE-588)4037951-6 s Künstliche Intelligenz (DE-588)4033447-8 s Software Engineering (DE-588)4116521-4 s Mikroprogrammierung (DE-588)4039231-4 s DE-604 Raschke, Alexander (DE-588)140308342 edt Erscheint auch als Online-Ausgabe 978-3-030-48077-6 Lecture notes in computer science 12071 (DE-604)BV000000607 12071 |
| spellingShingle | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings Lecture notes in computer science Mathematical Logic and Formal Languages Artificial Intelligence Computer Systems Organization and Communication Networks Software Engineering Control Structures and Microprogramming Mathematical logic Artificial intelligence Computer organization Software engineering Microprogramming Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd Mikroprogrammierung (DE-588)4039231-4 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4037951-6 (DE-588)4116521-4 (DE-588)4039231-4 (DE-588)1071861417 |
| title | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings |
| title_auth | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings |
| title_exact_search | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings |
| title_exact_search_txtP | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings |
| title_full | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings Alexander Raschke, Dominique Méry, Frank Houdek (eds.) |
| title_fullStr | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings Alexander Raschke, Dominique Méry, Frank Houdek (eds.) |
| title_full_unstemmed | Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings Alexander Raschke, Dominique Méry, Frank Houdek (eds.) |
| title_short | Rigorous state-based methods |
| title_sort | rigorous state based methods 7th international conference abz 2020 ulm germany may 27 29 2020 proceedings |
| title_sub | 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings |
| topic | Mathematical Logic and Formal Languages Artificial Intelligence Computer Systems Organization and Communication Networks Software Engineering Control Structures and Microprogramming Mathematical logic Artificial intelligence Computer organization Software engineering Microprogramming Künstliche Intelligenz (DE-588)4033447-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd Mikroprogrammierung (DE-588)4039231-4 gnd |
| topic_facet | Mathematical Logic and Formal Languages Artificial Intelligence Computer Systems Organization and Communication Networks Software Engineering Control Structures and Microprogramming Mathematical logic Artificial intelligence Computer organization Software engineering Microprogramming Künstliche Intelligenz Mathematische Logik Mikroprogrammierung Konferenzschrift 2020 Ulm |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT abzveranstaltungulm rigorousstatebasedmethods7thinternationalconferenceabz2020ulmgermanymay27292020proceedings AT raschkealexander rigorousstatebasedmethods7thinternationalconferenceabz2020ulmgermanymay27292020proceedings |