Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic) (2026. Approx. 255 p. 25 illus., 5 illus. in color. 235 mm)
  • 洋書
  • 予約

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic) (2026. Approx. 255 p. 25 illus., 5 illus. in color. 235 mm)  Hardcover,  言語:ENG

Demri, Sté/phane

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 126pt
  • ご予約受付中。出版後の入荷・発送
AI Revolution: Research, Ethics and Society : International Conference, AIR-RES 2025, Las Vegas, NV, USA, April 14-16, 2025, Proceedings, Part I (Communications in Computer and Information Science 2721) (2026. xvii, 515 S. XVII, 515 p. 124 illus. 235 mm)
  • 洋書
  • 予約

AI Revolution: Research, Ethics and Society : International Conference, AIR-RES 2025, Las Vegas, NV, USA, April 14-16, 2025, Proceedings, Part I (Communications in Computer and Information Science 2721) (2026. xvii, 515 S. XVII, 515 p. 124 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Arabnia, Hamid R./ Deligiannidis, Leonidas/ Amirian, Soheyla/ Ghareh Mohammadi, Farid/ Shenavarmasouleh, Farzan

  • ウェブストア価格 ¥25,060(本体¥22,782)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 227pt
  • ご予約受付中。出版後の入荷・発送
Business Process Management Workshops : BPM 2025 International Workshops, Seville, Spain, August 31-September 5, 2025, Revised Selected Papers (Lecture Notes in Business Information Processing 569) (2026. Approx. 590 p. 235 mm)
  • 洋書
  • 予約

Business Process Management Workshops : BPM 2025 International Workshops, Seville, Spain, August 31-September 5, 2025, Revised Selected Papers (Lecture Notes in Business Information Processing 569) (2026. Approx. 590 p. 235 mm)  Paperback

Herausgegeben:van de Weerd, Inge/ Estrada Torres, Irene Bedilia/ van der Aa, Han

  • ウェブストア価格 ¥20,604(本体¥18,731)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 187pt
  • ご予約受付中。出版後の入荷・発送
Inclusive Design Premises, Policies, Protocols, and Practices: From Usability to Empowerment (Synthesis Lectures on Technology and Health) (2026. iv, 88 S. IV, 88 p. 16 illus., 12 illus. in color. 240 mm)
  • 洋書
  • 予約

Inclusive Design Premises, Policies, Protocols, and Practices: From Usability to Empowerment (Synthesis Lectures on Technology and Health) (2026. iv, 88 S. IV, 88 p. 16 illus., 12 illus. in color. 240 mm)  Hardcover

Fels, Deborah/Desai, Shital/Whitfield, Margot

  • ウェブストア価格 ¥38,984(本体¥35,440)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 354pt
  • ご予約受付中。出版後の入荷・発送
Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16180) (2026. Approx. 700 p. 235 mm)
  • 洋書
  • 予約

Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part II (Lecture Notes in Computer Science 16180) (2026. Approx. 700 p. 235 mm)  Paperback

Herausgegeben:de Freitas, Rosiane/ Furtado, Diego

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part I (Lecture Notes in Computer Science 16179) (2026. Approx. 700 p. 235 mm)
  • 洋書
  • 予約

Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part I (Lecture Notes in Computer Science 16179) (2026. Approx. 700 p. 235 mm)  Paperback

Herausgegeben:de Freitas, Rosiane/ Furtado, Diego

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part III (Lecture Notes in Computer Science 16181) (2026. Approx. 700 p. 235 mm)
  • 洋書
  • 予約

Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part III (Lecture Notes in Computer Science 16181) (2026. Approx. 700 p. 235 mm)  Paperback

Herausgegeben:de Freitas, Rosiane/ Furtado, Diego

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part IV (Lecture Notes in Computer Science 16182) (2026. Approx. 700 p. 235 mm)
  • 洋書
  • 予約

Intelligent Systems : 35th Brazilian Conference, BRACIS 2025, Fortaleza-CE, Brazil, September 29 - October 2, 2025, Proceedings, Part IV (Lecture Notes in Computer Science 16182) (2026. Approx. 700 p. 235 mm)  Paperback

Herausgegeben:de Freitas, Rosiane/ Furtado, Diego

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
Embedded Systems with .NET nanoFramework : Practical, Hands-On C# for Microcontrollers: Building Resource-Constrained IoT Devices from Peripherals to CloudMaster (First Edition. 2026. xxiii, 343 S. XXIII, 343 p. 35 illus. 254 mm)
  • 洋書
  • 予約

