Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Big Data Analytics : 10th International Conference, BDA 2022, Hyderabad, India, December 19-22, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Big Data Analytics : 10th International Conference, BDA 2022, Hyderabad, India, December 19-22, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Roy, Partha Pratim (EDT)/ Agarwal, Arvind (EDT)/ Li, Tianrui (EDT)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 132pt
  • 海外取次在庫
PRIMA 2024: Principles and Practice of Multi-Agent Systems : 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings (Lecture Notes in Computer Science 15395) (2024. xvi, 462 S. XVI, 462 p. 101 illus., 86 illus. in color. 235 mm)
  • 洋書

PRIMA 2024: Principles and Practice of Multi-Agent Systems : 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings (Lecture Notes in Computer Science 15395) (2024. xvi, 462 S. XVI, 462 p. 101 illus., 86 illus. in color. 235 mm)  Paperback

Herausgegeben:Arisaka, Ryuta/ Sanchez-Anguix, Victor/ Stein, Sebastian/ Aydogan, Reyhan/ van der Torre, Leon/ Ito, Takayuki

  • ウェブストア価格 ¥19,698(本体¥17,908)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 179pt
  • 海外取次在庫
Human-Centered Software Engineering : 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Human-Centered Software Engineering : 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Lárusdóttir, Marta Kristín (EDT)/ Naqvi, Bilal (EDT)/ Bernhaupt, Regina (EDT)

  • ウェブストア価格 ¥25,003(本体¥22,730)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 227pt
  • 海外取次在庫
Privacy, Security and Forensics in the Internet of Things (IoT)
  • 洋書

Privacy, Security and Forensics in the Internet of Things (IoT)  Hardcover

Montasari, Reza (EDT)/ Carroll, Fiona (EDT)/ Mitchell, Ian (EDT)

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 378pt
  • 海外からお取り寄せ(通常6~9週間)
Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings (Lecture Notes in Bioinformatics)
  • 洋書
  • 電子版あり

Data Integration in the Life Sciences : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings (Lecture Notes in Bioinformatics)  Paperback,  言語:ENG

Da Silveira, Marcos (EDT)/ Pruski, Cédric (EDT)/ Schneider, Reinhard (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Big Data Analytics : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Big Data Analytics : 6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Mondal, Anirban (EDT)/ Gupta, Himanshu (EDT)/ Srivastava, Jaideep (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 104pt
  • 海外取次在庫
High-Performance Computing and Big Data Analysis : Second International Congress, TopHPC 2019, Tehran, Iran, April 23-25, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

High-Performance Computing and Big Data Analysis : Second International Congress, TopHPC 2019, Tehran, Iran, April 23-25, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Grandinetti, Lucio (EDT)/ Mirtaheri, Seyedeh Leili (EDT)/ Shahbazian, Reza (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Digital-Forensics and Watermarking : 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Digital-Forensics and Watermarking : 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Shi, Yun-Qing (EDT)/ Kim, Hyoung Joong (EDT)/ Pérez-González, Fernando (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Managed Software Evolution (2019)
  • 洋書

Managed Software Evolution (2019)  Hardcover,  言語:ENG

Reussner, Ralf (EDT)/ Goedicke, Michael (EDT)/ Hasselbring, Wilhelm (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Conceptual Modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Advances in Conceptual Modeling : ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Reinhartz-Berger, Iris (EDT)/ Sadiq, Shazia (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 113pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Big Data Analytics : 8th International Conference, BDA 2020, Sonepat, India, December 15-18, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Big Data Analytics : 8th International Conference, BDA 2020, Sonepat, India, December 15-18, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Bellatreche, Ladjel (EDT)/ Goyal, Vikram (EDT)/ Fujita, Hamido (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Similarity Search and Applications : 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Similarity Search and Applications : 14th International Conference, SISAP 2021, Dortmund, Germany, September 29 - October 1, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Reyes, Nora (EDT)/ Connor, Richard (EDT)/ Kriege, Nils (EDT)

  • ウェブストア価格 ¥17,710(本体¥16,100)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 161pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Natural Language Processing and Information Systems : 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21-23, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Natural Language Processing and Information Systems : 28th International Conference on Applications of Natural Language to Information Systems, NLDB 2023, Derby, UK, June 21-23, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Métais, Elisabeth (EDT)/ Meziane, Farid (EDT)/ Sugumaran, Vijayan (EDT)

  • ウェブストア価格 ¥20,836(本体¥18,942)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 189pt
  • 海外取次在庫
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms : 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selecte
  • 洋書
  • 電子版あり

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms : 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018, Revised and Extended Selecte  Hardcover,  言語:ENG

Bombieri, Nicola (EDT)/ Pravadelli, Graziano (EDT)/ Fujita, Masahiro (EDT)

  • Springer Nature Switzerland AG(2019/06発売)
  • ご注文いただけません
High Performance Computing Systems : 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

High Performance Computing Systems : 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Bianchini, Calebe (EDT)/ Osthoff, Carla (EDT)/ Souza, Paulo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Butler, Michael (EDT)/ Raschke, Alexander (EDT)/ Hoang, Thai Son (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2018/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Predictive Intelligence in Medicine : 5th International Workshop, PRIME 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Predictive Intelligence in Medicine : 5th International Workshop, PRIME 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Rekik, Islem (EDT)/ Adeli, Ehsan (EDT)/ Park, Sang Hyun (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外取次在庫
Machine Learning for Networking : 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Machine Learning for Networking : 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Renault, Éric (EDT)/ Mühlethaler, Paul (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 113pt
  • 海外取次在庫
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書

Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reynolds, Andrew (EDT)/ Tasiran, Serdar (EDT)

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