Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 198pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 198pt
  • 海外取次在庫
Deep Learning Theory and Applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Deep Learning Theory and Applications : 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings (Communications in Computer and Information Science)  Paperback,  言語:ENG

Conte, Donatello (EDT)/ Fred, Ana (EDT)/ Gusikhin, Oleg (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 358pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 198pt
  • 海外取次在庫
Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dang, Thao (EDT)/ Stolz, Volker (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 298pt
  • 海外取次在庫
Algorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Algorithms and Architectures for Parallel Processing : 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10-12, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Meng, Weizhi (EDT)/ Lu, Rongxing (EDT)/ Min, Geyong (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 478pt
  • 海外取次在庫
High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

High Performance Computing. ISC High Performance 2022 International Workshops : Hamburg, Germany, May 29 - June 2, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Anzt, Hartwig (EDT)/ Bienz, Amanda (EDT)/ Luszczek, Piotr (EDT)

  • ウェブストア価格 ¥16,471(本体¥14,974)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 298pt
  • 海外取次在庫
Machine Learning, Optimization, and Data Science : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning, Optimization, and Data Science : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nicosia, Giuseppe (EDT)/ Ojha, Varun (EDT)/ La Malfa, Emanuele (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 398pt
  • 海外取次在庫
Electronic Government : 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Electronic Government : 22nd IFIP WG 8.5 International Conference, EGOV 2023, Budapest, Hungary, September 5-7, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Lindgren, Ida (EDT)/ Csáki, Csaba (EDT)/ Kalampokis, Evangelos (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/08発売)
  • ポイント 398pt
  • 海外取次在庫
Digital Health Transformation, Smart Ageing, and Managing Disability : 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Digital Health Transformation, Smart Ageing, and Managing Disability : 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Jongbae, Kim (EDT)/ Mokhtari, Mounir (EDT)/ Aloulou, Hamdi (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 198pt
  • 海外取次在庫
Systematic Innovation Partnerships with Artificial Intelligence and Information Technology : 22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27-29, 2022, Proceedings (Ifip Advances in Information and Communication Techn (2022)
  • 洋書
  • ポイントキャンペーン

Systematic Innovation Partnerships with Artificial Intelligence and Information Technology : 22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27-29, 2022, Proceedings (Ifip Advances in Information and Communication Techn (2022)  Paperback,  言語:ENG

Nowak, Robert (EDT)/ Chrząszcz, Jerzy (EDT)/ Brad, Stelian (EDT)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 438pt
  • 海外取次在庫
Explainable Artificial Intelligence: First World Conference, Xai 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part I (Communications in Computer and Information Science") 〈1901〉
  • 洋書
  • ポイントキャンペーン

Explainable Artificial Intelligence: First World Conference, Xai 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part I (Communications in Computer and Information Science") 〈1901〉  Paperback

Longo, Luca(EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer(2023/10発売)
  • ポイント 398pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Explainable Artificial Intelligence : First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part III (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Explainable Artificial Intelligence : First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part III (Communications in Computer and Information Science)  Paperback

Longo, Luca (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 558pt
  • 海外取次在庫
Big Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • ポイントキャンペーン

Big Data Analytics and Knowledge Discovery : 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Song, Min (EDT)/ Song, Il-Yeol (EDT)/ Kotsis, Gabriele (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Digital Transformation in Policing: the Promise, Perils and Solutions (Advanced Sciences and Technologies for Security Applications)
  • 洋書
  • ポイントキャンペーン

Digital Transformation in Policing: the Promise, Perils and Solutions (Advanced Sciences and Technologies for Security Applications)  Paperback

Montasari, Reza (EDT)/ Carpenter, Victoria (EDT)/ Masys, Anthony J. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書
  • ポイントキャンペーン

Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I (Communications in Computer and Information Science)  Paperback,  言語:ENG

Nowaczyk, Sławomir (EDT)/ Biecek, Przemysław (EDT)/ Chung, Neo Christopher (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 478pt
  • 海外取次在庫
Big Data Technologies and Applications : 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)
  • 洋書
  • ポイントキャンペーン

Big Data Technologies and Applications : 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)  Paperback

Tan, Zhiyuan (EDT)/ Wu, Yulei (EDT)/ Xu, Min (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 258pt
  • 海外取次在庫
Ethics and Responsible Research and Innovation in Practice : The ETHNA System Project (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Ethics and Responsible Research and Innovation in Practice : The ETHNA System Project (Lecture Notes in Computer Science)  Paperback

González-Esteban, Elsa (EDT)/ Feenstra, Ramón A. (EDT)/ Camarinha-Matos, Luis M. (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 198pt
  • 海外取次在庫