Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback

Piskac, Ruzica (EDT)/ Rakamarić, Zvonimir (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 198pt
  • 海外取次在庫
Information Systems and Neuroscience : NeuroIS Retreat 2025, Vienna, Austria (Lecture Notes in Information Systems and Organisation 9) (2026. xviii, 332 S. XVIII, 332 p. 63 illus., 47 illus. in color. 235 m)
  • 洋書
  • ポイントキャンペーン

Information Systems and Neuroscience : NeuroIS Retreat 2025, Vienna, Austria (Lecture Notes in Information Systems and Organisation 9) (2026. xviii, 332 S. XVIII, 332 p. 63 illus., 47 illus. in color. 235 m)  Paperback,  言語:ENG

Herausgegeben:Davis, Fred D./ Riedl, René/ vom Brocke, Jan/ Lé/ger, Pierre-Majorique/ B. Randolph, Adriane/ R. Mueller-Putz, Gernot

  • ウェブストア価格 ¥36,397(本体¥33,089)
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA(2025/10発売)
  • ポイント 660pt
  • 海外からお取り寄せ(通常6~9週間)
New Technologies, Artificial Intelligence and Smart Data : 12th International Conference, INTIS 2024, Tangier, Morocco, May 30 - June 1, 2024, Revised Selected Papers (Communications in Computer and Information Science 2645) (2026. xv, 585 S. XV, 585 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

New Technologies, Artificial Intelligence and Smart Data : 12th International Conference, INTIS 2024, Tangier, Morocco, May 30 - June 1, 2024, Revised Selected Papers (Communications in Computer and Information Science 2645) (2026. xv, 585 S. XV, 585 p. 235 mm)  Paperback

Herausgegeben:Badir, Hassan/ Tabaa, Mohamed/ Bellatreche, Ladjel/ Mernik, Marjan/ Benatallah, Boualem/ Fissoune, Rachida

  • ウェブストア価格 ¥19,597(本体¥17,816)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 356pt
  • ご予約受付中。出版後の入荷・発送
Blockchain Technology and Emerging Applications (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. xv, 256 S. XV, 256 p. 75 illus. 235 mm)
  • 洋書
  • ポイントキャンペーン

Blockchain Technology and Emerging Applications (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. xv, 256 S. XV, 256 p. 75 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Knottenbelt, William/ Ressi, Dalila/ Rossi, Sabina/ Tiezzi, Francesco

  • ウェブストア価格 ¥16,797(本体¥15,270)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 304pt
  • 海外からお取り寄せ(通常6~9週間)
Cutting-Edge Artificial Intelligence Applications (Sustainable Artificial Intelligence-Powered Applications) (2025. xiv, 109 S. XIV, 109 p. 63 illus., 48 illus. in color. 279 mm)
  • 洋書
  • ポイントキャンペーン

Cutting-Edge Artificial Intelligence Applications (Sustainable Artificial Intelligence-Powered Applications) (2025. xiv, 109 S. XIV, 109 p. 63 illus., 48 illus. in color. 279 mm)  Hardcover,  言語:ENG

Herausgegeben:GOUSKIR, Mohamed/ Aouraghe, Ibtissame/ Hachimi, Hanaa/ BOUIKHALENE, Belaid/ Rokni, Yahya/ Belhouideg, Soufiane

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN; SPRINGER(2025/12発売)
  • ポイント 762pt
  • 海外からお取り寄せ(通常6~9週間)
Machine Learning and Knowledge Discovery in Databases. Research Track and Applied Data Science Track : European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part VIII (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases. Research Track and Applied Data Science Track : European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part VIII (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Pfahringer, Bernhard (EDT)/ Japkowicz, Nathalie (EDT)/ Larrañaga, Pedro (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2025/10発売)
  • ポイント 358pt
  • 海外取次在庫
Metaversum : Die Verschmelzung von Realität und Virtualität im Next Generation Internet (2ND)
  • 洋書
  • ポイントキャンペーン

Metaversum : Die Verschmelzung von Realität und Virtualität im Next Generation Internet (2ND)  Paperback

Hoffmann, Peter

  • Springer Vieweg(2025/06発売)
  • ご注文いただけません
Financial Cryptography and Data Security. FC 2025 International Workshops : CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Financial Cryptography and Data Security. FC 2025 International Workshops : CoDecFin, FinTeAchin, VOTING, Miyakojima, Japan, April 18, 2025, Revised Selected Papers, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Haslhofer, Bernhard (EDT)/ Xu, Java (EDT)/ Victor, Friedhelm (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 318pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Systems Security : 21st International Conference, ICISS 2025, Indore, India, December 16-20, 2025, Proceedings (Lecture Notes in Computer Science 16380)
  • 洋書
  • 予約
  • ポイントキャンペーン

Information Systems Security : 21st International Conference, ICISS 2025, Indore, India, December 16-20, 2025, Proceedings (Lecture Notes in Computer Science 16380)

Herausgegeben:Hubballi, Neminath/Verma, Rakesh/Rudrapatna K., Shyamasundar

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/01発売)
  • ご注文いただけません
Event-Driven Ansible : Taking Your Automation to the Next Level (First Edition. 2026. Approx. 350 p. 254 mm)
  • 洋書
  • ポイントキャンペーン

Event-Driven Ansible : Taking Your Automation to the Next Level (First Edition. 2026. Approx. 350 p. 254 mm)  Paperback

Hitchcock, Kenneth/Hawker, Dan

  • ウェブストア価格 ¥16,797(本体¥15,270)
  • SPRINGER, BERLIN; APRESS(2026発売)
  • ポイント 304pt
  • 海外からお取り寄せ(通常6~9週間)
Performance Evaluation and Benchmarking : 16th TPC Technology Conference, TPCTC 2024, Guangzhou, China, August 30, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Performance Evaluation and Benchmarking : 16th TPC Technology Conference, TPCTC 2024, Guangzhou, China, August 30, 2024, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Nambiar, Raghunath (EDT)/ Poess, Meikel (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 218pt
  • 海外取次在庫
Information Technologies and Intelligent Decision Making Systems (Communications in Computer and Information Science 2751) (2026. Approx. 200 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Information Technologies and Intelligent Decision Making Systems (Communications in Computer and Information Science 2751) (2026. Approx. 200 p. 235 mm)  Paperback

Herausgegeben:Gibadullin, Arthur

  • ウェブストア価格 ¥19,597(本体¥17,816)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 356pt
  • ご予約受付中。出版後の入荷・発送
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Collart-Dutilleul, Simon (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 258pt
  • 海外取次在庫
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Teixeira, Leopoldo (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 258pt
  • 海外取次在庫
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,175(本体¥11,978)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 238pt
  • 海外取次在庫
Federated Learning Applications in the Industrial Internet of Everything (IoE) (Studies in Systems, Decision and Control 611) (2025. xii, 287 S. XII, 287 p. 50 illus., 43 illus. in color. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Federated Learning Applications in the Industrial Internet of Everything (IoE) (Studies in Systems, Decision and Control 611) (2025. xii, 287 S. XII, 287 p. 50 illus., 43 illus. in color. 235 mm)  Hardcover

Herausgegeben:Mohana, Rajni/ Sharma, Aman/ Nayyar, Anand/ Saini, Poonam

  • ウェブストア価格 ¥44,798(本体¥40,726)
  • SPRINGER, BERLIN; SPRINGER(2025/09発売)
  • ポイント 814pt
  • 海外取次在庫
Mastering AI Governance : A Guide to Building Trustworthy and Transparent AI Systems (2025. xxi, 137 S. XXI, 137 p. 1 illus. 235 mm)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Mastering AI Governance : A Guide to Building Trustworthy and Transparent AI Systems (2025. xxi, 137 S. XXI, 137 p. 1 illus. 235 mm)  Hardcover

Gangavarapu, Rajendra

  • ウェブストア価格 ¥8,397(本体¥7,634)
  • SPRINGER, BERLIN; SPRINGER(2025/10発売)
  • ポイント 152pt
  • 海外取次在庫
Human-Centred Scientific Data Visualisation : Making Complex Data Accessible for Everyone (Undergraduate Topics in Computer Science)
  • 洋書
  • 予約
  • ポイントキャンペーン

Human-Centred Scientific Data Visualisation : Making Complex Data Accessible for Everyone (Undergraduate Topics in Computer Science)  Paperback,  言語:ENG

Damaševičius, Robertas

  • ウェブストア価格 ¥14,571(本体¥13,247)
  • Springer Nature Switzerland AG(2026/02発売)
  • ポイント 264pt
  • ご予約受付中。出版後の入荷・発送
Lectures on Parallel Computing (Lecture Notes in Computer Science 14600) (2026. Approx. 320 p. 235 mm)
  • 洋書
  • ポイントキャンペーン

Lectures on Parallel Computing (Lecture Notes in Computer Science 14600) (2026. Approx. 320 p. 235 mm)  Paperback,  言語:ENG

Traeff, Jesper Larsson

  • ウェブストア価格 ¥18,477(本体¥16,798)
  • SPRINGER, BERLIN; SPRINGER(2026発売)
  • ポイント 334pt
  • 海外からお取り寄せ(通常6~9週間)