561～580件／全741件 セーフサーチON


Computational Science and Its Applications - ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part V (Theoretical Computer Science and General Issues)
  • 洋書

Computational Science and Its Applications - ICCSA 2021 : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part V (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Misra, Sanjay (EDT)

  • ウェブストア価格 ¥23,849（本体¥21,681）
  • Springer Nature Switzerland AG（2021/09発売）
  • ポイント 216pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Gaggl, Sarah (EDT)/ Martinez, Maria Vanina (EDT)/ Ortiz, Magdalena (EDT)

  • ウェブストア価格 ¥23,849（本体¥21,681）
  • Springer International Publishing AG（2023/09発売）
  • ポイント 216pt
  • 海外取次在庫
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) （2024）
  • 洋書

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) （2024）  Paperback,  言語：ENG

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥9,754（本体¥8,868）
  • Springer International Publishing AG（2024/07発売）
  • ポイント 88pt
  • 海外からお取り寄せ（通常6～9週間）
Knowledge Engineering and Knowledge Management : 24th International Conference, EKAW 2024, Amsterdam, the Netherlands, November 26-28, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Knowledge Engineering and Knowledge Management : 24th International Conference, EKAW 2024, Amsterdam, the Netherlands, November 26-28, 2024, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Alam, Mehwish (EDT)/ Rospocher, Marco (EDT)/ van Erp, Marieke (EDT)

  • ウェブストア価格 ¥17,585（本体¥15,987）
  • Springer International Publishing AG（2024/11発売）
  • ポイント 159pt
  • 海外からお取り寄せ（通常6～9週間）
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro （2018）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro （2018）  Paperback,  言語：ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥13,007（本体¥11,825）
  • Springer International Publishing AG（2018/04発売）
  • ポイント 118pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science) （2018）
  • 洋書
  • 電子版あり

Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science) （2018）  Paperback,  言語：ENG

Moss, Lawrence S. (EDT)/ de Queiroz, Ruy (EDT)/ Martinez, Maricarmen (EDT)

  • ウェブストア価格 ¥16,260（本体¥14,782）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2018/06発売）
  • ポイント 147pt
  • 海外取次在庫
Transactions on Computational Science XXXVIII (Transactions on Computational Science)
  • 洋書

Transactions on Computational Science XXXVIII (Transactions on Computational Science)  Paperback

Gavrilova, Marina L. (EDT)/ Tan, C.J. Kenneth (EDT)

  • ウェブストア価格 ¥11,922（本体¥10,839）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2021/03発売）
  • ポイント 108pt
  • 海外取次在庫
Low Field Pediatric Brain Magnetic Resonance Image Segmentation and Quality Assurance : First MICCAI Challenge, LISA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Low Field Pediatric Brain Magnetic Resonance Image Segmentation and Quality Assurance : First MICCAI Challenge, LISA 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Lepore, Natasha (EDT)/ Linguraru, Marius George (EDT)

  • ウェブストア価格 ¥12,173（本体¥11,067）
  • Springer International Publishing AG（2025/02発売）
  • ポイント 110pt
  • 海外からお取り寄せ（通常6～9週間）
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Pr
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Pr  Paperback,  言語：ENG

Gurfinkel, Arie (EDT)/ Heule, Marijn (EDT)

  • ウェブストア価格 ¥9,467（本体¥8,607）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 86pt
  • 海外からお取り寄せ（通常6～9週間）
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Pr
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Pr  Paperback,  言語：ENG

Gurfinkel, Arie (EDT)/ Heule, Marijn (EDT)

  • ウェブストア価格 ¥9,467（本体¥8,607）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 86pt
  • 海外からお取り寄せ（通常6～9週間）
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Pr
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Pr  Paperback,  言語：ENG

Gurfinkel, Arie (EDT)/ Heule, Marijn (EDT)

  • ウェブストア価格 ¥9,467（本体¥8,607）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 86pt
  • 海外からお取り寄せ（通常6～9週間）
Agile Processes in Software Engineering and Extreme Programming : 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書

Agile Processes in Software Engineering and Extreme Programming : 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings (Lecture Notes in Business Information Processing)  Paperback

Peter, Sibylle (EDT)/ Kropp, Martin (EDT)/ Aguiar, Ademar (EDT)

  • ウェブストア価格 ¥9,467（本体¥8,607）
  • Springer International Publishing AG（2025/06発売）
  • ポイント 86pt
  • 海外からお取り寄せ（通常6～9週間）
Spatial Language Understanding : Representation, Reasoning, and Grounding (Synthesis Lectures on Human Language Technologies)
  • 洋書

