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,560(本体¥8,691)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 86pt
  • 海外からお取り寄せ(通常6~9週間)
Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceed
  • 洋書

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceed  Paperback,  言語:ENG

Abdulla, Parosh Aziz (EDT)/ Kesner, Delia (EDT)

  • ウェブストア価格 ¥9,560(本体¥8,691)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 86pt
  • 海外からお取り寄せ(通常6~9週間)
Fundamental Approaches to Software Engineering : 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings (Lecture N
  • 洋書

Fundamental Approaches to Software Engineering : 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings (Lecture N  Paperback,  言語:ENG

Boronat, Artur (EDT)/ Fraser, Gordon (EDT)

  • ウェブストア価格 ¥9,560(本体¥8,691)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 86pt
  • 海外からお取り寄せ(通常6~9週間)
Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I (Lectu
  • 洋書

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I (Lectu  Paperback,  言語:ENG

Vafeiadis, Viktor (EDT)

  • ウェブストア価格 ¥9,560(本体¥8,691)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 86pt
  • 海外からお取り寄せ(通常6~9週間)
Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II (Lect
  • 洋書

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II (Lect  Paperback,  言語:ENG

Vafeiadis, Viktor (EDT)

  • ウェブストア価格 ¥9,560(本体¥8,691)
  • 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,560(本体¥8,691)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 86pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence in Oncology : Cancer Diagnosis and Treatment, Medical Imaging, and Personalized Medicine
  • 洋書
  • 電子版あり

Artificial Intelligence in Oncology : Cancer Diagnosis and Treatment, Medical Imaging, and Personalized Medicine  Hardcover,  言語:ENG

Mohanty, Sachi Nandan (EDT)/ Rocha, Álvaro (EDT)/ Dutta, Pushan Kumar (EDT)

  • Springer International Publishing AG(2025/10発売)
  • ご注文いただけません
Feature Fusion for Next-Generation AI : Building Intelligent Solutions from Medical Data (Sustainable Artificial Intelligence-powered Applications)
  • 洋書
  • 予約

Feature Fusion for Next-Generation AI : Building Intelligent Solutions from Medical Data (Sustainable Artificial Intelligence-powered Applications)  Hardcover,  言語:ENG

Nag, Anindya (EDT)/ Hassan, Md. Mehedi (EDT)/ Bairagi, Anupam Kumar (EDT)

  • Springer International Publishing AG(2025/11発売)
  • ご注文いただけません
Web Engineering : 25th International Conference, ICWE 2025, Delft, the Netherlands, June 30 - July 3, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Web Engineering : 25th International Conference, ICWE 2025, Delft, the Netherlands, June 30 - July 3, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Verma, Himanshu (EDT)/ Bozzon, Alessandro (EDT)/ Mauri, Andrea (EDT)

  • Springer International Publishing AG(2025/11発売)
  • ご注文いただけません
Sustained Simulation Performance 2022 : Proceedings of the Joint Workshop on Sustained Simulation Performance, High-Performance Computing Center Stuttgart (HLRS), University of Stuttgart and Tohoku University, May and October 2022 (2025. vii, 81 S. VII, 81 p. 43 illus., 25 illus. in color. 235 mm)
  • 洋書

Sustained Simulation Performance 2022 : Proceedings of the Joint Workshop on Sustained Simulation Performance, High-Performance Computing Center Stuttgart (HLRS), University of Stuttgart and Tohoku University, May and October 2022 (2025. vii, 81 S. VII, 81 p. 43 illus., 25 illus. in color. 235 mm)  Paperback

Herausgegeben:Resch, Michael M./ Gebert, Johannes/ Kobayashi, Hiroaki/ Takizawa, Hiroyuki/ Bez, Wolfgang

  • ウェブストア価格 ¥43,574(本体¥39,613)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 396pt
  • 海外からお取り寄せ(通常6~9週間)
Augmented Reality Games II : The Gamification of Education, Medicine and Art (2. Aufl. 2025. xix, 365 S. XIX, 365 p. 147 illus., 128 illus. in color)
  • 洋書

Augmented Reality Games II : The Gamification of Education, Medicine and Art (2. Aufl. 2025. xix, 365 S. XIX, 365 p. 147 illus., 128 illus. in color)  Paperback,  言語:ENG

Herausgegeben:Geroimenko, Vladimir

  • ウェブストア価格 ¥49,021(本体¥44,565)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2025発売)
  • ポイント 445pt
  • 海外からお取り寄せ(通常6~9週間)
Penetrationstests erfolgreich umsetzen, m. 1 Buch, m. 1 E-Book : Praxisleitfaden - Regulatorik - KI-Einflüsse (KI - Best Practice  in Industrie, Dienstleistung und Verwaltung) (2025. xix, 260 S. XIX, 260 S. 43 Abb., 38 Abb. in Farbe. Book + Online)
  • 洋書

Penetrationstests erfolgreich umsetzen, m. 1 Buch, m. 1 E-Book : Praxisleitfaden - Regulatorik - KI-Einflüsse (KI - Best Practice in Industrie, Dienstleistung und Verwaltung) (2025. xix, 260 S. XIX, 260 S. 43 Abb., 38 Abb. in Farbe. Book + Online)  言語:GER

Herausgegeben:Wagner, Nina/ Speichert, Horst/ Fedtke, Stephen/ Witt, Bernhard C.

  • ウェブストア価格 ¥12,721(本体¥11,565)
  • SPRINGER, BERLIN; SPRINGER FACHMEDIEN WIESBADEN; SPRI(2025発売)
  • ポイント 115pt
  • 海外からお取り寄せ(通常6~9週間)
Digitale Identitäten und Nachweise : Lösungsansätze für vertrauenswürdige Interaktionen zwischen Menschen, Unternehmen und Verwaltung
  • 洋書

Digitale Identitäten und Nachweise : Lösungsansätze für vertrauenswürdige Interaktionen zwischen Menschen, Unternehmen und Verwaltung  Hardcover,  言語:GER

Anke, Jürgen (EDT)/ Kubach, Michael (EDT)/ Sürmeli, Jan (EDT)

  • Springer Vieweg(2025/05発売)
  • ご注文いただけません
Verification of Autonomous Systems (2025. x, 290 S. X, 290 p. 86 illus., 72 illus. in color. 235 mm)
  • 洋書

Verification of Autonomous Systems (2025. x, 290 S. X, 290 p. 86 illus., 72 illus. in color. 235 mm)  Hardcover

Herausgegeben:Redfield, Signe/ Sofge, Donald/ Seto, Mae/ Sustersic, John

  • ウェブストア価格 ¥40,850(本体¥37,137)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 371pt
  • 海外からお取り寄せ(通常6~9週間)
Engineering Information Systems with Large Language Models
  • 洋書

Engineering Information Systems with Large Language Models  Hardcover,  言語:ENG

De Luzi, Francesca (EDT)/ Monti, Flavia (EDT)/ Mecella, Massimo (EDT)

  • ウェブストア価格 ¥38,519(本体¥35,018)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 350pt
  • 海外からお取り寄せ(通常6~9週間)
Schreibende KI -- ein interdisziplinärer Diskurs : Perspektiven über den Sinn oder Unsinn von schreibender KI (ars digitalis) (2025)
  • 洋書

Schreibende KI -- ein interdisziplinärer Diskurs : Perspektiven über den Sinn oder Unsinn von schreibender KI (ars digitalis) (2025)  Hardcover,  言語:GER

Martens, Alke (EDT)/ Cap, Clemens H. (EDT)

  • Springer Vieweg(2025/07発売)
  • ご注文いただけません
Monte Carlo and Quasi-Monte Carlo Methods : MCQMC 2022, Linz, Austria, July 17-22 (Springer Proceedings in Mathematics & Statistics 460) (2025. xiii, 668 S. XIII, 668 p. 112 illus., 93 illus. in color. 235 mm)
  • 洋書

Monte Carlo and Quasi-Monte Carlo Methods : MCQMC 2022, Linz, Austria, July 17-22 (Springer Proceedings in Mathematics & Statistics 460) (2025. xiii, 668 S. XIII, 668 p. 112 illus., 93 illus. in color. 235 mm)  Paperback

Herausgegeben:Hinrichs, Aicke/ Kritzer, Peter/ Pillichshammer, Friedrich

  • ウェブストア価格 ¥68,086(本体¥61,897)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2025発売)
  • ポイント 618pt
  • 海外からお取り寄せ(通常6~9週間)
Medical Information Computing : First MICCAI Meets Africa Workshop, MImA 2024, and First MICCAI Student Board Workshop on Empowering Medical Information Computing and Research through Early-Career Expertise, EMERGE 2024, Held in Conjunction with MICC
  • 洋書
  • 電子版あり

Medical Information Computing : First MICCAI Meets Africa Workshop, MImA 2024, and First MICCAI Student Board Workshop on Empowering Medical Information Computing and Research through Early-Career Expertise, EMERGE 2024, Held in Conjunction with MICC  Paperback,  言語:ENG

Anazodo, Udunna (EDT)/ Akash, Naren (EDT)/ Fuchs, Moritz (EDT)

  • ウェブストア価格 ¥18,188(本体¥16,535)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 165pt
  • 海外からお取り寄せ(通常6~9週間)
Image Analysis in Stroke Diagnosis and Interventions : 4th International Workshop, SWITCH 2024, and 6th International Challenge, ISLES 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Com
  • 洋書
  • 電子版あり

Image Analysis in Stroke Diagnosis and Interventions : 4th International Workshop, SWITCH 2024, and 6th International Challenge, ISLES 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 10, 2024, Proceedings (Lecture Notes in Com  Paperback,  言語:ENG

Su, Ruisheng (EDT)/ de la Rosa, Ezequiel (EDT)/ Rist, Leonhard (EDT)

  • ウェブストア価格 ¥12,292(本体¥11,175)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 111pt
  • 海外からお取り寄せ(通常6~9週間)
Brain Tumor Segmentation, and Cross-Modality Domain Adaptation for Medical Image Segmentation : MICCAI Challenges, BraTS 2023 and CrossMoDA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12 and 8, 2024, Proceedings (Lectur (2024)
  • 洋書
  • 電子版あり

Brain Tumor Segmentation, and Cross-Modality Domain Adaptation for Medical Image Segmentation : MICCAI Challenges, BraTS 2023 and CrossMoDA 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 12 and 8, 2024, Proceedings (Lectur (2024)  Paperback

Baid, Ujjwal (EDT)/ Dorent, Reuben (EDT)/ Malec, Sylwia (EDT)

  • ウェブストア価格 ¥19,258(本体¥17,508)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 175pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。