Embedded Systems with .NET nanoFramework : Practical, Hands-On C# for Microcontrollers: Building Resource-Constrained IoT Devices from Peripherals to CloudMaster (First Edition. 2026. xxiii, 343 S. XXIII, 343 p. 35 illus. 254 mm)  Paperback,  言語:ENG

Simõ/es, José

  • ウェブストア価格 ¥15,313(本体¥13,921)
  • SPRINGER, BERLIN; APRESS(2026/02発売)
  • ポイント 139pt
  • ご予約受付中。出版後の入荷・発送
HCI International 2025 - Late Breaking Papers : 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part XVI (Lecture Notes in Computer Science 16346) (2026. xv, 444 S. XV, 444 p. 99 illus. 235 mm)
  • 洋書
  • 予約

HCI International 2025 - Late Breaking Papers : 27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part XVI (Lecture Notes in Computer Science 16346) (2026. xv, 444 S. XV, 444 p. 99 illus. 235 mm)  Paperback

Herausgegeben:Wei, June/ Margetis, George/ Degen, Helmut/ Ntoa, Stavroula

  • ウェブストア価格 ¥27,287(本体¥24,807)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 248pt
  • ご予約受付中。出版後の入荷・発送
Progress in Cryptology - INDOCRYPT 2025 : 26th International Conference on Cryptology in India, Bhubaneshwar, India, December 14-17, 2025, Proceedings (Lecture Notes in Computer Science 16372)
  • 洋書
  • 予約

Progress in Cryptology - INDOCRYPT 2025 : 26th International Conference on Cryptology in India, Bhubaneshwar, India, December 14-17, 2025, Proceedings (Lecture Notes in Computer Science 16372)

Herausgegeben:Dutta, Ratna/De Feo, Luca/Gangopadhyay, Sugata

  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ご注文いただけません
AI Revolution: Research, Ethics and Society : International Conference, AIR-RES 2025, Las Vegas, NV, USA, April 14-16, 2025, Proceedings, Part II (Communications in Computer and Information Science 2722) (2026. xv, 514 S. XV, 514 p. 184 illus. 235 mm)
  • 洋書
  • 予約

AI Revolution: Research, Ethics and Society : International Conference, AIR-RES 2025, Las Vegas, NV, USA, April 14-16, 2025, Proceedings, Part II (Communications in Computer and Information Science 2722) (2026. xv, 514 S. XV, 514 p. 184 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Arabnia, Hamid R./ Deligiannidis, Leonidas/ Amirian, Soheyla/ Ghareh Mohammadi, Farid/ Shenavarmasouleh, Farzan

  • ウェブストア価格 ¥30,629(本体¥27,845)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/01発売)
  • ポイント 278pt
  • ご予約受付中。出版後の入荷・発送
Artificial Intelligence and Knowledge Processing : 5th International Conference, AIKP 2025, Hyderabad, India, October 23-25, 2025, Proceedings (Communications in Computer and Information Science 2804) (2026. xx, 319 S. XX, 319 p. 235 mm)
  • 洋書
  • 予約

Artificial Intelligence and Knowledge Processing : 5th International Conference, AIKP 2025, Hyderabad, India, October 23-25, 2025, Proceedings (Communications in Computer and Information Science 2804) (2026. xx, 319 S. XX, 319 p. 235 mm)  Paperback

Herausgegeben:Kannan, Hemachandran/ Villamarin Rodriguez, Raul/ Rege, Manjeet/ Piuri, Vincenzo/ AdeIbijola, Abejide/ Ló/pez Gonzá/lez de Leó/n, Miguel/ Ben Dhaou, Imed

  • ウェブストア価格 ¥19,489(本体¥17,718)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 177pt
  • ご予約受付中。出版後の入荷・発送
Big Data and Artificial Intelligence : 13th International Conference, BDA 2025, Bangalore, India, July 17-20, 2025, Proceedings (Lecture Notes in Computer Science 16041) (2026. Approx. 450 p. 235 mm)
  • 洋書
  • 予約

Big Data and Artificial Intelligence : 13th International Conference, BDA 2025, Bangalore, India, July 17-20, 2025, Proceedings (Lecture Notes in Computer Science 16041) (2026. Approx. 450 p. 235 mm)  Paperback

Herausgegeben:Gupta, Rajeev/ P, Deepak/ Shen, Jun/ Srinivasa, Srinath/ Ellampallil Venugopal, Vinu/ Kumar, Uttam

  • ウェブストア価格 ¥20,604(本体¥18,731)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 187pt
  • ご予約受付中。出版後の入荷・発送
AI Revolution: Research, Ethics and Society : International Conference, AIR-RES 2025, Las Vegas, NV, USA, April 14-16, 2025, Proceedings, Part III (Communications in Computer and Information Science 2723) (2026. xviii, 577 S. XVIII, 577 p. 191 illus. 235 mm)
  • 洋書
  • 予約

