1～3件／全3件 セーフサーチON
  •  
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Silva, Alexandra (EDT)/ Leino, K. Rustan M. (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer Nature Switzerland AG（2021/07発売）
  • ポイント 94pt
  • 海外取次在庫
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Silva, Alexandra (EDT)/ Leino, K. Rustan M. (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer Nature Switzerland AG（2021/07発売）
  • ポイント 94pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Silva, Alexandra (EDT)/ Wassermann, Renata (EDT)/ de Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥16,668（本体¥15,153）
  • Springer Nature Switzerland AG（2021/10発売）
  • ポイント 151pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •