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,997(本体¥19,089)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026発売)
  • ポイント 380pt
  • 海外からお取り寄せ(通常6~9週間)
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,667(本体¥16,970)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 338pt
  • 海外取次在庫
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,765(本体¥17,969)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 358pt
  • 海外取次在庫
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,569(本体¥15,972)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 318pt
  • 海外取次在庫
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,667(本体¥16,970)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 338pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 258pt
  • 海外取次在庫
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,471(本体¥14,974)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 298pt
  • 海外取次在庫
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,585(本体¥17,805)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 356pt
  • 海外からお取り寄せ(通常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,274(本体¥12,977)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 258pt
  • 海外からお取り寄せ(通常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,585(本体¥17,805)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 356pt
  • 海外からお取り寄せ(通常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,765(本体¥17,969)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 358pt
  • 海外取次在庫
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,569(本体¥15,972)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 318pt
  • 海外取次在庫
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,765(本体¥17,969)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 358pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 678pt
  • 海外取次在庫
Pattern Recognition and Image Analysis : 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Pattern Recognition and Image Analysis : 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gonçalves, Nuno (EDT)/ Oliveira, Hélder P. (EDT)/ Sánchez, Joan Andreu (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 558pt
  • 海外取次在庫
Pattern Recognition and Image Analysis : 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Pattern Recognition and Image Analysis : 12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gonçalves, Nuno (EDT)/ Oliveira, Hélder P. (EDT)/ Sánchez, Joan Andreu (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 558pt
  • 海外取次在庫
Euro-Par 2025: Parallel Processing : 31st European Conference on Parallel and Distributed Processing, Dresden, Germany, August 25-29, 2025, Proceedings, Part I (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 I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 358pt
  • 海外取次在庫
Advanced Technologies in Electronics, Communications and Signal Processing : First EAI International Conference, ICATECS 2024, Hyderabad, India, July 26-27, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Infor
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Technologies in Electronics, Communications and Signal Processing : First EAI International Conference, ICATECS 2024, Hyderabad, India, July 26-27, 2024, Proceedings, Part I (Lecture Notes of the Institute for Computer Sciences, Social Infor  Paperback

Koganti, Krishna Kishore (EDT)/ E., Sreenivasa Rao (EDT)/ Gupta, Nishu (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 398pt
  • 海外取次在庫
Advanced Technologies in Electronics, Communications and Signal Processing : First EAI International Conference, ICATECS 2024, Hyderabad, India, July 26-27, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Info
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Advanced Technologies in Electronics, Communications and Signal Processing : First EAI International Conference, ICATECS 2024, Hyderabad, India, July 26-27, 2024, Proceedings, Part II (Lecture Notes of the Institute for Computer Sciences, Social Info  Paperback

Koganti, Krishna Kishore (EDT)/ E., Sreenivasa Rao (EDT)/ Gupta, Nishu (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 398pt
  • 海外取次在庫