First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
  • 洋書

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥40,294(本体¥36,631)
  • Birkhauser(2026/01発売)
  • ポイント 366pt
  • 海外取次在庫
SEET—Software Engineering for Emerging Technologies : First International Conference, SEET 2025, Long Beach, CA, USA, August 11-12, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

SEET—Software Engineering for Emerging Technologies : First International Conference, SEET 2025, Long Beach, CA, USA, August 11-12, 2025, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Hussain, Shahid (EDT)/ Khan, Arif Ali (EDT)/ Abdul Basit Ur Rahim, Muhammad (EDT)

  • ウェブストア価格 ¥38,055(本体¥34,596)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 345pt
  • 海外取次在庫
Windows 11 Bild für Bild erklärt - Windows 11. Ideal für Einsteiger und Umsteiger geeignet - 3. Auflage
  • 洋書

Windows 11 Bild für Bild erklärt - Windows 11. Ideal für Einsteiger und Umsteiger geeignet - 3. Auflage  Paperback

Schels, Ignatz

  • ウェブストア価格 ¥3,406(本体¥3,097)
  • Markt + Technik(2025/11発売)
  • ポイント 30pt
  • 海外取次在庫
Programmieren auf der SAP BTP
  • 洋書

Programmieren auf der SAP BTP  Hardcover

Pohl, Florian/ Tate Tsiledze, Jean-Francois/ Freiherr Teuffel von Birkensee, Constantin

  • ウェブストア価格 ¥23,654(本体¥21,504)
  • Rheinwerk Verlag; SAP PRESS(2025/11発売)
  • ポイント 215pt
  • 海外からお取り寄せ(通常6~9週間)
Netzwerke : Verstehen, Einrichten, Administrieren. Mit umfassendem Praxisteil und vielen Schritt-für-Schritt Anleitungen (mitp Professional) (2025)
  • 洋書

Netzwerke : Verstehen, Einrichten, Administrieren. Mit umfassendem Praxisteil und vielen Schritt-für-Schritt Anleitungen (mitp Professional) (2025)  Paperback

Amberg, Eric/ Schmid, Daniel

  • ウェブストア価格 ¥7,890(本体¥7,173)
  • MITP-Verlag; MITP(2025/11発売)
  • ポイント 71pt
  • 海外からお取り寄せ(通常6~9週間)
Linux : Das umfassende Handbuch (19., überarb. Aufl.)
  • 洋書

Linux : Das umfassende Handbuch (19., überarb. Aufl.)  Hardcover

Kofler, Michael

  • ウェブストア価格 ¥13,129(本体¥11,936)
  • Rheinwerk Verlag; Rheinwerk Computing(2025/11発売)
  • ポイント 119pt
  • 海外取次在庫
Introduction to Cloud Computing
  • 洋書

Introduction to Cloud Computing  Hardcover,  言語:ENG

Wufka, Michael/ Canonico, Massimo

  • ウェブストア価格 ¥19,026(本体¥17,297)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 172pt
  • 海外取次在庫
The Art of Creating Self-Organizing Teams : Agile Team Coaching from a Journeyman to an Expert
  • 洋書

The Art of Creating Self-Organizing Teams : Agile Team Coaching from a Journeyman to an Expert  Paperback,  言語:ENG

Lobus, Roman

  • ウェブストア価格 ¥7,833(本体¥7,121)
  • APress(2026/01発売)
  • ポイント 71pt
  • 海外取次在庫
因果発見:基礎・アルゴリズム・応用(テキスト)<br>Causal Discovery : Foundations, Algorithms and Applications (Computer Science Foundations and Applied Logic) (2025. xxii, 229 S. XXII, 229 p. 118 illus., 111 illus. in color. 235 m)
  • 洋書
Chronisch gesund #starten - Dein 14-Tage-Plan für die anti-entzündliche Ernährung
  • 洋書

Chronisch gesund #starten - Dein 14-Tage-Plan für die anti-entzündliche Ernährung  Hardcover

Sendl, Judith

  • ウェブストア価格 ¥5,788(本体¥5,262)
  • BILDNER Verlag(2025/11発売)
  • ポイント 52pt
  • 海外からお取り寄せ(通常6~9週間)
Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection : 23rd International Conference, PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Advances in Practical Applications of Agents, Multi-Agent Systems, and Computational Social Science: The PAAMS Collection : 23rd International Conference, PAAMS 2025, Lille, France, June 25-27, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Mathieu, Philippe (EDT)/ De la Prieta, Fernando (EDT)

  • ウェブストア価格 ¥16,787(本体¥15,261)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 152pt
  • 海外取次在庫
Positioning and Sensing Over Wireless Networks (Wireless Networks)
  • 洋書
  • 電子版あり

Positioning and Sensing Over Wireless Networks (Wireless Networks)  Hardcover

Yang, Yang/ Chen, Mingzhe/ Liu, Fan

  • ウェブストア価格 ¥33,781(本体¥30,710)
  • Springer, Berlin; Springer(2025発売)
  • ポイント 307pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥20,145(本体¥18,314)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 183pt
  • 海外取次在庫
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,906(本体¥16,279)
  • Springer International Publishing AG(2025/08発売)
  • ポイント 162pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥20,145(本体¥18,314)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 183pt
  • 海外取次在庫
Coproducing Care : Synergies of Recognition (Synthesis Lectures on Human-centered Informatics)
  • 洋書

Coproducing Care : Synergies of Recognition (Synthesis Lectures on Human-centered Informatics)  Hardcover,  言語:ENG

Carroll, John M./ Jo, Jeongwon/ Gupta, Srishti

  • ウェブストア価格 ¥6,713(本体¥6,103)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 61pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XI (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XI (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gee, James C. (EDT)/ Alexander, Daniel C. (EDT)/ Hong, Jaesung (EDT)

  • Springer Nature Switzerland AG(2025/09発売)
  • ご注文いただけません
Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XIV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025 : 28th International Conference, Daejeon, South Korea, September 23-27, 2025, Proceedings, Part XIV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Gee, James C. (EDT)/ Alexander, Daniel C. (EDT)/ Hong, Jaesung (EDT)

  • Springer Nature Switzerland AG(2025/09発売)
  • ご注文いただけません
Blockchain - ICBC 2025 : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Blockchain - ICBC 2025 : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shyamasundar, Rudrapatna K. (EDT)/ Huang, Huawei (EDT)/ He, Songlin (EDT)

  • ウェブストア価格 ¥12,827(本体¥11,661)
  • Springer Nature Switzerland AG(2025/09発売)
  • ポイント 116pt
  • 海外からお取り寄せ(通常6~9週間)
AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Giacobbe, Mirco (EDT)/ Lukina, Anna (EDT)

  • ウェブストア価格 ¥14,548(本体¥13,226)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 132pt
  • 海外取次在庫