Software engineering for resilient systems: 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2017]
|
| Schriftenreihe: | Lecture notes in computer science
10479 |
| Schlagworte: | |
| Beschreibung: | XIV, 200 Seiten Diagramme |
| ISBN: | 9783319659473 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044485278 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 170912s2017 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319659473 |9 978-3-319-65947-3 | ||
| 035 | |a (OCoLC)1004339930 | ||
| 035 | |a (DE-599)BVBBV044485278 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 111 | 2 | |a SERENE |n 9. |d 2017 |c Genf |j Verfasser |0 (DE-588)1139733176 |4 aut | |
| 245 | 1 | 0 | |a Software engineering for resilient systems |b 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings |c Alexander Romanovsky, Elena A. Troubitsyna (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a XIV, 200 Seiten |b 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 10479 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Management information systems | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Management of Computing and Information Systems | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |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 Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 4 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 5 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Romanovsky, Alexander |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-65948-0 |
| 830 | 0 | |a Lecture notes in computer science |v 10479 |w (DE-604)BV000000607 |9 10479 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029885362 | |
Datensatz im Suchindex
| _version_ | 1820875696152510464 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Romanovsky, Alexander |
| author2_role | edt |
| author2_variant | a r ar |
| author_corporate | SERENE Genf |
| author_corporate_role | aut |
| author_facet | Romanovsky, Alexander SERENE Genf |
| author_sort | SERENE Genf |
| building | Verbundindex |
| bvnumber | BV044485278 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1004339930 (DE-599)BVBBV044485278 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | 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">BV044485278</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">170912s2017 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319659473</subfield><subfield code="9">978-3-319-65947-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004339930</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044485278</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.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SERENE</subfield><subfield code="n">9.</subfield><subfield code="d">2017</subfield><subfield code="c">Genf</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1139733176</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering for resilient systems</subfield><subfield code="b">9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings</subfield><subfield code="c">Alexander Romanovsky, Elena A. Troubitsyna (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 200 Seiten</subfield><subfield code="b">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">10479</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 communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</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">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</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">Management of Computing and Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Romanovsky, Alexander</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-319-65948-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10479</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10479</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029885362</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044485278 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:19:44Z |
| institution | BVB |
| institution_GND | (DE-588)1139733176 |
| isbn | 9783319659473 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029885362 |
| oclc_num | 1004339930 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XIV, 200 Seiten Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | SERENE 9. 2017 Genf Verfasser (DE-588)1139733176 aut Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings Alexander Romanovsky, Elena A. Troubitsyna (eds.) [Cham] Springer [2017] © 2017 XIV, 200 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10479 Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode (DE-588)4333722-3 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Fehlertoleranz (DE-588)4123192-2 s Zuverlässigkeit (DE-588)4059245-5 s Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Sicherheitskritisches System (DE-588)4767762-4 s 1\p DE-604 Romanovsky, Alexander edt Erscheint auch als Online-Ausgabe 978-3-319-65948-0 Lecture notes in computer science 10479 (DE-604)BV000000607 10479 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings Lecture notes in computer science Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4059245-5 (DE-588)4116521-4 (DE-588)4767762-4 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings |
| title_auth | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings |
| title_exact_search | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings |
| title_full | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings Alexander Romanovsky, Elena A. Troubitsyna (eds.) |
| title_fullStr | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings Alexander Romanovsky, Elena A. Troubitsyna (eds.) |
| title_full_unstemmed | Software engineering for resilient systems 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings Alexander Romanovsky, Elena A. Troubitsyna (eds.) |
| title_short | Software engineering for resilient systems |
| title_sort | software engineering for resilient systems 9th international workshop serene 2017 geneva switzerland september 4 5 2017 proceedings |
| title_sub | 9th international workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings |
| topic | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software Engineering (DE-588)4116521-4 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Computer science Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Management information systems Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems Informatik Formale Methode Zuverlässigkeit Sicherheitskritisches System Verifikation Fehlertoleranz Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT serenegenf softwareengineeringforresilientsystems9thinternationalworkshopserene2017genevaswitzerlandseptember452017proceedings AT romanovskyalexander softwareengineeringforresilientsystems9thinternationalworkshopserene2017genevaswitzerlandseptember452017proceedings |