Spatial Language Understanding : Representation, Reasoning, and Grounding (Synthesis Lectures on Human Language Technologies)  Hardcover,  言語：ENG

Kordjamshidi, Parisa/ Moens, Marie-Francine/ Pustejovsky, James

  • ウェブストア価格 ¥9,754（本体¥8,868）
  • Springer International Publishing AG（2025/11発売）
  • ポイント 88pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2020 : 23rd International Conference, Lima, Peru, October 4-8, 2020, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2020 : 23rd International Conference, Lima, Peru, October 4-8, 2020, Proceedings, Part I (Image Processing, Computer Vision, Pattern Recognition, and Graphics)  Paperback,  言語：ENG

Martel, Anne L. (EDT)/ Abolmaesumi, Purang (EDT)/ Stoyanov, Danail (EDT)

  • ウェブストア価格 ¥23,849（本体¥21,681）
  • Springer Nature Switzerland AG（2020/10発売）
  • ポイント 216pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Research Challenges in Information Science : 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II (Lecture Notes in Business Information Processing)
  • 洋書
  • 電子版あり

Research Challenges in Information Science : 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II (Lecture Notes in Business Information Processing)  Paperback

Grabis, Jānis (EDT)/ Vos, Tanja E. J. (EDT)/ Escalona, Maria José (EDT)

  • ウェブストア価格 ¥17,585（本体¥15,987）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 159pt
  • 海外からお取り寄せ（通常6～9週間）
Research Challenges in Information Science : 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I (Lecture Notes in Business Information Processing)
  • 洋書
  • 電子版あり

Research Challenges in Information Science : 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I (Lecture Notes in Business Information Processing)  Paperback

Grabis, Jānis (EDT)/ Vos, Tanja E. J. (EDT)/ Escalona, Maria José (EDT)

  • ウェブストア価格 ¥29,762（本体¥27,057）
  • Springer International Publishing AG（2025/05発売）
  • ポイント 270pt
  • 海外からお取り寄せ（通常6～9週間）
Computational Science and Its Applications - ICCSA 2004 Pt.3 : International Conference, Assisi, Italy, May 14-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3045) （2004. LIII, 1040 p. 23,5 cm）
  • 洋書

Computational Science and Its Applications - ICCSA 2004 Pt.3 : International Conference, Assisi, Italy, May 14-17, 2004. Proceedings (Lecture Notes in Computer Science Vol.3045) （2004. LIII, 1040 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Antonio Lagana, Marina L. Gavrilova, Vipin Kumar et al.

  • ウェブストア価格 ¥27,232（本体¥24,757）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 247pt
  • 海外取次在庫
Computational Science - ICCS 2004 Vol.1 : 4th International Conference, Krakow, Poland, June 6-9, 2004, Proceedings (Lecture Notes in Computer Science Vol.3036) （2004. LXVI, 713 p. 23,5 cm）
  • 洋書

Computational Science - ICCS 2004 Vol.1 : 4th International Conference, Krakow, Poland, June 6-9, 2004, Proceedings (Lecture Notes in Computer Science Vol.3036) （2004. LXVI, 713 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Marian Bubak, Geert D. van Albada, Peter M. A. Sloot et al.

  • ウェブストア価格 ¥27,232（本体¥24,757）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 247pt
  • 海外取次在庫
Computational Science - ICCS 2004 Vol.4 : 4th International Conference, Krakow, Poland, June 6-9, 2004, Proceedings (Lecture Notes in Computer Science Vol.3039) （2004. cxxxii, 1278 S. CXXXII, 1278 p. In 2 volumes, not available sepa）
  • 洋書

Computational Science - ICCS 2004 Vol.4 : 4th International Conference, Krakow, Poland, June 6-9, 2004, Proceedings (Lecture Notes in Computer Science Vol.3039) （2004. cxxxii, 1278 S. CXXXII, 1278 p. In 2 volumes, not available sepa）  Paperback,  言語：ENG

Ed. by Marian Bubak, Geert D. van Albada, Peter M. A. Sloot et al.

  • ウェブストア価格 ¥13,614（本体¥12,377）
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE（2004発売）
  • ポイント 123pt
  • 海外からお取り寄せ（通常6～9週間）
ソフトウェア認証コンサイスガイド（テキスト）<br>Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) （2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235 mm）
  • 洋書

ソフトウェア認証コンサイスガイド（テキスト）
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) （2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235 mm）  Hardcover,  言語：ENG

Huisman, Marieke/Wijs, Anton

  • ウェブストア価格 ¥21,785（本体¥19,805）
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;（2023発売）
  • ポイント 198pt
  • 海外からお取り寄せ（通常6～9週間）
561～580件／全741件