NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Dutle, Aaron (EDT)/ Humphrey, Laura (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥30,246(本体¥27,497)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 274pt
  • 海外からお取り寄せ(通常6~9週間)
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Kohlhase, Andrea (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥16,496(本体¥14,997)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 149pt
  • 海外からお取り寄せ(通常6~9週間)
Modelling and Development of Intelligent Systems : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer International Publishing AG(2023/02発売)
  • ポイント 170pt
  • 海外取次在庫
Modelling and Development of Intelligent Systems : 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥20,621(本体¥18,747)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 187pt
  • 海外からお取り寄せ(通常6~9週間)
Clinical Image-Based Procedures. Translational Research in Medical Imaging : Third International Workshop, CLIP 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Revised Selected Papers (Image Processing, Computer Visio (2014)
  • 洋書

Clinical Image-Based Procedures. Translational Research in Medical Imaging : Third International Workshop, CLIP 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Revised Selected Papers (Image Processing, Computer Visio (2014)  Paperback,  言語:ENG

Linguraru, Marius George (EDT)/ Oyarzun Laura, Cristina (EDT)/ Shekhar, Raj (EDT)

  • ウェブストア価格 ¥9,374(本体¥8,522)
  • Springer International Publishing AG(2014/12発売)
  • ポイント 85pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Modelling and Development of Intelligent Systems : 6th International Conference, MDIS 2019, Sibiu, Romania, October 3-5, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Modelling and Development of Intelligent Systems : 6th International Conference, MDIS 2019, Sibiu, Romania, October 3-5, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Clinical Image-Based Procedures. Translational Research in Medical Imaging : Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Revised Selected Papers (Lecture Notes in Computer Science (2014)
  • 洋書
  • 電子版あり

Clinical Image-Based Procedures. Translational Research in Medical Imaging : Second International Workshop, CLIP 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Revised Selected Papers (Lecture Notes in Computer Science (2014)  Paperback,  言語:ENG

Erdt, Marius (EDT)/ Linguraru, Marius George (EDT)/ Oyarzun Laura, Cristina (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 104pt
  • 海外取次在庫
NETWORKING 2010 : 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications 6091) (2010. XVI, 410 S.)
  • 洋書

NETWORKING 2010 : 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications 6091) (2010. XVI, 410 S.)  Paperback

Herausgegeben von Crovella, Mark/ Feeney, Laura Marie/ Rubenstein, Dan/ Raghavan, S.V.

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 119pt
  • 海外取次在庫
Organizador de requisitos en la gestión de proyectos, enfoque sistémico : Sistema organizador de requerimientos de proyectos con técnicas de ingeniería de requisitos en la gestión de proyectos (2015. 208 S. 220 mm)
  • 洋書

Organizador de requisitos en la gestión de proyectos, enfoque sistémico : Sistema organizador de requerimientos de proyectos con técnicas de ingeniería de requisitos en la gestión de proyectos (2015. 208 S. 220 mm)  Paperback

Vargas Perez, Vanessa Atenea/Vargas Perez, Laura Silvia

  • ウェブストア価格 ¥12,764(本体¥11,604)
  • PUBLICIA(2015発売)
  • ポイント 116pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Las TIC en la educación : Propuesta didáctica para mejorar el aprendizaje de operaciones combinadas con OpeCombi en séptimo grado (2025. 64 S. 220 mm)
  • 洋書

Las TIC en la educación : Propuesta didáctica para mejorar el aprendizaje de operaciones combinadas con OpeCombi en séptimo grado (2025. 64 S. 220 mm)  Paperback

Mendieta Fonseca, Leonel Antonio/Ló/pez Ticay, Laura Leticia/Selva Peñ/a, Katerine Dayana

  • ウェブストア価格 ¥10,797(本体¥9,816)
  • OMNISCRIPTUM; EDITORIAL ACADÉMICA ESPAÑOLA(2025発売)
  • ポイント 98pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Machine Learning Techniques to Predict Terrorist Attacks : Exemplified by Jama'at Nasr al-Islam wal Muslimin (Terrorism, Security, and Computation)
  • 洋書

Machine Learning Techniques to Predict Terrorist Attacks : Exemplified by Jama'at Nasr al-Islam wal Muslimin (Terrorism, Security, and Computation)  Hardcover,  言語:ENG

Mostert, Laura/ Lindelauf, Roy/ Pulice, Chiara

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Clinical Image-Based Procedures. from Planning to Intervention : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, (2013)
  • 洋書

Clinical Image-Based Procedures. from Planning to Intervention : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers (Image Processing, Computer Vision, Pattern Recognition, (2013)  Paperback,  言語:ENG

Drechsler, Klaus (EDT)/ Erdt, Marius (EDT)/ Lingurau, Marius George (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 94pt
  • 海外取次在庫
Lohn- und Gehaltsabrechnung mit DATEV Lohn und Gehalt comfort : Ihr Lernbuch mit kompaktem Praxiswissen (2025. 490 S. 24 cm)
  • 洋書

Lohn- und Gehaltsabrechnung mit DATEV Lohn und Gehalt comfort : Ihr Lernbuch mit kompaktem Praxiswissen (2025. 490 S. 24 cm)  Paperback

Lenz, Guenter/Degel, Laura/Liermann, Burkhard

  • ウェブストア価格 ¥12,272(本体¥11,157)
  • BILDNER VERLAG(2025発売)
  • ポイント 111pt
  • 海外取次在庫
Clinical Image-Based Procedures : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Clinical Image-Based Procedures : 11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Chen, Yufei (EDT)/ Linguraru, Marius George (EDT)/ Shekhar, Raj (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures : 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedi
  • 洋書

Multimodal Learning for Clinical Decision Support and Clinical Image-Based Procedures : 10th International Workshop, ML-CDS 2020, and 9th International Workshop, CLIP 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedi  Paperback,  言語:ENG

Syeda-Mahmood, Tanveer (EDT)/ Drechsler, Klaus (EDT)/ Greenspan, Hayit (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Clinical Image-Based Procedures, Distributed and Collaborative Learning, Artificial Intelligence for Combating COVID-19 and Secure and Privacy-Preserving Machine Learning : 10th Workshop, CLIP 2021, Second Workshop, DCL 2021, First Workshop, LL-COVID
  • 洋書

Clinical Image-Based Procedures, Distributed and Collaborative Learning, Artificial Intelligence for Combating COVID-19 and Secure and Privacy-Preserving Machine Learning : 10th Workshop, CLIP 2021, Second Workshop, DCL 2021, First Workshop, LL-COVID  Paperback

Oyarzun Laura, Cristina (EDT)/ Cardoso, M. Jorge (EDT)/ Rosen-Zvi, Michal (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Privacy Technologies and Policy : 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Privacy Technologies and Policy : 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Jensen, Meiko (EDT)/ Lauradoux, Cédric (EDT)/ Rannenberg, Kai (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 94pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Privacy Technologies and Policy : 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Privacy Technologies and Policy : 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Rannenberg, Kai (EDT)/ Drogkaris, Prokopios (EDT)/ Lauradoux, Cédric (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 246pt
  • 海外取次在庫