Engineering trustworthy software systems: first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
[Cham]
Springer
[2016]
|
| Schriftenreihe: | Lecture notes in computer science
9506 |
| Schlagworte: | |
| Beschreibung: | IX, 323 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319296272 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043453526 | ||
| 003 | DE-604 | ||
| 005 | 20170428 | ||
| 007 | t | ||
| 008 | 160311s2016 a||| |||| 10||| eng d | ||
| 020 | |a 9783319296272 |c Print |9 978-3-319-29627-2 | ||
| 035 | |a (OCoLC)946590427 | ||
| 035 | |a (DE-599)BVBBV043453526 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 111 | 2 | |a International School on Engineering Trustworthy Software Systems |n 1. |d 2014 |c Chongqing |j Verfasser |0 (DE-588)1090897596 |4 aut | |
| 245 | 1 | 0 | |a Engineering trustworthy software systems |b first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures |c Zhiming Liu, Zili Zhang (eds.) |
| 264 | 1 | |a [Cham] |b Springer |c [2016] | |
| 300 | |a IX, 323 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 9506 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer simulation | |
| 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 Simulation and Modeling | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Liu, Zhiming |d 1961- |0 (DE-588)129858900 |4 edt | |
| 700 | 1 | |a Zhang, Zili |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-29628-9 |
| 830 | 0 | |a Lecture notes in computer science |v 9506 |w (DE-604)BV000000607 |9 9506 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028870871 | ||
Datensatz im Suchindex
| _version_ | 1804176063484395520 |
|---|---|
| any_adam_object | |
| author2 | Liu, Zhiming 1961- Zhang, Zili |
| author2_role | edt edt |
| author2_variant | z l zl z z zz |
| author_GND | (DE-588)129858900 |
| author_corporate | International School on Engineering Trustworthy Software Systems Chongqing |
| author_corporate_role | aut |
| author_facet | Liu, Zhiming 1961- Zhang, Zili International School on Engineering Trustworthy Software Systems Chongqing |
| author_sort | International School on Engineering Trustworthy Software Systems Chongqing |
| building | Verbundindex |
| bvnumber | BV043453526 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)946590427 (DE-599)BVBBV043453526 |
| 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>01928nam a2200505zcb4500</leader><controlfield tag="001">BV043453526</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170428 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160311s2016 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319296272</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-29627-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946590427</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043453526</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="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International School on Engineering Trustworthy Software Systems</subfield><subfield code="n">1.</subfield><subfield code="d">2014</subfield><subfield code="c">Chongqing</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1090897596</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Engineering trustworthy software systems</subfield><subfield code="b">first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures</subfield><subfield code="c">Zhiming Liu, Zili Zhang (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="300" ind1=" " ind2=" "><subfield code="a">IX, 323 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">9506</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</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">Computer simulation</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">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="700" ind1="1" ind2=" "><subfield code="a">Liu, Zhiming</subfield><subfield code="d">1961-</subfield><subfield code="0">(DE-588)129858900</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Zili</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-29628-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">9506</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9506</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028870871</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043453526 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:26:13Z |
| institution | BVB |
| institution_GND | (DE-588)1090897596 |
| isbn | 9783319296272 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028870871 |
| oclc_num | 946590427 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | IX, 323 Seiten Illustrationen, 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 | International School on Engineering Trustworthy Software Systems 1. 2014 Chongqing Verfasser (DE-588)1090897596 aut Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures Zhiming Liu, Zili Zhang (eds.) [Cham] Springer [2016] IX, 323 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 9506 Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik (DE-588)1071861417 Konferenzschrift gnd-content Liu, Zhiming 1961- (DE-588)129858900 edt Zhang, Zili edt Erscheint auch als Online-Ausgabe 978-3-319-29628-9 Lecture notes in computer science 9506 (DE-604)BV000000607 9506 |
| spellingShingle | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures Lecture notes in computer science Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures |
| title_auth | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures |
| title_exact_search | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures |
| title_full | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures Zhiming Liu, Zili Zhang (eds.) |
| title_fullStr | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures Zhiming Liu, Zili Zhang (eds.) |
| title_full_unstemmed | Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures Zhiming Liu, Zili Zhang (eds.) |
| title_short | Engineering trustworthy software systems |
| title_sort | engineering trustworthy software systems first international school setss 2014 chongqing china september 8 13 2014 tutorial lectures |
| title_sub | first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures |
| topic | Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik |
| topic_facet | Computer science Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Simulation and Modeling Special Purpose and Application-Based Systems Informatik Konferenzschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT internationalschoolonengineeringtrustworthysoftwaresystemschongqing engineeringtrustworthysoftwaresystemsfirstinternationalschoolsetss2014chongqingchinaseptember8132014tutoriallectures AT liuzhiming engineeringtrustworthysoftwaresystemsfirstinternationalschoolsetss2014chongqingchinaseptember8132014tutoriallectures AT zhangzili engineeringtrustworthysoftwaresystemsfirstinternationalschoolsetss2014chongqingchinaseptember8132014tutoriallectures |