Engineering trustworthy software systems: first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
[Cham]
Springer
[2016]
|
| Series: | Lecture notes in computer science
9506 |
| Subjects: | |
| Physical Description: | IX, 323 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319296272 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043453526 | ||
| 003 | DE-604 | ||
| 005 | 20170428 | ||
| 007 | t| | ||
| 008 | 160311s2016 xx 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 | |
| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028870871 | |
Record in the Search Index
| _version_ | 1820875672776605696 |
|---|---|
| adam_text | |
| 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>00000nam a2200000zcb4500</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 xx 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="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="943" ind1="1" 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 | 2025-01-10T15:19:22Z |
| 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 |