Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
  • 洋書

Guide to Software Verification with Frama-C : Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)  Paperback,  言語:ENG

Kosmatov, Nikolai (EDT)/ Prevosto, Virgile (EDT)/ Signoles, Julien (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
ITNG 2024: 21st International Conference on Information Technology-New Generations (Advances in Intelligent Systems and Computing)
  • 洋書

ITNG 2024: 21st International Conference on Information Technology-New Generations (Advances in Intelligent Systems and Computing)  Paperback,  言語:ENG

Latifi, Shahram (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Physical Layer Security in Power Line Communications : Fundamentals, Models and Applications (Advances in Information Security)
  • 洋書

Physical Layer Security in Power Line Communications : Fundamentals, Models and Applications (Advances in Information Security)  Paperback,  言語:ENG

Hernandez Fernandez, Javier/ Omri, Aymen/ Di Pietro, Roberto

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Vehicle Computing : From Traditional Transportation to Computing on Wheels
  • 洋書

Vehicle Computing : From Traditional Transportation to Computing on Wheels  Paperback,  言語:ENG

Lu, Sidi/ Shi, Weisong

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Surveillance, Prevention, and Control of Infectious Diseases : An AI Perspective
  • 洋書

Surveillance, Prevention, and Control of Infectious Diseases : An AI Perspective  Paperback,  言語:ENG

Chowdhury, Muhammad E. H. (EDT)/ Kiranyaz, Serkan (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Quantum Information in the Nanoelectronic World (Synthesis Lectures on Engineering, Science, and Technology)
  • 洋書

Quantum Information in the Nanoelectronic World (Synthesis Lectures on Engineering, Science, and Technology)  Paperback,  言語:ENG

Ferry, David K.

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2025/07発売)
  • ポイント 189pt
  • 海外からお取り寄せ(通常6~9週間)
Information Technology in Disaster Risk Reduction : 8th IFIP WG 5.15 International Conference, ITDRR 2023, Tokyo, Japan, December 4-6, 2023, Revised Selected Papers (Ifip Advances in Information and Communication Technology)
  • 洋書

Information Technology in Disaster Risk Reduction : 8th IFIP WG 5.15 International Conference, ITDRR 2023, Tokyo, Japan, December 4-6, 2023, Revised Selected Papers (Ifip Advances in Information and Communication Technology)  Paperback,  言語:ENG

Dugdale, Julie (EDT)/ Gjøsæter, Terje (EDT)/ Uchida, Osamu (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Virtual, Augmented and Mixed Reality : 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Virtual, Augmented and Mixed Reality : 17th International Conference, VAMR 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chen, Jessie Y. C. (EDT)/ Fragomeni, Gino (EDT)

  • Springer International Publishing AG(2025/07発売)
  • ご注文いただけません
Advances in Tourism, Technology and Systems : Selected Papers from ICOTTS 2024, Volume 2 (Smart Innovation, Systems and Technologies)
  • 洋書

Advances in Tourism, Technology and Systems : Selected Papers from ICOTTS 2024, Volume 2 (Smart Innovation, Systems and Technologies)  Hardcover,  言語:ENG

Abreu, António (EDT)/ Carvalho, João Vidal (EDT)/ Liberato, Dália (EDT)

  • ウェブストア価格 ¥62,513(本体¥56,830)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 568pt
  • 海外からお取り寄せ(通常6~9週間)
Data-Driven Waste Revolution (Computational Intelligence Methods and Applications)
  • 洋書

Data-Driven Waste Revolution (Computational Intelligence Methods and Applications)  Hardcover,  言語:ENG

Jarboui, Bassem (EDT)/ Toumi, Said (EDT)/ Siarry, Patrick (EDT)

  • Springer Nature Switzerland AG(2025/07発売)
  • ご注文いただけません
Sustainability in Energy and Buildings 2024 (Smart Innovation, Systems and Technologies)
  • 洋書

Sustainability in Energy and Buildings 2024 (Smart Innovation, Systems and Technologies)  Hardcover,  言語:ENG

Littlewood, John (EDT)/ Howlett, R. J. (EDT)/ Jain, Lakhmi C. (EDT)

  • ウェブストア価格 ¥62,513(本体¥56,830)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 568pt
  • 海外からお取り寄せ(通常6~9週間)
Communication and Intelligent Systems : Proceedings of ICCIS 2024, Volume 1 (Lecture Notes in Networks and Systems)
  • 洋書

Communication and Intelligent Systems : Proceedings of ICCIS 2024, Volume 1 (Lecture Notes in Networks and Systems)  Paperback,  言語:ENG

Sharma, Harish (EDT)/ Shrivastava, Vivek (EDT)/ Tripathi, Ashish Kumar (EDT)

  • ウェブストア価格 ¥58,345(本体¥53,041)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 530pt
  • 海外からお取り寄せ(通常6~9週間)
Communication and Intelligent Systems : Proceedings of ICCIS 2024, Volume 2 (Lecture Notes in Networks and Systems)
  • 洋書

Communication and Intelligent Systems : Proceedings of ICCIS 2024, Volume 2 (Lecture Notes in Networks and Systems)  Paperback,  言語:ENG

Sharma, Harish (EDT)/ Shrivastava, Vivek (EDT)/ Tripathi, Ashish Kumar (EDT)

  • ウェブストア価格 ¥58,345(本体¥53,041)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 530pt
  • 海外からお取り寄せ(通常6~9週間)
Communication and Intelligent Systems : Proceedings of ICCIS 2024, Volume 4 (Lecture Notes in Networks and Systems)
  • 洋書

Communication and Intelligent Systems : Proceedings of ICCIS 2024, Volume 4 (Lecture Notes in Networks and Systems)  Paperback,  言語:ENG

Sharma, Harish (EDT)/ Shrivastava, Vivek (EDT)/ Tripathi, Ashish Kumar (EDT)

  • ウェブストア価格 ¥58,345(本体¥53,041)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 530pt
  • 海外からお取り寄せ(通常6~9週間)
Proceedings of International Conference on Computational Intelligence and Data Engineering : ICCIDE 2024 (Lecture Notes in Networks and Systems)
  • 洋書

Proceedings of International Conference on Computational Intelligence and Data Engineering : ICCIDE 2024 (Lecture Notes in Networks and Systems)  Paperback,  言語:ENG

Chaki, Nabendu (EDT)/ Devarakonda, Nagaraju (EDT)/ Cortesi, Agostino (EDT)

  • Springer Nature Switzerland AG(2025/07発売)
  • ご注文いただけません
The Future of Inclusion: Bridging the Digital Divide with Emerging Technologies : Proceedings of ITAF 2024 (Lecture Notes in Networks and Systems)
  • 洋書

The Future of Inclusion: Bridging the Digital Divide with Emerging Technologies : Proceedings of ITAF 2024 (Lecture Notes in Networks and Systems)  Paperback,  言語:ENG

Magdi, Dalia (EDT)/ Karam, Eman (EDT)/ Mamdouh, Mohamed (EDT)

  • ウェブストア価格 ¥58,345(本体¥53,041)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 530pt
  • 海外からお取り寄せ(通常6~9週間)
Proceedings of International Conference on Information Technology and Intelligence : ICITI 2024, Volume 2 (Lecture Notes in Networks and Systems)
  • 洋書

Proceedings of International Conference on Information Technology and Intelligence : ICITI 2024, Volume 2 (Lecture Notes in Networks and Systems)  Paperback,  言語:ENG

Sharma, Harish (EDT)/ Chakravorty, Antorweep (EDT)

  • ウェブストア価格 ¥58,345(本体¥53,041)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 530pt
  • 海外からお取り寄せ(通常6~9週間)
Maximal Planar Graph Theory and the Four-Color Conjecture
  • 洋書

Maximal Planar Graph Theory and the Four-Color Conjecture  Hardcover,  言語:ENG

Xu, Jin

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 113pt
  • 海外取次在庫
Quantum Computing, Cyber Security and Cryptography : Issues, Technologies, Algorithms, Programming and Strategies
  • 洋書
  • 電子版あり

Quantum Computing, Cyber Security and Cryptography : Issues, Technologies, Algorithms, Programming and Strategies  Hardcover,  言語:ENG

Goyal, S. B. (EDT)/ Kumar, Vidyapati (EDT)/ Islam, Sardar M. N. (EDT)

  • ウェブストア価格 ¥33,338(本体¥30,308)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 303pt
  • 海外取次在庫
Empowering IoT: Reliability, Network Management, Sensing, and Probabilistic Charging in Wireless Sensor Networks : A Comprehensive Guide to IoT-based WSN Network Optimization
  • 洋書
  • 電子版あり

Empowering IoT: Reliability, Network Management, Sensing, and Probabilistic Charging in Wireless Sensor Networks : A Comprehensive Guide to IoT-based WSN Network Optimization  Hardcover,  言語:ENG

Qaisar, Muhammad Umar Farooq/ Yuan, Weijie/ Bellavista, Paolo

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer Nature Switzerland AG(2025/07発売)
  • ポイント 322pt
  • 海外取次在庫