Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)
  • 洋書

Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, Volume 713) (2007. 372 S. 235 mm)  Paperback

Herausgeber: Gottlob, Georg, Mundici, Daniele, Leitsch, Alexander

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2007発売)
  • ポイント 123pt
  • 海外取次在庫
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging : 5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging : 5th International Workshop, UNSURE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Sudre, Carole H. (EDT)/ Baumgartner, Christian F. (EDT)/ Dalca, Adrian (EDT)

  • ウェブストア価格 ¥14,978(本体¥13,617)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 136pt
  • 海外取次在庫
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 10th European Conference, EvoBIO 2012, M (Lecture Notes in Computer Science Vol.7246) (2012. XIII, 255 p. 235 mm)
  • 洋書

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics : 10th European Conference, EvoBIO 2012, M (Lecture Notes in Computer Science Vol.7246) (2012. XIII, 255 p. 235 mm)  Paperback

Herausgegeben von Giacobini, Mario/ Vanneschi, Leonardo/ Bush, William S.

  • ウェブストア価格 ¥12,457(本体¥11,325)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 113pt
  • 海外取次在庫
Policies and Research in Identity Management : Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013, Proceedings (Ifip Advances in Information and Communication Technology) (2013)
  • 洋書

Policies and Research in Identity Management : Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013, Proceedings (Ifip Advances in Information and Communication Technology) (2013)  Hardcover,  言語:ENG

Fischer-Hübner, Simone (EDT)/ de Leeuw, Elisabeth (EDT)/ Mitchell, Chris J. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ご注文いただけません
Applications of Medical Artificial Intelligence : First International Workshop, AMAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Applications of Medical Artificial Intelligence : First International Workshop, AMAI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Wu, Shandong (EDT)/ Shabestari, Behrouz (EDT)/ Xing, Lei (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 116pt
  • 海外取次在庫
Applications of Medical Artificial Intelligence : Third International Workshop, AMAI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Applications of Medical Artificial Intelligence : Third International Workshop, AMAI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wu, Shandong (EDT)/ Shabestari, Behrouz (EDT)/ Xing, Lei (EDT)

  • ウェブストア価格 ¥13,026(本体¥11,842)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 118pt
  • 海外取次在庫
Recommender Systems for Sustainability and Social Good : First International Workshop, RecSoGood 2024, Bari, Italy, October 18, 2024, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Recommender Systems for Sustainability and Social Good : First International Workshop, RecSoGood 2024, Bari, Italy, October 18, 2024, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Boratto, Ludovico (EDT)/ De Filippo, Allegra (EDT)/ Lex, Elisabeth (EDT)

  • ウェブストア価格 ¥17,943(本体¥16,312)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 163pt
  • 海外からお取り寄せ(通常6~9週間)
Wired / Wireless Internet Communication : 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7277) (2012. 2012. XIV, 382 S. 235 mm)
  • 洋書

Wired / Wireless Internet Communication : 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications .7277) (2012. 2012. XIV, 382 S. 235 mm)  Paperback

Herausgegeben von Koucheryavy, Yevgeni/ Mamatas, Lefteris/ Matta, Ibrahim/ Tsaoussidis, Vassilis

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫
Logics in Artificial Intelligence, JELIA 2004 : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3229) (2004. XIV, 744 p. 23,5 cm)
  • 洋書

Logics in Artificial Intelligence, JELIA 2004 : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science Vol.3229) (2004. XIV, 744 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Jose J. Alferes a. Joao Leite

  • ウェブストア価格 ¥27,079(本体¥24,618)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 246pt
  • 海外取次在庫
Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Evaluation of Novel Approaches to Software Engineering : 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Ali, Raian (EDT)/ Kaindl, Hermann (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 106pt
  • 海外取次在庫
Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Evaluation of Novel Approaches to Software Engineering : 16th International Conference, ENASE 2021, Virtual Event, April 26-27, 2021, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Ali, Raian (EDT)/ Kaindl, Hermann (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 175pt
  • 海外取次在庫
Algorithms and Computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7676) (2012. 2012. XVIII, 702 S. 117 SW-Abb.)
  • 洋書
Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Cabello, Enrique (EDT)/ Cardoso, Jorge (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2018/06発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Digital Technologies for Global Sourcing of Services : 14th International Workshop on Global Sourcing of Information Technology and Business Processes, Global Sourcing 2019, Obergurgl, Austria, December 18-21, 2019, Proceedings (Lecture Notes in Busi
  • 洋書

Digital Technologies for Global Sourcing of Services : 14th International Workshop on Global Sourcing of Information Technology and Business Processes, Global Sourcing 2019, Obergurgl, Austria, December 18-21, 2019, Proceedings (Lecture Notes in Busi  Paperback

Oshri, Ilan (EDT)/ Kotlarsky, Julia (EDT)/ Willcocks, Leslie P. (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Proceedings of ELM-2016 (Proceedings in Adaptation, Learning and Optimization)
  • 洋書
  • 電子版あり

Proceedings of ELM-2016 (Proceedings in Adaptation, Learning and Optimization)  Hardcover,  言語:ENG

Cao, Jiuwen (EDT)/ Cambria, Erik (EDT)/ Lendasse, Amaury (EDT)

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer International Publishing AG(2017/05発売)
  • ポイント 330pt
  • 海外取次在庫
Empowering Learners for Life in the Digital Age : IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24-28, 2018, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Empowering Learners for Life in the Digital Age : IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24-28, 2018, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback

Passey, Don (EDT)/ Bottino, Rosa (EDT)/ Lewin, Cathy (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 106pt
  • 海外取次在庫
Detection of Intrusions and Malware, and Vulnerability Assessment : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings (Security and Cryptology)
  • 洋書

Detection of Intrusions and Malware, and Vulnerability Assessment : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24-26, 2020, Proceedings (Security and Cryptology)  Paperback

Maurice, Clémentine (EDT)/ Bilge, Leyla (EDT)/ Stringhini, Gianluca (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Evaluation of Novel Approaches to Software Engineering : 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Evaluation of Novel Approaches to Software Engineering : 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Kaindl, Hermann (EDT)/ Mannion, Mike (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 175pt
  • 海外取次在庫
Evaluation of Novel Approaches to Software Engineering : 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Evaluation of Novel Approaches to Software Engineering : 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback

Kaindl, Hermann (EDT)/ Mannion, Mike (EDT)/ Maciaszek, Leszek A. (EDT)

  • ウェブストア価格 ¥25,679(本体¥23,345)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 233pt
  • 海外取次在庫
Information Processing in Computer Assisted Interventions : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012, Proceedings (Lecture Notes in Computer Science Vol.7330) (2012. XIII, 180 p. 235 mm)
  • 洋書

Information Processing in Computer Assisted Interventions : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012, Proceedings (Lecture Notes in Computer Science Vol.7330) (2012. XIII, 180 p. 235 mm)  Paperback

Herausgegeben von Abolmaesumi, Purang/ Joskowicz, Leo/ Navab, Nassir/ Jannin, Pierre

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 123pt
  • 海外取次在庫