Computer safety, reliability, and security: SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings
Gespeichert in:
| Weitere beteiligte Personen: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9923 |
| Schlagwörter: | |
| Umfang: | XIV, 400 Seiten Diagramme |
| ISBN: | 9783319454795 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043768568 | ||
| 003 | DE-604 | ||
| 005 | 20170109 | ||
| 007 | t| | ||
| 008 | 160916s2016 xx |||| |||| 10||| eng d | ||
| 020 | |a 9783319454795 |9 978-3-319-45479-5 | ||
| 035 | |a (OCoLC)960013698 | ||
| 035 | |a (DE-599)BVBBV043768568 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 260f |2 stub | ||
| 084 | |a DAT 343f |2 stub | ||
| 084 | |a DAT 286f |2 stub | ||
| 084 | |a TEC 770f |2 stub | ||
| 245 | 1 | 0 | |a Computer safety, reliability, and security |b SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings |c Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XIV, 400 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 9923 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer Applications | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 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 |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Skavhaug, Amund |d 1965- |0 (DE-588)1123041024 |4 edt | |
| 711 | 2 | |a SAFECOMP |n 35. |d 2016 |c Trondheim |0 (DE-588)1113669470 |4 oth | |
| 711 | 2 | |a ASSURE |n 4. |d 2016 |c Trondheim |0 (DE-588)1113669527 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-45480-1 |
| 830 | 0 | |a Lecture notes in computer science |v 9923 |w (DE-604)BV000000607 |9 9923 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029179742 | |
Datensatz im Suchindex
| _version_ | 1820980678292930561 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Skavhaug, Amund 1965- |
| author2_role | edt |
| author2_variant | a s as |
| author_GND | (DE-588)1123041024 |
| author_facet | Skavhaug, Amund 1965- |
| building | Verbundindex |
| bvnumber | BV043768568 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 260f DAT 343f DAT 286f TEC 770f |
| ctrlnum | (OCoLC)960013698 (DE-599)BVBBV043768568 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik 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">BV043768568</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">160916s2016 xx |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319454795</subfield><subfield code="9">978-3-319-45479-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)960013698</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043768568</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.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 770f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer safety, reliability, and security</subfield><subfield code="b">SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings</subfield><subfield code="c">Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 400 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">9923</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">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">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</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">Computation by Abstract Devices</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 Applications</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">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</subfield><subfield code="0">(DE-588)4055382-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Skavhaug, Amund</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)1123041024</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAFECOMP</subfield><subfield code="n">35.</subfield><subfield code="d">2016</subfield><subfield code="c">Trondheim</subfield><subfield code="0">(DE-588)1113669470</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ASSURE</subfield><subfield code="n">4.</subfield><subfield code="d">2016</subfield><subfield code="c">Trondheim</subfield><subfield code="0">(DE-588)1113669527</subfield><subfield code="4">oth</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-45480-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9923</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9923</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029179742</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043768568 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-11T19:08:23Z |
| institution | BVB |
| institution_GND | (DE-588)1113669470 (DE-588)1113669527 |
| isbn | 9783319454795 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029179742 |
| oclc_num | 960013698 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XIV, 400 Seiten Diagramme |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.) [Cham] Springer [2016] © 2016 XIV, 400 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9923 Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Logics and Meanings of Programs Computation by Abstract Devices Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Formale Methode (DE-588)4333722-3 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Software (DE-588)4055382-6 s Zuverlässigkeit (DE-588)4059245-5 s Formale Methode (DE-588)4333722-3 s DE-604 Skavhaug, Amund 1965- (DE-588)1123041024 edt SAFECOMP 35. 2016 Trondheim (DE-588)1113669470 oth ASSURE 4. 2016 Trondheim (DE-588)1113669527 oth Erscheint auch als Online-Ausgabe 978-3-319-45480-1 Lecture notes in computer science 9923 (DE-604)BV000000607 9923 |
| spellingShingle | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings Lecture notes in computer science Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Logics and Meanings of Programs Computation by Abstract Devices Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software (DE-588)4055382-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4059245-5 (DE-588)4055382-6 (DE-588)1071861417 |
| title | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings |
| title_auth | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings |
| title_exact_search | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings |
| title_full | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.) |
| title_fullStr | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.) |
| title_full_unstemmed | Computer safety, reliability, and security SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch (eds.) |
| title_short | Computer safety, reliability, and security |
| title_sort | computer safety reliability and security safecomp 2016 workshops assure decsos sassur and tips trondheim norway september 20 2016 proceedings |
| title_sub | SAFECOMP 2016 workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings |
| topic | Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Logics and Meanings of Programs Computation by Abstract Devices Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Formale Methode (DE-588)4333722-3 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Software (DE-588)4055382-6 gnd |
| topic_facet | Computer science Software engineering Computers Computer logic Mathematical logic Application software Computer Science Logics and Meanings of Programs Computation by Abstract Devices Software Engineering Computer Applications Mathematical Logic and Formal Languages Informatik Formale Methode Zuverlässigkeit Software Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT skavhaugamund computersafetyreliabilityandsecuritysafecomp2016workshopsassuredecsossassurandtipstrondheimnorwayseptember202016proceedings AT safecomptrondheim computersafetyreliabilityandsecuritysafecomp2016workshopsassuredecsossassurandtipstrondheimnorwayseptember202016proceedings AT assuretrondheim computersafetyreliabilityandsecuritysafecomp2016workshopsassuredecsossassurandtipstrondheimnorwayseptember202016proceedings |