Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dang, Thao (EDT)/ Stolz, Volker (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 143pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Carvalho, Gustavo (EDT)/ Stolz, Volker (EDT)

  • ウェブストア価格 ¥14,682(本体¥13,348)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 133pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Pun, Violet Ka I (EDT)/ Stolz, Volker (EDT)/ Simao, Adenilso (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Mann, Zoltán Ádám (EDT)/ Stolz, Volker (EDT)

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