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
  • ご予約受付中。出版後の入荷・発送
Innovative Intelligent Industrial Production and Logistics : 6th IFAC/INSTICC International Conference, IN4PL 2025, Marbella, Spain, October 23-24, 2025, Proceedings, Part I (Communications in Computer and Information Science 2825) (2026. xx, 389 S. XX, 389 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Innovative Intelligent Industrial Production and Logistics : 6th IFAC/INSTICC International Conference, IN4PL 2025, Marbella, Spain, October 23-24, 2025, Proceedings, Part I (Communications in Computer and Information Science 2825) (2026. xx, 389 S. XX, 389 p. 235 mm)  Paperback

Herausgegeben:Barata, José/ Madani, Kurosh/ Panetto, Hervé

  • ウェブストア価格 ¥41,998(本体¥38,180)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 762pt
  • ご予約受付中。出版後の入荷・発送
Innovative Intelligent Industrial Production and Logistics : 6th IFAC/INSTICC International Conference, IN4PL 2025, Marbella, Spain, October 23-24, 2025, Proceedings, Part II (Communications in Computer and Information Science 2826) (2026. xx, 349 S. XX, 349 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Innovative Intelligent Industrial Production and Logistics : 6th IFAC/INSTICC International Conference, IN4PL 2025, Marbella, Spain, October 23-24, 2025, Proceedings, Part II (Communications in Computer and Information Science 2826) (2026. xx, 349 S. XX, 349 p. 235 mm)  Paperback

Herausgegeben:Barata, José/ Madani, Kurosh/ Panetto, Hervé

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Teixeira, Leopoldo (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 258pt
  • 海外取次在庫
Practical Aspects of Declarative Languages : 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16401) (2026. xx, 298 S. XX, 298 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Practical Aspects of Declarative Languages : 28th International Symposium, PADL 2026, Rennes, France, January 12-13, 2026, Proceedings (Lecture Notes in Computer Science 16401) (2026. xx, 298 S. XX, 298 p. 235 mm)  Paperback

Herausgegeben:Amin, Nada/ Arias, Joaquí/n

  • ウェブストア価格 ¥16,237(本体¥14,761)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/02発売)
  • ポイント 294pt
  • ご予約受付中。出版後の入荷・発送
The Practice of Enterprise Modeling : 18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3-5, 2025, Proceedings (Lecture Notes in Business Information Processing)
  • 洋書
  • ポイントキャンペーン

The Practice of Enterprise Modeling : 18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3-5, 2025, Proceedings (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Fill, Hans-Georg (EDT)/ Wautelet, Yves (EDT)/ Ralyté, Jolita (EDT)

  • Springer Nature Switzerland AG(2025/11発売)
  • ご注文いただけません
Interactive Storytelling : 18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1-5, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Interactive Storytelling : 18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1-5, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Reyes, María Cecilia (EDT)/ Nack, Frank (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 218pt
  • 海外取次在庫
Interactive Storytelling : 18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1-5, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Interactive Storytelling : 18th International Conference on Interactive Digital Storytelling, ICIDS 2025, Saint Julian, Malta, December 1-5, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Reyes, María Cecilia (EDT)/ Nack, Frank (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer Nature Switzerland AG(2025/12発売)
  • ポイント 358pt
  • 海外取次在庫
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,397(本体¥13,998)
  • SPRINGER, BERLIN; APRESS(2026/02発売)
  • ポイント 278pt
  • ご予約受付中。出版後の入荷・発送
Advancing Multi-modelling in MDE for Integrated Domain and Business Process Modelling (Lecture Notes in Business Information Processing 576) (2026. Approx. 200 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Advancing Multi-modelling in MDE for Integrated Domain and Business Process Modelling (Lecture Notes in Business Information Processing 576) (2026. Approx. 200 p. 235 mm)  Paperback,  言語:ENG

Verbruggen, Charlotte

  • ウェブストア価格 ¥16,237(本体¥14,761)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2026/01発売)
  • ポイント 294pt
  • ご予約受付中。出版後の入荷・発送
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
  • ご予約受付中。出版後の入荷・発送
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Collart-Dutilleul, Simon (EDT)/ Lecomte, Thierry (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 258pt
  • 海外取次在庫
ICT Education : 54th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2025, Bloemfontein, South Africa, July 30 - August 1, 2025, Revised Selected Papers (Communications in Computer and Information Science 2770) (2026. xi, 153 S. XI, 153 p. 39 illus., 33 illus. in color. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

ICT Education : 54th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2025, Bloemfontein, South Africa, July 30 - August 1, 2025, Revised Selected Papers (Communications in Computer and Information Science 2770) (2026. xi, 153 S. XI, 153 p. 39 illus., 33 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Nel, Liezel/ Stott, Tanya/ Calitz, André

  • ウェブストア価格 ¥16,797(本体¥15,270)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 304pt
  • ご予約受付中。出版後の入荷・発送
Innovations and Interdisciplinary Solutions for Underserved Areas (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. Approx. 350 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Innovations and Interdisciplinary Solutions for Underserved Areas (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. Approx. 350 p. 235 mm)  Paperback

Herausgegeben:Bassole, Didier/ Gueye, Assane/ Yé/lé/mou, Tiguiane/ Diongue, Dame

  • ウェブストア価格 ¥20,997(本体¥19,089)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 380pt
  • ご予約受付中。出版後の入荷・発送
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 2797) (2026. x, 253 S. X, 253 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

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 2797) (2026. x, 253 S. X, 253 p. 235 mm)  Paperback

Herausgegeben:Abdelnour-Nocera, José/ Clemmensen, Torkil/ Lá/rusdó/ttir, Marta Kristí/n/ Macchia, Teresa/ Rey Babbarro, Marta/ Yingta, Nurha

  • ウェブストア価格 ¥25,197(本体¥22,907)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 458pt
  • ご予約受付中。出版後の入荷・発送
Artificial Intelligence in Biomedicine : First Conference of the Spanish Society of Artificial Intelligence in Biomedicine, CIABiomed 2025, Seville, Spain, October 23-24, 2025, Proceedings (Lecture Notes in Bioinformatics)
  • 洋書
  • 予約
  • ポイントキャンペーン

Artificial Intelligence in Biomedicine : First Conference of the Spanish Society of Artificial Intelligence in Biomedicine, CIABiomed 2025, Seville, Spain, October 23-24, 2025, Proceedings (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

López Fernández, Aurelio (EDT)/ Rodríguez-González, Alejandro (EDT)/ Leirós-Rodríguez, Raquel (EDT)

  • Springer Nature Switzerland AG(2026/01発売)
  • ご注文いただけません
Logic, Language, and Computation : 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers (Lecture Notes in Computer Science 15661) (2026. Approx. 350 p. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Logic, Language, and Computation : 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers (Lecture Notes in Computer Science 15661) (2026. Approx. 350 p. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Hogeweg, Lotte/ Jalali, Raheleh/ Sedlá/r, Igor/ Schwarz, Lena

  • ウェブストア価格 ¥36,397(本体¥33,089)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 660pt
  • ご予約受付中。出版後の入荷・発送
Knowledge Graphs and Semantic Web : 7th International Conference, KGSWC 2025, Leipzig, Germany, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16373) (2026. x, 316 S. X, 316 p. 78 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Knowledge Graphs and Semantic Web : 7th International Conference, KGSWC 2025, Leipzig, Germany, November 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16373) (2026. x, 316 S. X, 316 p. 78 illus. 235 mm)  Paperback

Herausgegeben:Villazó/n-Terrazas, Boris/ Ortiz-Rodriguez, Fernando/ Tiwari, Sanju/ Riechert, Thomas/ Marx, Edgard

  • ウェブストア価格 ¥27,437(本体¥24,943)
  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ポイント 498pt
  • ご予約受付中。出版後の入荷・発送
Responsible Artificial Intelligence and Data Science (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. xii, 214 S. XII, 214 p. 102 illus. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Responsible Artificial Intelligence and Data Science (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Enginee) (2026. xii, 214 S. XII, 214 p. 102 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Thomassey, Sé/bastien/ Tran, Kim-Phuc/ Vanderhaegen, Fré/dé/ric/ Choi, Tsan-Ming

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