AI Revolution: Research, Ethics and Society : International Conference, AIR-RES 2025, Las Vegas, NV, USA, April 14-16, 2025, Proceedings, Part III (Communications in Computer and Information Science 2723) (2026. xviii, 577 S. XVIII, 577 p. 191 illus. 235 mm)  Paperback

Herausgegeben:Arabnia, Hamid R./ Deligiannidis, Leonidas/ Amirian, Soheyla/ Ghareh Mohammadi, Farid/ Shenavarmasouleh, Farzan

  • ウェブストア価格 ¥30,629(本体¥27,845)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/01発売)
  • ポイント 278pt
  • ご予約受付中。出版後の入荷・発送
Advanced Communications and Digital Networks : First International Conference, ACDN 2025, Baghdad, Iraq, December 2-3, 2025, Proceedings (Communications in Computer and Information Science 2798) (2026. xi, 158 S. XI, 158 p. 235 mm)
  • 洋書
  • 予約

Advanced Communications and Digital Networks : First International Conference, ACDN 2025, Baghdad, Iraq, December 2-3, 2025, Proceedings (Communications in Computer and Information Science 2798) (2026. xi, 158 S. XI, 158 p. 235 mm)  Paperback

Herausgegeben:Mahmoud, Walid A./ Raoof, Kosai/ Al-mamory, Safaa O./ Al-Sherbaz, Ali/ Mohammed Abdulhussein Al-zubaidi, Fahad/ Feizi Derakhshi, Mohammad Raza/ Khalid Ismail, Haqi

  • ウェブストア価格 ¥25,060(本体¥22,782)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 227pt
  • ご予約受付中。出版後の入荷・発送
Recommender Systems for Sustainability and Social Good : Second International Workshop, RecSoGood 2025, Prague, Czech Republic, September 26, 2025, Proceedings (Communications in Computer and Information Science 2802) (2026. ix, 171 S. IX, 171 p. 39 illus. 235 mm)
  • 洋書
  • 予約

Recommender Systems for Sustainability and Social Good : Second International Workshop, RecSoGood 2025, Prague, Czech Republic, September 26, 2025, Proceedings (Communications in Computer and Information Science 2802) (2026. ix, 171 S. IX, 171 p. 39 illus. 235 mm)  Paperback

Herausgegeben:Boratto, Ludovico/ De Filippo, Allegra/ Lex, Elisabeth/ Mauro, Noemi/ Malloci, Francesca Maridina/ Ricci, Francesco

  • ウェブストア価格 ¥16,705(本体¥15,187)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 151pt
  • ご予約受付中。出版後の入荷・発送
Next-Gen Computing and Communication Systems : First International Conference, ICNCS 2025, Jaipur, India, April 18-19, 2025, Proceedings (Communications in Computer and Information Science 2718) (2026. ix, 115 S. IX, 115 p. 43 illus., 35 illus. in color. 235 mm)
  • 洋書
  • 予約

Next-Gen Computing and Communication Systems : First International Conference, ICNCS 2025, Jaipur, India, April 18-19, 2025, Proceedings (Communications in Computer and Information Science 2718) (2026. ix, 115 S. IX, 115 p. 43 illus., 35 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:K. Somani, Arun/ Mishra, Deepti/ Khari, Manju/ Gaur, Pramod/ Arsalan, Muhammad

  • ウェブストア価格 ¥25,060(本体¥22,782)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 227pt
  • ご予約受付中。出版後の入荷・発送
Security and Privacy : 4th International Conference, ICSP 2025, Rourkela, India, December 5-7, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • 予約

Security and Privacy : 4th International Conference, ICSP 2025, Rourkela, India, December 5-7, 2025, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Mesnager, Sihem (EDT)/ Stănică, Pantelimon (EDT)/ Acharya, Kamalesh (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2026/01発売)
  • ポイント 159pt
  • 海外取次在庫
A Practitioners' Guide to SAS : Mastering SAS Consulting: Design, Deploy, and Manage Analytics Environments (First Edition. 2025. Approx. 350 p. 254 mm)
  • 洋書
  • 予約

A Practitioners' Guide to SAS : Mastering SAS Consulting: Design, Deploy, and Manage Analytics Environments (First Edition. 2025. Approx. 350 p. 254 mm)  Paperback,  言語:ENG

Dey, Anirban

  • ウェブストア価格 ¥18,098(本体¥16,453)
  • SPRINGER, BERLIN; APRESS(2026/01発売)
  • ポイント 164pt
  • ご予約受付中。出版後の入荷・発送