Haullasi löytyi yhteensä 113 tuotettaHaluatko tarkentaa hakukriteerejä? Suosituimmat ensin Aakkosjärjestys Vuosijärjestys Viimeksi lisätyt Viimeksi julkaistut Jing Sun; Meng Sun
Springer Nature Switzerland AG (2018)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
49,60 €
Sun Jing SunHankintapalvelu
104,40 €
Jing Sun
The University of Michigan Press (2012)
Saatavuus:
Tilaustuote Kovakantinen kirja
85,80 €
Jing Sun
De Gruyter (2018)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
56,20 €
Maosong Sun; Bing Qin; Xipeng Qiu; Jiang Jing; Xianpei Han; Gaoqi Rao; Yubo Chen
Springer Verlag, Singapore (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
72,80 €
Sam-Shajing Sun; Niyazi Serdar Sariciftci
Taylor & Francis Inc (2005)
Saatavuus:
Tilaustuote Kovakantinen kirja
275,90 €
Sam-Shajing Sun; Larry R. Dalton
Taylor & Francis Inc (2008)
Saatavuus:
Tilaustuote Kovakantinen kirja
140,10 €
Jing Ping Sun; Joel Felner; John Merlino
John Wiley and Sons Ltd (2010)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
133,00 €
Wang Shu-Jing; Her Chia-Fen; Sun Wan-Ling; Li Fang-LingHankintapalvelu
38,40 €
Jiadong Sun (ed.); Jingnan Liu (ed.); Yuanxi Yang (ed.); Shiwei Fan (ed.)
Springer (2012)
Saatavuus:
Tilaustuote Kovakantinen kirja
172,80 €
Jiadong Sun (ed.); Jingnan Liu (ed.); Yuanxi Yang (ed.); Shiwei Fan (ed.)
Springer (2012)
Saatavuus:
Tilaustuote Kovakantinen kirja
172,80 €
Jiadong Sun (ed.); Jingnan Liu (ed.); Yuanxi Yang (ed.); Shiwei Fan (ed.)
Springer (2012)
Saatavuus:
Tilaustuote Kovakantinen kirja
172,80 €
Jing Sun; Nicholas BuysHankintapalvelu
89,60 €
Petros Ioannou; Jing Sun
Dover Publications (2012)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
40,20 €
Zhengquan Xu; Jing SunHankintapalvelu
103,30 €
Jing Sun
The University of Michigan Press (2013)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
37,80 €
Lindsay Groves (ed.); Jing Sun (ed.)
Springer (2013)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
49,60 €
Petros Ioannou; Jing SunLoppuunmyyty
84,60 €
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, Q
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
