Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures (Programming and Software Engineering)
  • 洋書

Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures (Programming and Software Engineering)  Paperback,  言語:ENG

Bowen, Jonathan P. (EDT)/ Gomes, Cláudio (EDT)/ Liu, Zhiming (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2025/04発売)
  • ポイント 101pt
  • 海外取次在庫
Foundations of Health Informatics Engineering and Systems : First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. (Revised)
  • 洋書

Foundations of Health Informatics Engineering and Systems : First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. (Revised)  Paperback,  言語:ENG

Liu, Zhiming (EDT)/ Wassyng, Alan (EDT)

  • ウェブストア価格 ¥14,598(本体¥13,271)
  • Springer-Verlag New York Inc(2012/11発売)
  • ポイント 132pt
  • 海外取次在庫
Formal Methods and Software Engineering : 8th International Conference, ICFEM 2006, Macao, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4260〉
  • 洋書

Formal Methods and Software Engineering : 8th International Conference, ICFEM 2006, Macao, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4260〉  Paperback,  言語:ENG

Liu, Zhiming (EDT)/ He, Jifeng (EDT)

  • ウェブストア価格 ¥22,300(本体¥20,273)
  • Springer(2007/01発売)
  • ポイント 202pt
  • 海外取次在庫
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-based Software Development)
  • 洋書

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-based Software Development)  Hardcover,  言語:ENG

Liu, Zhiming (EDT)/ He, Jifeng (EDT)

  • ウェブストア価格 ¥34,467(本体¥31,334)
  • World Scientific Publishing Co Pte Ltd(2006/12発売)
  • ポイント 313pt
  • 海外からお取り寄せ(通常6~9週間)
Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)
  • 洋書

Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Programming and Software Engineering)  Paperback,  言語:ENG

Liu, Zhiming (EDT)/ Zhang, Zili (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Programming and Software Engineering)
  • 洋書

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Li, Xuandong (EDT)/ Liu, Zhiming (EDT)/ Yi, Wang (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/10発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Fiadeiro, José Luiz (EDT)/ Liu, Zhiming (EDT)/ Xue, Jinyun (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2014/07発売)
  • ポイント 101pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Theoretical Computer Science and General Issues 8049) (2013. xii, 445 S. XII, 445 p. 100 illus. 235 mm)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Theoretical Computer Science and General Issues 8049) (2013. xii, 445 S. XII, 445 p. 100 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Liu, Zhiming/ Woodcock, Jim/ Zhu, Huibiao

  • ウェブストア価格 ¥12,544(本体¥11,404)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2013発売)
  • ポイント 114pt
  • 海外取次在庫
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) (2013)
  • 洋書

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Liu, Zhiming (EDT)/ Woodcock, Jim (EDT)/ Zhu, Huibiao (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/07発売)
  • ポイント 101pt
  • 海外取次在庫
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bowen, Jonathan P. (EDT)/ Liu, Zhiming (EDT)/ Zhang, Zili (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2017/04発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。