Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Dongol, Brijesh (EDT)/ Troubitsyna, Elena (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 104pt
  • 海外取次在庫
Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings (Programming and Software Engineering) (2019)
  • 洋書
  • 電子版あり

Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings (Programming and Software Engineering) (2019)  Paperback,  言語:ENG

Romanovsky, Alexander (EDT)/ Troubitsyna, Elena (EDT)/ Gashi, Ilir (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 143pt
  • 海外取次在庫
Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings (Programming and Software Engineering) (2019)
  • 洋書
  • 電子版あり

Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings (Programming and Software Engineering) (2019)  Paperback,  言語:ENG

Romanovsky, Alexander (EDT)/ Troubitsyna, Elena (EDT)/ Bitsch, Friedemann (EDT)

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 123pt
  • 海外取次在庫
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings (Programming and Software Engineering)  Paperback

Romanovsky, Alexander (EDT)/ Troubitsyna, Elena A. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Crnkovic, Ivica (EDT)/ Troubitsyna, Elena (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/08発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
  • 洋書

Dependability and Computer Engineering: Concepts for Software-Intensive Systems  言語:ENG

Petre, Luigia (EDT)/ Sere, Kaisa (EDT)/ Troubitsyna, Elena (EDT)

  • Engineering Science Reference(2011/07発売)
  • ご注文いただけません
Dependability and Computer Engineering : Concepts for Software-Intensive Systems
  • 洋書

Dependability and Computer Engineering : Concepts for Software-Intensive Systems  Hardcover,  言語:ENG

Petre, Luigia (EDT)/ Sere, Kaisa (EDT)/ Troubitsyna, Elena (EDT)

  • ウェブストア価格 ¥40,909(本体¥37,190)
  • Information Science Reference(2011/07発売)
  • ポイント 371pt
  • 海外取次在庫
Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) 〈Vol. 4157〉
  • 洋書

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science) 〈Vol. 4157〉  Paperback,  言語:ENG

Jones, Cliff (EDT)/ Romanovsky, Alexander (EDT)/ Troubitsyna, Elena (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer(2007/01発売)
  • ポイント 104pt
  • 海外取次在庫