NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science 15682) (2025. xi, 431 S. XI, 431 p. 97 illus. 235 mm)
  • 洋書

NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings (Lecture Notes in Computer Science 15682) (2025. xi, 431 S. XI, 431 p. 97 illus. 235 mm)  Paperback

Herausgegeben:Dutle, Aaron/ Humphrey, Laura/ Titolo, Laura

  • ウェブストア価格 ¥32,817(本体¥29,834)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 298pt
  • 海外からお取り寄せ(通常6~9週間)
Machine Learning Techniques to Predict Terrorist Attacks : Exemplified by Jama'at Nasr al-Islam wal Muslimin (Terrorism, Security, and Computation) (2025. xvii, 132 S. XVII, 132 p. 30 illus., 29 illus. in color. 235 mm)
  • 洋書

Machine Learning Techniques to Predict Terrorist Attacks : Exemplified by Jama'at Nasr al-Islam wal Muslimin (Terrorism, Security, and Computation) (2025. xvii, 132 S. XVII, 132 p. 30 illus., 29 illus. in color. 235 mm)  Hardcover

Mostert, Laura/Lindelauf, Roy/Pulice, Chiara

  • ウェブストア価格 ¥12,620(本体¥11,473)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 114pt
  • 海外からお取り寄せ(通常6~9週間)
Modelling and Development of Intelligent Systems : 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Modelling and Development of Intelligent Systems : 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Simian, Dana (EDT)/ Stoica, Laura Florentina (EDT)

  • Springer International Publishing AG(2025/05発売)
  • ご注文いただけません
Human-Centered Data Discovery (Synthesis Lectures on Information Concepts, Retrieval, and Services)
  • 洋書

Human-Centered Data Discovery (Synthesis Lectures on Information Concepts, Retrieval, and Services)  Paperback

Gregory, Kathleen/ Koesten, Laura

  • ウェブストア価格 ¥9,121(本体¥8,292)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 82pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 92pt
  • 海外取次在庫
Privacy Technologies and Policy : 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Privacy Technologies and Policy : 12th Annual Privacy Forum, APF 2024, Karlstad, Sweden, September 4-5, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Jensen, Meiko (EDT)/ Lauradoux, Cédric (EDT)/ Rannenberg, Kai (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 92pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quality of Information and Communications Technology : 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings (Communications in Computer and Information (2024)
  • 洋書

Quality of Information and Communications Technology : 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings (Communications in Computer and Information (2024)  Paperback,  言語:ENG

Bertolino, Antonia (EDT)/ Pascoal Faria, João (EDT)/ Lago, Patricia (EDT)

  • ウェブストア価格 ¥28,382(本体¥25,802)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 258pt
  • 海外取次在庫
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Kovács, Laura (EDT)/ Sokolova, Ana (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 119pt
  • 海外取次在庫
Cloud Computing, Big Data and Emerging Topics : 12th Conference, JCC-BD&ET 2024, La Plata, Argentina, June 25-27, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)
  • 洋書

Cloud Computing, Big Data and Emerging Topics : 12th Conference, JCC-BD&ET 2024, La Plata, Argentina, June 25-27, 2024, Revised Selected Papers (Communications in Computer and Information Science) (2024)  Paperback,  言語:ENG

Naiouf, Marcelo (EDT)/ De Giusti, Laura (EDT)/ Chichizola, Franco (EDT)

  • ウェブストア価格 ¥24,327(本体¥22,116)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 221pt
  • 海外取次在庫
Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書

Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback

Kosmatov, Nikolai (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥28,382(本体¥25,802)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 258pt
  • 海外取次在庫
Privacy Technologies and Policy : 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Privacy Technologies and Policy : 11th Annual Privacy Forum, APF 2023, Lyon, France, June 1-2, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Rannenberg, Kai (EDT)/ Drogkaris, Prokopios (EDT)/ Lauradoux, Cédric (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 239pt
  • 海外取次在庫
Knowledge Engineering and Knowledge Management : 24th International Conference, EKAW 2024, Amsterdam, the Netherlands, November 26-28, 2024, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Knowledge Engineering and Knowledge Management : 24th International Conference, EKAW 2024, Amsterdam, the Netherlands, November 26-28, 2024, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback

Alam, Mehwish (EDT)/ Rospocher, Marco (EDT)/ van Erp, Marieke (EDT)

  • Springer International Publishing AG(2024/11発売)
  • ご注文いただけません
Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science 14960) (2024. xvii, 362 S. XVII, 362 p. 185 illus., 87 illus. in color. 235 mm)
  • 洋書

Intelligent Computer Mathematics : 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science 14960) (2024. xvii, 362 S. XVII, 362 p. 185 illus., 87 illus. in color. 235 mm)  Paperback

Herausgegeben:Kohlhase, Andrea/ Ková/cs, Laura

  • ウェブストア価格 ¥27,768(本体¥25,244)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 252pt
  • 海外からお取り寄せ(通常6~9週間)
Clinical Image-Based Procedures, Fairness of AI in Medical Imaging, and Ethical and Philosophical Issues in Medical Imaging : 12th International Workshop, CLIP 2023 1st International Workshop, FAIMI 2023 and 2nd International Workshop, EPIMI 2023 Van
  • 洋書

Clinical Image-Based Procedures, Fairness of AI in Medical Imaging, and Ethical and Philosophical Issues in Medical Imaging : 12th International Workshop, CLIP 2023 1st International Workshop, FAIMI 2023 and 2nd International Workshop, EPIMI 2023 Van  Paperback

Wesarg, Stefan (EDT)/ Puyol Antón, Esther (EDT)/ Baxter, John S. H. (EDT)

  • ウェブストア価格 ¥24,327(本体¥22,116)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 221pt
  • 海外取次在庫
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Katsaros, Panagiotis (EDT)/ Nenzi, Laura (EDT)

  • ウェブストア価格 ¥16,217(本体¥14,743)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 147pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Payne, Terry R. (EDT)/ Presutti, Valentina (EDT)/ Qi, Guilin (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 184pt
  • 海外取次在庫
The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

The Semantic Web - ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Payne, Terry R. (EDT)/ Presutti, Valentina (EDT)/ Qi, Guilin (EDT)

  • ウェブストア価格 ¥24,327(本体¥22,116)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 221pt
  • 海外取次在庫
Biomimetic and Biohybrid Systems : 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Biomimetic and Biohybrid Systems : 12th International Conference, Living Machines 2023, Genoa, Italy, July 10-13, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Meder, Fabian (EDT)/ Hunt, Alexander (EDT)/ Margheri, Laura (EDT)

  • ウェブストア価格 ¥16,217(本体¥14,743)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 147pt
  • 海外取次在庫