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,150(本体¥12,864)
  • Springer, Berlin; Birkhäuser(2026発売)
  • ポイント 128pt
  • 海外からお取り寄せ(通常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,288(本体¥41,171)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 411pt
  • 海外からお取り寄せ(通常6~9週間)
SpringerBriefs on Cultural Computing : Gameful Compositions in Interactive Computer Music (Springer Series on Cultural Computing)
  • 洋書

SpringerBriefs on Cultural Computing : Gameful Compositions in Interactive Computer Music (Springer Series on Cultural Computing)  Paperback,  言語:ENG

Turowski, Paul/ Hutchinson, Simon/ Fukuda, Takuto

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 128pt
  • 海外からお取り寄せ(通常6~9週間)
Elliptic Curves and Modular Forms in Arithmetic Geometry : Celebrating Massimo Bertolini's 60th Birthday, Milano, Italy, September 12-16, 2022 (Springer Proceedings in Mathematics & Statistics)
  • 洋書

Elliptic Curves and Modular Forms in Arithmetic Geometry : Celebrating Massimo Bertolini's 60th Birthday, Milano, Italy, September 12-16, 2022 (Springer Proceedings in Mathematics & Statistics)  Hardcover

Longo, MatteoEDT/ Seveso, Marco AdamoEDT/ Venerucci, RodolfoEDT

  • ウェブストア価格 ¥42,456(本体¥38,597)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 385pt
  • 海外からお取り寄せ(通常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,737(本体¥25,216)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常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,944(本体¥19,040)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 190pt
  • 海外からお取り寄せ(通常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,208(本体¥21,099)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 210pt
  • 海外からお取り寄せ(通常6~9週間)
Advancing Multi-modelling in MDE for Integrated Domain and Business Process Modelling (Lecture Notes in Business Information Processing)
  • 洋書

Advancing Multi-modelling in MDE for Integrated Domain and Business Process Modelling (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Verbruggen, Charlotte

  • ウェブストア価格 ¥16,415(本体¥14,923)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 149pt
  • 海外からお取り寄せ(通常6~9週間)
Recent Developments in Communication and Computational Algorithms for Engineering Application (Advances in Science, Technology & Innovation)
  • 洋書

Recent Developments in Communication and Computational Algorithms for Engineering Application (Advances in Science, Technology & Innovation)  Hardcover,  言語:ENG

Kumar, SanjeevEDT/ Singh, Mahesh KumarEDT

  • ウェブストア価格 ¥70,764(本体¥64,331)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 643pt
  • 海外からお取り寄せ(通常6~9週間)
Secure IT Systems : 30th Nordic Conference, NordSec 2025, Tartu, Estonia, November 12-13, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Secure IT Systems : 30th Nordic Conference, NordSec 2025, Tartu, Estonia, November 12-13, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Matulevicius, RaimundasEDT/ Kamm, LiinaEDT/ Iqbal, MubasharEDT

  • ウェブストア価格 ¥18,679(本体¥16,981)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 169pt
  • 海外からお取り寄せ(通常6~9週間)
Applied Computer Science : 11th Spanish German Symposium, SGSOACS 2025, Vienna, Austria, June 30-July 3, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Applied Computer Science : 11th Spanish German Symposium, SGSOACS 2025, Vienna, Austria, June 30-July 3, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Schaefer, JoergEDT/ Boubeta-Puig, JuanEDT

  • ウェブストア価格 ¥25,472(本体¥23,157)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 231pt
  • 海外からお取り寄せ(通常6~9週間)
Computer Applications in Industry and Engineering : 38th International Conference, CAINE 2025, New Orleans, LA, USA, October 20-21, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Computer Applications in Industry and Engineering : 38th International Conference, CAINE 2025, New Orleans, LA, USA, October 20-21, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Roy, IndranilEDT/ Kambhampaty, Krishna K.EDT/ Goto, TakakiEDT

  • ウェブストア価格 ¥19,812(本体¥18,011)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 180pt
  • 海外からお取り寄せ(通常6~9週間)
AI in Smart and Secure Healthcare : Research Trends and Future Opportunities (Springer Optimization and Its Applications)
  • 洋書

AI in Smart and Secure Healthcare : Research Trends and Future Opportunities (Springer Optimization and Its Applications)  Hardcover

Banerjee, ShreyaEDT/ Saha, SayantaniEDT/ Biswas, SuparnaEDT

  • ウェブストア価格 ¥56,610(本体¥51,464)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 514pt
  • 海外からお取り寄せ(通常6~9週間)
Innovations and Interdisciplinary Solutions for Underserved Areas (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書

Innovations and Interdisciplinary Solutions for Underserved Areas (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback

Bassole, DidierEDT/ Gueye, AssaneEDT/ Yé/lé/mou, TiguianeEDT

  • ウェブストア価格 ¥21,226(本体¥19,297)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 192pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Advertising : 19th International Workshop, AdKDD 2025, Toronto, ON, Canada, August 4, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Computational Advertising : 19th International Workshop, AdKDD 2025, Toronto, ON, Canada, August 4, 2025, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Bagherjeiran, AbrahamEDT/ Djuric, NemanjaEDT/ Lee, Kuang-chihEDT

  • ウェブストア価格 ¥31,134(本体¥28,304)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 283pt
  • 海外からお取り寄せ(通常6~9週間)
Computer-Human Interaction Research and Applications : 9th International Conference, CHIRA 2025, Marbella, Spain, October 20-21, 2025, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書

Computer-Human Interaction Research and Applications : 9th International Conference, CHIRA 2025, Marbella, Spain, October 20-21, 2025, Proceedings, Part I (Communications in Computer and Information Science)  Paperback

Krems, Josef F.EDT/ Da Silva, Hugo Plá/cidoEDT/ Cipresso, PietroEDT

  • ウェブストア価格 ¥25,472(本体¥23,157)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026発売)
  • ポイント 231pt
  • 海外からお取り寄せ(通常6~9週間)
Advanced Research in Technologies, Information, Innovation and Sustainability (Communications in Computer and Information Science)
  • 洋書

Advanced Research in Technologies, Information, Innovation and Sustainability (Communications in Computer and Information Science)  Paperback,  言語:ENG

Guarda, TeresaEDT/ Portela, FilipeEDT/ Augusto, Maria FernandaEDT

  • ウェブストア価格 ¥25,472(本体¥23,157)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 231pt
  • 海外からお取り寄せ(通常6~9週間)
Information and Software Technologies : 31st International Conference, ICIST 2025, Kaunas, Lithuania, October 16-17, 2025, Proceedings (Communications in Computer and Information Science)
  • 洋書

Information and Software Technologies : 31st International Conference, ICIST 2025, Kaunas, Lithuania, October 16-17, 2025, Proceedings (Communications in Computer and Information Science)  Paperback

Lopata, AudriusEDT/ Gudonien_, DainaEDT/ Ceponis, JonasEDT

  • ウェブストア価格 ¥21,226(本体¥19,297)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 192pt
  • 海外からお取り寄せ(通常6~9週間)
Mobile Multimedia Communications (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書

Mobile Multimedia Communications (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback

Xu, ConganEDT/ Gui, GuanEDT/ Dong, ZhichengEDT

  • ウェブストア価格 ¥24,058(本体¥21,871)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 218pt
  • 海外からお取り寄せ(通常6~9週間)
Computing, Communication and Learning : 4th International Conference, CoCoLe 2025, Rourkela, India, September 22-24, 2025, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Computing, Communication and Learning : 4th International Conference, CoCoLe 2025, Rourkela, India, September 22-24, 2025, Revised Selected Papers (Communications in Computer and Information Science)  Paperback

Panda, Sanjaya KumarEDT/ Udgata, Siba KumarEDT/ Panigrahi, SibaramaEDT

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