1～3件／全3件 セーフサーチON
  •  
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Leucker, Martin (EDT)/ Rueda, Camilo (EDT)/ Valencia, Frank D. (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2015/12発売）
  • ポイント 110pt
  • 海外取次在庫
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Chechik, Marsha (EDT)/ Katoen, Joost-Pieter (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥24,313（本体¥22,103）
  • Springer International Publishing AG（2023/03発売）
  • ポイント 221pt
  • 海外取次在庫
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science) （2018）
  • 洋書
  • 電子版あり

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Colombo, Christian (EDT)/ Leucker, Martin (EDT)

  • ウェブストア価格 ¥18,786（本体¥17,079）
  • Springer Nature Switzerland AG（2018/11発売）
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •