First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic) (2026. x, 246 S. X, 246 p. 10 illus., 3 illus. in color. 235 mm)
  • 洋書

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic) (2026. x, 246 S. X, 246 p. 10 illus., 3 illus. in color. 235 mm)  Hardcover,  言語:ENG

Leitsch, Alexander/Cerna, David Michael/Lolic, Anela

  • ウェブストア価格 ¥44,553(本体¥40,503)
  • SPRINGER, BERLIN; AUSTRIAN SCIENCE FUND; SPRINGER(2025/11発売)
  • ポイント 405pt
  • 海外からお取り寄せ(通常6~9週間)
Detection of Intrusions and Malware, and Vulnerability Assessment : 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Detection of Intrusions and Malware, and Vulnerability Assessment : 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Egele, Manuel (EDT)/ Moonsamy, Veelasha (EDT)/ Gruss, Daniel (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 130pt
  • 海外からお取り寄せ(通常6~9週間)
Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part II (Communications in Computer and Information Science)  Paperback

Ardimento, Pasquale (EDT)/ Di Fuccio, Raffaele (EDT)/ Fulantelli, Giovanni (EDT)

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 200pt
  • 海外取次在庫
Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Higher Education Learning Methodologies and Technologies Online : 6th International Conference, HELMeTO 2024, Rome, Italy, September 25-27, 2024, Revised Selected Papers, Part I (Communications in Computer and Information Science)  Paperback

Ardimento, Pasquale (EDT)/ Di Fuccio, Raffaele (EDT)/ Fulantelli, Giovanni (EDT)

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 281pt
  • 海外取次在庫
Artificial Intelligence and Soft Computing : 24th International Conference, ICAISC 2025, Zakopane, Poland, June 22-26, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Artificial Intelligence and Soft Computing : 24th International Conference, ICAISC 2025, Zakopane, Poland, June 22-26, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rutkowski, Leszek (EDT)/ Scherer, Rafał (EDT)/ Korytkowski, Marcin (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 180pt
  • 海外取次在庫
Artificial Intelligence and Soft Computing : 24th International Conference, ICAISC 2025, Zakopane, Poland, June 22-26, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書

Artificial Intelligence and Soft Computing : 24th International Conference, ICAISC 2025, Zakopane, Poland, June 22-26, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rutkowski, Leszek (EDT)/ Scherer, Rafał (EDT)/ Korytkowski, Marcin (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 130pt
  • 海外取次在庫
Artificial Intelligence and Soft Computing : 24th International Conference, ICAISC 2025, Zakopane, Poland, June 22-26, 2025, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書

Artificial Intelligence and Soft Computing : 24th International Conference, ICAISC 2025, Zakopane, Poland, June 22-26, 2025, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Rutkowski, Leszek (EDT)/ Scherer, Rafał (EDT)/ Korytkowski, Marcin (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 180pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Product-Focused Software Process Improvement : 26th International Conference, PROFES 2025, Salerno, Italy, December 1-3, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Product-Focused Software Process Improvement : 26th International Conference, PROFES 2025, Salerno, Italy, December 1-3, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Scanniello, Giuseppe (EDT)/ Lenarduzzi, Valentina (EDT)/ Romano, Simone (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 160pt
  • 海外取次在庫
Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers : 26th International Conference, PROFES 2025, Salerno, Italy, December 1-3, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Product-Focused Software Process Improvement. Industry, Doctoral-Symposium, Tutorial, and Workshop Papers : 26th International Conference, PROFES 2025, Salerno, Italy, December 1-3, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Scanniello, Giuseppe (EDT)/ Lenarduzzi, Valentina (EDT)/ Romano, Simone (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 130pt
  • 海外取次在庫
Data Science Training - Supervised Learning : Ein praktischer Einstieg ins überwachte maschinelle Lernen (1. Aufl. 2024)
  • 洋書

Data Science Training - Supervised Learning : Ein praktischer Einstieg ins überwachte maschinelle Lernen (1. Aufl. 2024)  Paperback,  言語:GER

Selle, Stefan

  • Springer Vieweg(2024/12発売)
  • ご注文いただけません
Advanced Learning Analytics Methods : AI, Precision and Complexity
  • 洋書

Advanced Learning Analytics Methods : AI, Precision and Complexity  Hardcover,  言語:ENG

Saqr, Mohammed (EDT)/ López-Pernas, Sonsoles (EDT)

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 120pt
  • 海外取次在庫
Image Analysis and Processing - ICIAP 2025 : 23rd International Conference, Rome, Italy, September 15-19, 2025, Proceedings, Part I (Lecture Notes in Computer Science 16167) (2025. xv, 643 S. XV, 643 p. 231 illus. 235 mm)
  • 洋書
  • 予約

Image Analysis and Processing - ICIAP 2025 : 23rd International Conference, Rome, Italy, September 15-19, 2025, Proceedings, Part I (Lecture Notes in Computer Science 16167) (2025. xv, 643 S. XV, 643 p. 231 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Rodolà/, Emanuele/ Galasso, Fabio/ Masi, Iacopo

  • ウェブストア価格 ¥25,060(本体¥22,782)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 227pt
  • ご予約受付中。出版後の入荷・発送
Image Analysis and Processing - ICIAP 2025 : 23rd International Conference, Rome, Italy, September 15-19, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16168) (2025. xv, 626 S. XV, 626 p. 176 illus. 235 mm)
  • 洋書
  • 予約

Image Analysis and Processing - ICIAP 2025 : 23rd International Conference, Rome, Italy, September 15-19, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16168) (2025. xv, 626 S. XV, 626 p. 176 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Rodolà/, Emanuele/ Galasso, Fabio/ Masi, Iacopo

  • ウェブストア価格 ¥25,060(本体¥22,782)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 227pt
  • ご予約受付中。出版後の入荷・発送
Artificial Intelligence and Knowledge Processing : 5th International Conference, AIKP 2025, Hyderabad, India, October 23-25, 2025, Proceedings (Communications in Computer and Information Science 2804) (2026. xx, 319 S. XX, 319 p. 235 mm)
  • 洋書
  • 予約

Artificial Intelligence and Knowledge Processing : 5th International Conference, AIKP 2025, Hyderabad, India, October 23-25, 2025, Proceedings (Communications in Computer and Information Science 2804) (2026. xx, 319 S. XX, 319 p. 235 mm)  Paperback

Herausgegeben:Kannan, Hemachandran/ Villamarin Rodriguez, Raul/ Rege, Manjeet/ Piuri, Vincenzo/ AdeIbijola, Abejide/ Ló/pez Gonzá/lez de Leó/n, Miguel/ Ben Dhaou, Imed

  • ウェブストア価格 ¥19,489(本体¥17,718)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 177pt
  • ご予約受付中。出版後の入荷・発送
Subject-Oriented Business Process Management. Process Customer Satisfaction and Process Excellence : 16th International Conference, S-BPM ONE 2025, Munich, Germany, July 2-3, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Subject-Oriented Business Process Management. Process Customer Satisfaction and Process Excellence : 16th International Conference, S-BPM ONE 2025, Munich, Germany, July 2-3, 2025, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Elstermann, Matthes (EDT)/ Lederer, Matthias (EDT)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer Nature Switzerland AG(2025/10発売)
  • ポイント 170pt
  • 海外取次在庫
Medical Image Understanding and Analysis : 29th Annual Conference, MIUA 2025, Leeds, UK, July 15-17, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Medical Image Understanding and Analysis : 29th Annual Conference, MIUA 2025, Leeds, UK, July 15-17, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Ali, Sharib (EDT)/ Hogg, David C. (EDT)/ Peckham, Michelle (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 180pt
  • 海外取次在庫
Medical Image Understanding and Analysis : 29th Annual Conference, MIUA 2025, Leeds, UK, July 15-17, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Medical Image Understanding and Analysis : 29th Annual Conference, MIUA 2025, Leeds, UK, July 15-17, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Ali, Sharib (EDT)/ Hogg, David C. (EDT)/ Peckham, Michelle (EDT)

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 160pt
  • 海外取次在庫
Medical Image Understanding and Analysis : 29th Annual Conference, MIUA 2025, Leeds, UK, July 15-17, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Medical Image Understanding and Analysis : 29th Annual Conference, MIUA 2025, Leeds, UK, July 15-17, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Ali, Sharib (EDT)/ Hogg, David C. (EDT)/ Peckham, Michelle (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 180pt
  • 海外取次在庫
Manipulationen und Moneten - Datentrickserei im digitalen Zeitalter
  • 洋書

Manipulationen und Moneten - Datentrickserei im digitalen Zeitalter  Paperback

Lenz, Hans-J.

  • ウェブストア価格 ¥5,800(本体¥5,273)
  • Springer(2024/04発売)
  • ポイント 52pt
  • 海外取次在庫
Highlights in Practical Applications of Agents, Multi-Agent Systems and Computational Social Science. the PAAMS Collection : 23rd International Workshops of PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings (Communications in Computer and Info
  • 洋書

Highlights in Practical Applications of Agents, Multi-Agent Systems and Computational Social Science. the PAAMS Collection : 23rd International Workshops of PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings (Communications in Computer and Info  Paperback,  言語:ENG

Nongaillard, Antoine (EDT)/ Caron, Anne-Cecile (EDT)/ González-Briones, Alfonso (EDT)

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 200pt
  • 海外取次在庫