Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Programming and Software Engineering) (2015)
  • 洋書
  • 電子版あり

Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Programming and Software Engineering) (2015)  Paperback

Bartocci, Ezio (EDT)/ Majumdar, Rupak (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2015/09発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Networked Systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Networked Systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback

Georgiou, Chryssis (EDT)/ Majumdar, Rupak (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 102pt
  • 海外取次在庫
Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書

Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Raskin, Jean-François (EDT)/ Chatterjee, Krishnendu (EDT)/ Doyen, Laurent (EDT)

  • ウェブストア価格 ¥20,554(本体¥18,686)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 186pt
  • 海外取次在庫
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback

Majumdar, Rupak (EDT)/ Kuncak, Viktor (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Majumdar, Rupak (EDT)/ Kuncak, Viktor (EDT)

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