Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 142pt
  • 海外取次在庫
Information Security : 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Information Security : 27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Mouha, Nicky (EDT)/ Nikiforakis, Nick (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 142pt
  • 海外取次在庫
Similarity Search and Applications : 17th International Conference, SISAP 2024, Providence, RI, USA, November 4-6, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Similarity Search and Applications : 17th International Conference, SISAP 2024, Providence, RI, USA, November 4-6, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Chávez, Edgar (EDT)/ Kimia, Benjamin (EDT)/ Lokoč, Jakub (EDT)

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 123pt
  • 海外取次在庫
Advances in Databases and Information Systems : 28th European Conference, ADBIS 2024, Bayonne, France, August 28-31, 2024, Proceedings (Lecture Notes in Computer Science 14918) (2024. 2024. xiv, 231 S. XIV, 231 p. 92 illus., 69 illus. in color. 235)
  • 洋書

Advances in Databases and Information Systems : 28th European Conference, ADBIS 2024, Bayonne, France, August 28-31, 2024, Proceedings (Lecture Notes in Computer Science 14918) (2024. 2024. xiv, 231 S. XIV, 231 p. 92 illus., 69 illus. in color. 235)  Paperback,  言語:ENG

Herausgegeben:Tekli, Joe/ Gamper, Johann/ Chbeir, Richard/ Manolopoulos, Yannis

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 360pt
  • 海外からお取り寄せ(通常6~9週間)
Security, Privacy, and Applied Cryptography Engineering : 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Security, Privacy, and Applied Cryptography Engineering : 12th International Conference, SPACE 2022, Jaipur, India, December 9-12, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Batina, Lejla (EDT)/ Picek, Stjepan (EDT)/ Mondal, Mainack (EDT)

  • ウェブストア価格 ¥18,049(本体¥16,409)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Network and System Security : 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Network and System Security : 16th International Conference, NSS 2022, Denarau Island, Fiji, December 9-12, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Yuan, Xingliang (EDT)/ Bai, Guangdong (EDT)/ Alcaraz, Cristina (EDT)

  • ウェブストア価格 ¥27,771(本体¥25,247)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常6~9週間)
Computational Intelligence and Smart Communication : First International Conference, ICCISC 2022, Dehradun, India, June 10-11, 2022, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Computational Intelligence and Smart Communication : First International Conference, ICCISC 2022, Dehradun, India, June 10-11, 2022, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Mehra, Ritika (EDT)/ Meesad, Phayung (EDT)/ Peddoju, Sateesh K. (EDT)

  • ウェブストア価格 ¥15,272(本体¥13,884)
  • Springer International Publishing AG(2022/12発売)
  • ポイント 138pt
  • 海外からお取り寄せ(通常6~9週間)
TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)
  • 洋書

TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Hartmanns, Arnd (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 104pt
  • 海外取次在庫
Financial Cryptography and Data Security. FC 2024 International Workshops : Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Financial Cryptography and Data Security. FC 2024 International Workshops : Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Budurushi, Jurlind (EDT)/ Kulyk, Oksana (EDT)/ Allen, Sarah (EDT)

  • ウェブストア価格 ¥15,272(本体¥13,884)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 138pt
  • 海外からお取り寄せ(通常6~9週間)
New Trends in Database and Information Systems : ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings (Communications in Computer and Information Science 2186) (2024. xxii, 402 S. XXII, 402 p. 102 illus., 84 illus. in color. 235 mm)
  • 洋書

New Trends in Database and Information Systems : ADBIS 2024 Short Papers, Workshops, Doctoral Consortium and Tutorials, Bayonne, France, August 28-31, 2024, Proceedings (Communications in Computer and Information Science 2186) (2024. xxii, 402 S. XXII, 402 p. 102 illus., 84 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Tekli, Joe/ Gamper, Johann/ Chbeir, Richard/ Manolopoulos, Yannis/ Sassi, Salma/ Ivanovic, Mirjana/ Vargas-Solar, Genoveva/ Zumpano, Ester

  • ウェブストア価格 ¥22,497(本体¥20,452)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 204pt
  • 海外取次在庫
Social Modeling Using the i* Framework : Essays in Honour of Eric Yu (2025)
  • 洋書

Social Modeling Using the i* Framework : Essays in Honour of Eric Yu (2025)  Hardcover

Franch, Xavier (EDT)/ Sampaio do Prado Leite, Julio Cesar (EDT)/ Mussbacher, Gunter (EDT)

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 378pt
  • 海外取次在庫
Navigating the Intersection of Artificial Intelligence, Security, and Ethical Governance : Sentinels of Cyberspace (Advanced Sciences and Technologies for Security Applications) (2024)
  • 洋書

Navigating the Intersection of Artificial Intelligence, Security, and Ethical Governance : Sentinels of Cyberspace (Advanced Sciences and Technologies for Security Applications) (2024)  Hardcover

Montasari, Reza (EDT)/ Jahankhani, Hamid (EDT)/ Masys, Anthony J. (EDT)

  • ウェブストア価格 ¥37,506(本体¥34,097)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 340pt
  • 海外取次在庫
Artificial Intelligence and Machine Learning : 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, the Netherlands, November 8-10, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Artificial Intelligence and Machine Learning : 35th Benelux Conference, BNAIC/Benelearn 2023, Delft, the Netherlands, November 8-10, 2023, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback

Oliehoek, Frans A. (EDT)/ Kok, Manon (EDT)/ Verwer, Sicco (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 151pt
  • 海外取次在庫
Analytics, Machine Learning, and Artificial Intelligence : Second Analytics Global Conference, AGC 2024, Kolkata, India, March 6-7, 2024, Revised Selected Papers (Communications in Computer and Information Science 2224) (2024. x, 267 S. X, 267 p. 135 illus., 84 illus. in color. 235 mm)
  • 洋書

Analytics, Machine Learning, and Artificial Intelligence : Second Analytics Global Conference, AGC 2024, Kolkata, India, March 6-7, 2024, Revised Selected Papers (Communications in Computer and Information Science 2224) (2024. x, 267 S. X, 267 p. 135 illus., 84 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Dhar, Suparna/ Goswami, Sanjay/ Unni Krishnan, Dinesh Kumar/ Bose, Indranil/ Dubey, Rameshwar/ Mazumdar, Chandan

  • ウェブストア価格 ¥18,526(本体¥16,842)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 168pt
  • 海外取次在庫
Artificial Intelligence and Speech Technology : 5th International Conference, AIST 2023, Delhi, India, December 26-27, 2023, Proceedings, Part I (Communications in Computer and Information Science) (2024)
  • 洋書

Artificial Intelligence and Speech Technology : 5th International Conference, AIST 2023, Delhi, India, December 26-27, 2023, Proceedings, Part I (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Dev, Amita (EDT)/ Sharma, Arun (EDT)/ Agrawal, S. S. (EDT)

  • ウェブストア価格 ¥20,827(本体¥18,934)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 189pt
  • 海外からお取り寄せ(通常6~9週間)
Artificial Intelligence and Speech Technology : 5th International Conference, AIST 2023, Delhi, India, December 26-27, 2023, Proceedings, Part II (Communications in Computer and Information Science) (2024)
  • 洋書

Artificial Intelligence and Speech Technology : 5th International Conference, AIST 2023, Delhi, India, December 26-27, 2023, Proceedings, Part II (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Dev, Amita (EDT)/ Sharma, Arun (EDT)/ Agrawal, S. S. (EDT)

  • ウェブストア価格 ¥22,216(本体¥20,197)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 201pt
  • 海外からお取り寄せ(通常6~9週間)
Intelligent Systems in Computing and Communication : First International Conference, ISCComm 2023, Moodabidri, India, December 8-9, 2023, Proceedings, Part I (Communications in Computer and Information Science 2231) (2024. xxi, 377 S. XXI, 377 p. 178 illus., 139 illus. in color. 235 mm)
  • 洋書

Intelligent Systems in Computing and Communication : First International Conference, ISCComm 2023, Moodabidri, India, December 8-9, 2023, Proceedings, Part I (Communications in Computer and Information Science 2231) (2024. xxi, 377 S. XXI, 377 p. 178 illus., 139 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:T., Shreekumar/ L., Dinesha/ Rajesh, Sreeja

  • ウェブストア価格 ¥34,409(本体¥31,281)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 312pt
  • 海外取次在庫
Machine Learning Algorithms : First International Conference, ICMLA 2024, Himachal Pradesh, India, February 23-24, 2024, Proceedings (Communications in Computer and Information Science) (2024)
  • 洋書

Machine Learning Algorithms : First International Conference, ICMLA 2024, Himachal Pradesh, India, February 23-24, 2024, Proceedings (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Khurana, Meenu (EDT)/ Thakur, Abhishek (EDT)/ Kantha, Praveen (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 189pt
  • 海外取次在庫
Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Scalable Uncertainty Management : 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Destercke, Sébastien (EDT)/ Martinez, Maria Vanina (EDT)/ Sanfilippo, Giuseppe (EDT)

  • ウェブストア価格 ¥16,668(本体¥15,153)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 151pt
  • 海外取次在庫
Security and Trust Management : 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Security and Trust Management : 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Martinelli, Fabio (EDT)/ Rios, Ruben (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 104pt
  • 海外取次在庫