Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Piskac, Ruzica (EDT)

  • ウェブストア価格 ¥12,310(本体¥11,191)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 111pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Networked Systems : 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Networked Systems : 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Castañeda, Armando (EDT)/ Enea, Constantin (EDT)/ Gupta, Nirupam (EDT)

  • ウェブストア価格 ¥14,548(本体¥13,226)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 132pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥11,190(本体¥10,173)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥11,190(本体¥10,173)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 101pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥11,190(本体¥10,173)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 101pt
  • 海外取次在庫