Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14580) (2026. 450 S. Approx. 450 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Consolidated Ada 2022 Reference Manual. Volume 1 - Core Language : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14580) (2026. 450 S. Approx. 450 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Taft, S. Tucker/ Duff, Robert A./ Brukardt, Randall L./ Ploedereder, Erhard/ Leroy, Pascal/ Schonberg, Edmond/ Cousins, Jeffrey/ Baird, Stephen

  • ウェブストア価格 ¥20,264(本体¥18,422)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 368pt
  • ご予約受付中。出版後の入荷・発送
Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14581) (2026. 450 S. Approx. 450 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Consolidated Ada 2022 Reference Manual. Volume 2 - Standard Libraries and Interfacing : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14581) (2026. 450 S. Approx. 450 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Taft, S. Tucker/ Duff, Robert A./ Brukardt, Randall L./ Ploedereder, Erhard/ Leroy, Pascal/ Schonberg, Edmond/ Cousins, Jeffrey/ Baird, Stephen

  • ウェブストア価格 ¥20,264(本体¥18,422)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 368pt
  • ご予約受付中。出版後の入荷・発送
Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14582) (2026. 450 S. Approx. 450 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes : Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1 (Lecture Notes in Computer Science 14582) (2026. 450 S. Approx. 450 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Taft, S. Tucker/ Duff, Robert A./ Brukardt, Randall L./ Ploedereder, Erhard/ Leroy, Pascal/ Schonberg, Edmond/ Cousins, Jeffrey/ Baird, Stephen

  • ウェブストア価格 ¥20,264(本体¥18,422)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 368pt
  • ご予約受付中。出版後の入荷・発送
Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) (2026. x, 390 S. X, 390 p. 40 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) (2026. x, 390 S. X, 390 p. 40 illus. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Blanchette, Jasmin/ Mahboubi, Assia

  • ウェブストア価格 ¥20,538(本体¥18,671)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 372pt
  • ご予約受付中。出版後の入荷・発送
Video Grounding and Its Generalization : From I.D. and Task-specific Models to O.O.D. and Large Foundation Models
  • 洋書
  • 予約
  • ポイントキャンペーン

Video Grounding and Its Generalization : From I.D. and Task-specific Models to O.O.D. and Large Foundation Models  Hardcover,  言語:ENG

Wang, Xin/ Lan, Xiaohan/ Zhu, Wenwu

  • Springer International Publishing AG(2025/12発売)
  • ご注文いただけません
Data Information in Online Environments : 5th International Conference, DIONE 2024, Sanya, China, November 11, 2024, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Data Information in Online Environments : 5th International Conference, DIONE 2024, Sanya, China, November 11, 2024, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback

Yu, Weng (EDT)/ Xuan, Liu (EDT)

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 332pt
  • 海外取次在庫
Euro-Par 2025: Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Euro-Par 2025: Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nagel, Wolfgang E. (EDT)/ Goehringer, Diana (EDT)/ Diniz, Pedro C. (EDT)

  • ウェブストア価格 ¥19,385(本体¥17,623)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 352pt
  • 海外取次在庫
Euro-Par 2025: Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Euro-Par 2025: Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nagel, Wolfgang E. (EDT)/ Goehringer, Diana (EDT)/ Diniz, Pedro C. (EDT)

  • ウェブストア価格 ¥17,231(本体¥15,665)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 312pt
  • 海外取次在庫
Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part IV (Lecture Notes of the Institute for Computer Sciences, Social Informatics and
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Security and Privacy in Communication Networks : 20th EAI International Conference, SecureComm 2024, Dubai, United Arab Emirates, October 28-30, 2024, Proceedings, Part IV (Lecture Notes of the Institute for Computer Sciences, Social Informatics and  Paperback

Alrabaee, Saed (EDT)/ Choo, Kim-Kwang Raymond (EDT)/ Damiani, Ernesto (EDT)

  • ウェブストア価格 ¥18,308(本体¥16,644)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 332pt
  • 海外取次在庫
Lectures on Parallel Computing (Lecture Notes in Computer Science 14600) (2026. 320 S. Approx. 320 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

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

Traeff, Jesper Larsson

  • ウェブストア価格 ¥18,073(本体¥16,430)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 328pt
  • ご予約受付中。出版後の入荷・発送
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part II (Lecture Notes in Computer Scie
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part II (Lecture Notes in Computer Scie  Paperback

Koucheryavy, Yevgeni (EDT)/ Aziz, Ahmed (EDT)

  • ウェブストア価格 ¥13,999(本体¥12,727)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 254pt
  • 海外取次在庫
Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part I (Lecture Notes in Computer Scien
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Internet of Things, Smart Spaces, and Next Generation Networks and Systems : 24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part I (Lecture Notes in Computer Scien  Paperback

Koucheryavy, Yevgeni (EDT)/ Aziz, Ahmed (EDT)

  • ウェブストア価格 ¥16,154(本体¥14,686)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 292pt
  • 海外取次在庫
Computational Science and Its Applications - ICCSA 2025 Workshops : Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2025 Workshops : Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Garau, Chiara (EDT)

  • ウェブストア価格 ¥19,031(本体¥17,301)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 346pt
  • 海外からお取り寄せ(通常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)

  • ウェブストア価格 ¥13,999(本体¥12,727)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 254pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Science and Its Applications - ICCSA 2025 Workshops : Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part VII (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computational Science and Its Applications - ICCSA 2025 Workshops : Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part VII (Lecture Notes in Computer Science)  Paperback

Gervasi, Osvaldo (EDT)/ Murgante, Beniamino (EDT)/ Garau, Chiara (EDT)

  • ウェブストア価格 ¥19,031(本体¥17,301)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 346pt
  • 海外からお取り寄せ(通常6~9週間)
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,385(本体¥17,623)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 352pt
  • 海外取次在庫
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,231(本体¥15,665)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 312pt
  • 海外取次在庫
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,385(本体¥17,623)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 352pt
  • 海外取次在庫
Combinatorial Algorithms : 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Combinatorial Algorithms : 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Fernau, Henning (EDT)/ Zhu, Binhai (EDT)

  • ウェブストア価格 ¥36,619(本体¥33,290)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 664pt
  • 海外取次在庫
Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Logic, Language, Information, and Computation : 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Kozen, Dexter (EDT)/ de Queiroz, Ruy (EDT)

  • ウェブストア価格 ¥16,154(本体¥14,686)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 292pt
  • 海外取次在庫