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,997(本体¥12,725)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 254pt
  • ご予約受付中。出版後の入荷・発送
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,437(本体¥24,943)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 498pt
  • ご予約受付中。出版後の入荷・発送
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,437(本体¥24,943)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 498pt
  • ご予約受付中。出版後の入荷・発送
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,437(本体¥24,943)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 498pt
  • ご予約受付中。出版後の入荷・発送
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,437(本体¥24,943)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND(2026/02発売)
  • ポイント 498pt
  • ご予約受付中。出版後の入荷・発送
Advances in Artificial Intelligence and Machine Learning in Big Data Processing : Second International Conference, AAIMB 2024, Chennai, India, December 12-13, 2024, Proceedings, Part II (Communications in Computer and Information Science 2654) (2026. vii, 404 S. VII, 404 p. 199 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Advances in Artificial Intelligence and Machine Learning in Big Data Processing : Second International Conference, AAIMB 2024, Chennai, India, December 12-13, 2024, Proceedings, Part II (Communications in Computer and Information Science 2654) (2026. vii, 404 S. VII, 404 p. 199 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Ramachandran, Geetha/ Dao, Nhu-Ngoc/ Jhanjhi, Noor Zaman/ Muthukrishnan, Anuradha/ Duraivelu, Hemanand

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Advancing Innovative Cybersecurity Solutions and Approaches to Protect Digital Ecosystems (IFIP Advances in Information and Communication Technology 777) (2025. xii, 260 S. XII, 260 p. 48 illus., 27 illus. in color. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Advancing Innovative Cybersecurity Solutions and Approaches to Protect Digital Ecosystems (IFIP Advances in Information and Communication Technology 777) (2025. xii, 260 S. XII, 260 p. 48 illus., 27 illus. in color. 235 mm)  Hardcover

Herausgegeben:Mtsweni, Jabu/ Kanyane, Modimowabarwa/ Phahlamohlaka, Jackie/ Munyoka, Willard/ Thomson, Kerry-Lynn/ Futcher, Lynn/ Jansen van Vuuren, Joey

  • ウェブストア価格 ¥33,597(本体¥30,543)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 610pt
  • ご予約受付中。出版後の入荷・発送
Quantum AI and NLP : First International Conference, QNLPAI 2025, Bloomington, IN, USA, August 6-9, 2025, Proceedings (Communications in Computer and Information Science 2659) (2026. xi, 329 S. XI, 329 p. 99 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Quantum AI and NLP : First International Conference, QNLPAI 2025, Bloomington, IN, USA, August 6-9, 2025, Proceedings (Communications in Computer and Information Science 2659) (2026. xi, 329 S. XI, 329 p. 99 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Cavar, Damir/ Aggarwal, Vaneet/ Busemeyer, Jerome/ Chen, Samuel Yen-Chi

  • ウェブストア価格 ¥30,797(本体¥27,998)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 558pt
  • ご予約受付中。出版後の入荷・発送
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. xvi, 516 S. XVI, 516 p. 144 illus., 124 illus. in color. 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. xvi, 516 S. XVI, 516 p. 144 illus., 124 illus. in color. 235 mm)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Progress in Cryptology - INDOCRYPT 2025 : 26th International Conference on Cryptology in India, Bhubaneshwar, India, December 14-17, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

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

Dutta, Ratna (EDT)/ De Feo, Luca (EDT)/ Gangopadhyay, Sugata (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 298pt
  • 海外取次在庫
Algorithmic Aspects of Cloud Computing : 10th International Symposium, ALGOCLOUD 2025, Warsaw, Poland, September 15-16, 2025, Revised Selected Papers (Lecture Notes in Computer Science 16349) (2026. x, 159 S. X, 159 p. 41 illus., 37 illus. in color. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Algorithmic Aspects of Cloud Computing : 10th International Symposium, ALGOCLOUD 2025, Warsaw, Poland, September 15-16, 2025, Revised Selected Papers (Lecture Notes in Computer Science 16349) (2026. x, 159 S. X, 159 p. 41 illus., 37 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Garlisi, Domenico/ Chatzopoulos, Dimitris

  • ウェブストア価格 ¥16,237(本体¥14,761)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 294pt
  • ご予約受付中。出版後の入荷・発送
Computer Performance Engineering : 21st European Workshop on Performance Engineering, EPEW 2025, Catania, Italy, June 26, 2025, Revised Selected Papers (Lecture Notes in Computer Science 15657) (2026. xx, 172 S. XX, 172 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Computer Performance Engineering : 21st European Workshop on Performance Engineering, EPEW 2025, Catania, Italy, June 26, 2025, Revised Selected Papers (Lecture Notes in Computer Science 15657) (2026. xx, 172 S. XX, 172 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Carnevali, Laura/ Doncel, Josu

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 254pt
  • ご予約受付中。出版後の入荷・発送
Active Inference : 6th International Workshop, IWAI 2025, Montreal, QC, Canada, October 15-17, 2025, Revised Selected Papers (Communications in Computer and Information Science 2857) (2026. xx, 414 S. XX, 414 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Active Inference : 6th International Workshop, IWAI 2025, Montreal, QC, Canada, October 15-17, 2025, Revised Selected Papers (Communications in Computer and Information Science 2857) (2026. xx, 414 S. XX, 414 p. 235 mm)  Paperback

Herausgegeben:Albarracin, Mahault/ Benrimoh, David/ Buckley, Christopher L./ Lanillos, Pablo/ Pitliya, Riddhi J./ Shimazaki, Hideaki/ Stoianov, Ivilin Peev/ Verbelen, Tim/ Wisse, Martijn

  • ウェブストア価格 ¥20,997(本体¥19,089)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 380pt
  • ご予約受付中。出版後の入荷・発送
Optimization and Data Science in Industrial Engineering : Third International Conference, ODSIE 2025, Istanbul, Turkey, November 20-22, 2025, Proceedings, Part I (Communications in Computer and Information Science 2854) (2026. Approx. 500 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Optimization and Data Science in Industrial Engineering : Third International Conference, ODSIE 2025, Istanbul, Turkey, November 20-22, 2025, Proceedings, Part I (Communications in Computer and Information Science 2854) (2026. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Molamohamadi, Zohreh/ Babaee Tirkolaee, Erfan/ Mirzazadeh, A./ Weber, Gerhard-Wilhelm

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Optimization and Data Science in Industrial Engineering : Third International Conference, ODSIE 2025, Istanbul, Turkey, November 20-22, 2025, Proceedings, Part II (Communications in Computer and Information Science 2855) (2026. Approx. 500 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Optimization and Data Science in Industrial Engineering : Third International Conference, ODSIE 2025, Istanbul, Turkey, November 20-22, 2025, Proceedings, Part II (Communications in Computer and Information Science 2855) (2026. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Molamohamadi, Zohreh/ Babaee Tirkolaee, Erfan/ Mirzazadeh, A./ Weber, Gerhard-Wilhelm

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Optimization and Data Science in Industrial Engineering : Third International Conference, ODSIE 2025, Istanbul, Turkey, November 20-22, 2025, Proceedings, Part III (Communications in Computer and Information Science 2856) (2026. Approx. 500 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Optimization and Data Science in Industrial Engineering : Third International Conference, ODSIE 2025, Istanbul, Turkey, November 20-22, 2025, Proceedings, Part III (Communications in Computer and Information Science 2856) (2026. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Molamohamadi, Zohreh/ Babaee Tirkolaee, Erfan/ Mirzazadeh, A./ Weber, Gerhard-Wilhelm

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part I (Communications in Computer and Information Science 2861) (2026. Approx. 1050 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part I (Communications in Computer and Information Science 2861) (2026. Approx. 1050 p. 235 mm)  Paperback

Herausgegeben:Chandra Mondal, Kartick/ Bhattacharya, Munmun/ Bhaumik, Parama/ Mukhopadhyay, Somnath/ Mandal, Jyotsna K./ Dutta, Paramartha

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 762pt
  • ご予約受付中。出版後の入荷・発送
Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part III (Communications in Computer and Information Science 2863) (2026. Approx. 500 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part III (Communications in Computer and Information Science 2863) (2026. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Chandra Mondal, Kartick/ Bhattacharya, Munmun/ Bhaumik, Parama/ Mukhopadhyay, Somnath/ Mandal, Jyotsna K./ Dutta, Paramartha

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part II (Communications in Computer and Information Science 2862) (2026. Approx. 500 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Computational Intelligence in Communications and Business Analytics : 7th International Conference, CICBA 2025, Kolkata, India, July 4-6, 2025, Revised Selected Papers, Part II (Communications in Computer and Information Science 2862) (2026. Approx. 500 p. 235 mm)  Paperback

Herausgegeben:Chandra Mondal, Kartick/ Bhattacharya, Munmun/ Bhaumik, Parama/ Mukhopadhyay, Somnath/ Mandal, Jyotsna K./ Dutta, Paramartha

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
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,597(本体¥17,816)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 356pt
  • ご予約受付中。出版後の入荷・発送