Formale Logik im Dialog : Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
  • 洋書

Formale Logik im Dialog : Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt  Paperback

Doberkat, Ernst-Erich

  • Springer Vieweg(2026/01発売)
  • ご注文いただけません
Algorithmen und Datenstrukturen für Dummies (...für Dummies) (2. Aufl.)
  • 洋書
  • 電子版あり

Algorithmen und Datenstrukturen für Dummies (...für Dummies) (2. Aufl.)  Paperback

Gogol-Doering, Andreas/ Letschert, Thomas

  • ウェブストア価格 ¥7,890(本体¥7,173)
  • Wiley-VCH(2026/01発売)
  • ポイント 71pt
  • 海外取次在庫
Amateurfunk : Das umfassende Handbuch (4., erw. Aufl.)
  • 洋書

Amateurfunk : Das umfassende Handbuch (4., erw. Aufl.)  Hardcover

Zisler, Harald/ Lauterbach, Thomas

  • ウェブストア価格 ¥13,129(本体¥11,936)
  • Rheinwerk Verlag; Rheinwerk Computing(2026/01発売)
  • ポイント 119pt
  • 海外からお取り寄せ(通常6~9週間)
Intelligent Computing and Technologies : Second International Conference, ICTCon 2024, Kokrajhar, India, December 2-3, 2024, Proceedings (Communications in Computer and Information Science)
  • 洋書

