Haullasi löytyi yhteensä 19 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 €
Henry H. Sun; Jingyan Meng; Kaijing YanHankintapalvelu
217,40 €
Fuchun Sun (ed.); Qinghu Meng (ed.); Zhumu Fu (ed.); Bin Fang (ed.)
Springer (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
68,90 €
Fuchun Sun (ed.); Qinghu Meng (ed.); Zhumu Fu (ed.); Bin Fang (ed.)
Springer (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
83,40 €
Masatoshi Yoshikawa; Xiaofeng Meng; Takayuki Yumoto; Qiang Ma; Lifeng Sun; Chiemi Watanabe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
49,60 €
Yanan Sun; Gary Yen; Mengjie ZhangLoppuunmyyty
112,40 €
Mengtao Sun; Xijiao MuHankintapalvelu
357,70 €
Yang Zhao; Wei Yan; Jun Sun; Mengxia Zhou; Zhaojuan Meng
Springer (2021)
Saatavuus:
Tilaustuote Kovakantinen kirja
83,40 €
Jiande Sun (ed.); Yue Wang (ed.); Mengyao Huo (ed.); Lexi Xu (ed.)
Springer (2022)
Saatavuus:
Tilaustuote Kovakantinen kirja
301,50 €
Yanan Sun; Gary G. Yen; Mengjie Zhang
Springer International Publishing AG (2022)
Saatavuus:
Tilaustuote Kovakantinen kirja
147,10 €
Yang Zhao; Wei Yan; Jun Sun; Mengxia Zhou; Zhaojuan Meng
Springer (2022)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
59,30 €
Cristina David; Meng Sun
Springer International Publishing AG (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
73,70 €
Mengtao Sun; Xijiao Mu; Rui Li
Springer Verlag, Singapore (2024)
Saatavuus:
Tilaustuote Kovakantinen kirja
117,20 €
Jiande Sun (ed.); Yue Wang (ed.); Mengyao Huo (ed.); Lexi Xu (ed.)
Springer (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
301,50 €
Mengtao Sun; Xijiao Mu
Springer (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
44,80 €
Yanan Sun; Gary G. Yen; Mengjie Zhang
Springer (2023)
Saatavuus:
Tilaustuote Pehmeäkantinen kirja
117,20 €
Diego Marmsoler (ed.); Meng Sun (ed.)Tulossa!
49,60 €
Sun Yanan Sun; Yen Gary G. Yen; Zhang Mengjie ZhangHankintapalvelu
114,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 14-17 arkipäivässä
