1～5件／全5件 セーフサーチON
  •  
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) （2017）
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (Lecture Notes in Computer Science) （2017）  Paperback

Ayala-Rincon, Mauricio (EDT)/ Munoz, Cesar A. (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer International Publishing AG（2017/08発売）
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Computing : 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science) （2025）
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Computing : 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science) （2025）  Paperback,  言語：ENG

Duque-Méndez, Néstor Darío (EDT)/ Aristizábal-Quintero, Luz Ángela (EDT)/ Orozco-Alzate, Mauricio (EDT)

  • ウェブストア価格 ¥18,186（本体¥16,533）
  • Springer International Publishing AG（2024/12発売）
  • ポイント 330pt
  • 海外からお取り寄せ（通常6～9週間）
Advances in Computing : 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science) （2025）
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advances in Computing : 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science) （2025）  Paperback,  言語：ENG

Duque-Méndez, Néstor Darío (EDT)/ Aristizábal-Quintero, Luz Ángela (EDT)/ Orozco-Alzate, Mauricio (EDT)

  • ウェブストア価格 ¥20,984（本体¥19,077）
  • Springer International Publishing AG（2024/12発売）
  • ポイント 380pt
  • 海外からお取り寄せ（通常6～9週間）
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support : Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019,
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support : Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019,  Paperback,  言語：ENG

Suzuki, Kenji (EDT)/ Reyes, Mauricio (EDT)/ Syeda-Mahmood, Tanveer (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 218pt
  • 海外取次在庫
Case-Based Reasoning Research and Development : 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1-4, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Case-Based Reasoning Research and Development : 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1-4, 2024, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Recio-Garcia, Juan A. (EDT)/ Orozco-del-Castillo, Mauricio G. (EDT)/ Bridge, Derek (EDT)

  • ウェブストア価格 ¥19,765（本体¥17,969）
  • Springer International Publishing AG（2024/06発売）
  • ポイント 358pt
  • 海外取次在庫
1～5件／全5件
  •