Intelligent Computing and Technologies : Second International Conference, ICTCon 2024, Kokrajhar, India, December 2-3, 2024, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Singh, Pankaj Pratap (EDT)/ Prasad, Shitala (EDT)/ Singh, Pranav Kumar (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 204pt
  • 海外取次在庫
人工知能と政府<br>Artificial Intelligence and Government : Examining the Roles and Uses of AI in Enhancing Government Operations
  • 洋書

人工知能と政府
Artificial Intelligence and Government : Examining the Roles and Uses of AI in Enhancing Government Operations
 Hardcover,  言語:ENG

Aikins, Stephen Kwamena (EDT)/ Dimitrijevska-Markoski, Tamara (EDT)

  • ウェブストア価格 ¥40,547(本体¥36,861)
  • Springer Nature Switzerland AG(2026/02発売)
  • ポイント 368pt
  • 海外取次在庫
Advanced Communications and Digital Networks : First International Conference, ACDN 2025, Baghdad, Iraq, December 2-3, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Advanced Communications and Digital Networks : First International Conference, ACDN 2025, Baghdad, Iraq, December 2-3, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Mahmoud, Walid A. (EDT)/ Raoof, Kosai (EDT)/ Al-Mamory, Safaa O. (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 204pt
  • 海外取次在庫
Academic Research and Professional Practice in Interaction Design : First International Conference, ARPPID 2025, London, UK, July 10-11, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Academic Research and Professional Practice in Interaction Design : First International Conference, ARPPID 2025, London, UK, July 10-11, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Abdelnour-Nocera, José (EDT)/ Clemmensen, Torkil (EDT)/ Lárusdóttir, Marta Kristín (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 204pt
  • 海外取次在庫
Practical Ruby Gems : Installation, Distribution, and Beyond (2ND)
  • 洋書

Practical Ruby Gems : Installation, Distribution, and Beyond (2ND)  Paperback,  言語:ENG

Berube, David

  • APress(2025/11発売)
  • ご注文いただけません
KI in Lehre, Weiterbildung und Training
  • 洋書

KI in Lehre, Weiterbildung und Training  Paperback

Freinhofer, Dominik

  • ウェブストア価格 ¥9,182(本体¥8,348)
  • Rheinwerk Verlag; Rheinwerk Computing(2026/01発売)
  • ポイント 83pt
  • 海外からお取り寄せ(通常6~9週間)
DVCon Europe 2025 : Design and Verification Conference and Exhibition October 14 - 15, 2025 in Munich, Germany (Neuerscheinung)
  • 洋書

DVCon Europe 2025 : Design and Verification Conference and Exhibition October 14 - 15, 2025 in Munich, Germany (Neuerscheinung)  CD-ROM

DVCon EuropeEDT

  • ウェブストア価格 ¥8,419(本体¥7,654)
  • VDE-Verlag(2026発売)
  • ポイント 76pt
  • 海外からお取り寄せ(通常6~9週間)
Automatic Performance Modeling and Analysis of Configurable Scientific Software and Workflows (The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner)
  • 洋書

Automatic Performance Modeling and Analysis of Configurable Scientific Software and Workflows (The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner)  Paperback

Schmid, Larissa

  • ウェブストア価格 ¥10,787(本体¥9,807)
  • KIT Scientific Publishing(2026発売)
  • ポイント 98pt
  • 海外取次在庫
Gebrochene Wände : Die Mechanik des Speedrunnings und wie Spieler die physikalischen Gesetze digitaler Welten sprengen.DE
  • 洋書

Gebrochene Wände : Die Mechanik des Speedrunnings und wie Spieler die physikalischen Gesetze digitaler Welten sprengen.DE

Reinhard, Philipp

  • epubli(2026発売)
  • ご注文いただけません
Rotating Pixels : The Mode 7 Optical Illusion That Twisted 2D Graphics into 3D Worlds.DE
  • 洋書

Rotating Pixels : The Mode 7 Optical Illusion That Twisted 2D Graphics into 3D Worlds.DE

Dalton, Wyatt

  • epubli(2026発売)
  • ご注文いただけません
Virtual und Augmented Reality (VR/AR) : Grundlagen und Methoden von Extended Realities (XR) (3. Aufl.)
  • 洋書

Virtual und Augmented Reality (VR/AR) : Grundlagen und Methoden von Extended Realities (XR) (3. Aufl.)  Paperback,  言語:GER

Doerner, RalfEDT/ Broll, WolfgangEDT/ Grimm, PaulEDT

  • ウェブストア価格 ¥11,837(本体¥10,761)
  • Springer, Berlin; Springer Vieweg(2026発売)
  • ポイント 107pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence: Analytics, Platforms, and Risks
  • 洋書

Artificial Intelligence: Analytics, Platforms, and Risks  Paperback

Khan, Arshad

  • ウェブストア価格 ¥7,880(本体¥7,164)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 71pt
  • 海外からお取り寄せ(通常6~9週間)
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic)
  • 洋書

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic)  Hardcover,  言語:ENG

Demri, Sté/phane

  • ウェブストア価格 ¥14,073(本体¥12,794)
  • Springer, Berlin; Birkhäuser(2026発売)
  • ポイント 127pt
  • 海外からお取り寄せ(通常6~9週間)
XR and Metaverse : Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands (Springer Proceedings in Business and Economics)
  • 洋書

XR and Metaverse : Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands (Springer Proceedings in Business and Economics)  Hardcover,  言語:ENG

tom Dieck, M. ClaudiaEDT/ Jung, TimothyEDT/ Han, Dai-In DannyEDT

  • ウェブストア価格 ¥45,042(本体¥40,948)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 409pt
  • 海外からお取り寄せ(通常6~9週間)
HCI International 2025 - Late Breaking Papers : 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part XV (Lecture Notes in Computer Science)
  • 洋書

HCI International 2025 - Late Breaking Papers : 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part XV (Lecture Notes in Computer Science)  Paperback

Degen, HelmutEDT/ Ntoa, StavroulaEDT

  • ウェブストア価格 ¥27,588(本体¥25,080)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 250pt
  • 海外からお取り寄せ(通常6~9週間)
Business Process Management Workshops : BPM 2025 International Workshops, Seville, Spain, August 31-September 5, 2025, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書

Business Process Management Workshops : BPM 2025 International Workshops, Seville, Spain, August 31-September 5, 2025, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback

van de Weerd, IngeEDT/ Estrada Torres, BediliaEDT/ van der Aa, HanEDT

  • ウェブストア価格 ¥20,830(本体¥18,937)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 189pt
  • 海外からお取り寄せ(通常6~9週間)
Medical Image Computing in Resource Constrained Settings : First International Workshop, MIRASOL 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing in Resource Constrained Settings : First International Workshop, MIRASOL 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Anazodo, UdunnaEDT/ Zhang, DongEDT/ Crimi, AlessandroEDT

  • ウェブストア価格 ¥23,083(本体¥20,985)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 209pt
  • 海外からお取り寄せ(通常6~9週間)