Haullasi löytyi yhteensä 60 tuotettaHaluatko tarkentaa hakukriteerejä? Suosituimmat ensin Aakkosjärjestys Vuosijärjestys Viimeksi lisätyt Viimeksi julkaistut Xuandong Li (ed.); Zhiming Liu (ed.); Wang Yi (ed.)Tilaustuote
47,70 €
wu su xuan wang fu xiong deng (yi)Tilaustuote
15,90 €
Youxuan Wang; Wang YouxuanTilaustuote
153,60 €
Youxuan Wang; Wang YouxuanTilaustuote
56,60 €
Perry G. Wang; Weixuan HeTilaustuote
262,00 €
Xuan WangHankintapalvelu
130,80 €
Xuanhui WangHankintapalvelu
130,80 €
Xuanjie WangHankintapalvelu
52,60 €
Yixuan WangTilaustuote
120,80 €
Xuanji WangTilaustuote
58,70 €
Guogang Wang (ed.); Gang Zeng (ed.); Xuan Xiaoying (ed.)Tilaustuote
107,50 €
Shixuan Wang; 王世璇Hankintapalvelu
104,70 €
Shixuan Wang; 王世璇Hankintapalvelu
123,30 €
Zhixuan Wang (ed.)Tilaustuote
97,90 €
Xuan Juliana WangHankintapalvelu
53,00 €
Xiaofeng Meng; Ruixuan Li; Kanliang Wang; Baoning Niu; Xin Wang; Gansen ZhaoTilaustuote
49,60 €
Xuan WangHankintapalvelu
37,70 €
Xuan Juliana WangHankintapalvelu
37,60 €
Zhixuan Wang (ed.)Tilaustuote
97,90 €
Perry G. Wang; Weixuan HeTilaustuote
98,90 €
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China,
Springer Sivumäärä: 317 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 2015, 27.10.2015 (lisätietoa ) Kieli: Englanti This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.
The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
