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,155（本体¥11,050）
  • Springer International Publishing AG（2017/08発売）
  • ポイント 110pt
  • オンデマンド(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,443（本体¥16,767）
  • Springer International Publishing AG（2024/12発売）
  • ポイント 167pt
  • 海外からお取り寄せ（通常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)

  • ウェブストア価格 ¥21,281（本体¥19,347）
  • Springer International Publishing AG（2024/12発売）
  • ポイント 193pt
  • 海外からお取り寄せ（通常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,155（本体¥11,050）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 110pt
  • 海外取次在庫
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,892（本体¥18,084）
  • Springer International Publishing AG（2024/06発売）
  • ポイント 180pt
  • 海外取次在庫
1～5件／全5件
  •