NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (Lecture Notes in Computer Science 12229) (1st ed. 2020. 2020. xxi, 442 S. XXI, 442 p. 120 illus., 76 illus. in c)
  • 洋書

NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (Lecture Notes in Computer Science 12229) (1st ed. 2020. 2020. xxi, 442 S. XXI, 442 p. 120 illus., 76 illus. in c)  Paperback

Herausgegeben:Lee, Ritchie/ Jha, Susmit/ Mavridou, Anastasia/ Giannakopoulou, Dimitra

  • ウェブストア価格 ¥19,585(本体¥17,805)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 178pt
  • 海外取次在庫
Database Systems for Advanced Applications : 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Database Systems for Advanced Applications : 25th International Conference, DASFAA 2020, Jeju, South Korea, September 24-27, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nah, Yunmook (EDT)/ Cui, Bin (EDT)/ Lee, Sang-Won (EDT)

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 208pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Internet of Things - ICIOT 2020 : 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Internet of Things - ICIOT 2020 : 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Song, Wei (EDT)/ Lee, Kisung (EDT)/ Yan, Zhisheng (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • 海外取次在庫
Web and Big Data : 4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 18-20, 2020, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Web and Big Data : 4th International Joint Conference, APWeb-WAIM 2020, Tianjin, China, September 18-20, 2020, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Wang, Xin (EDT)/ Zhang, Rui (EDT)/ Lee, Young-Koo (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • 海外取次在庫
Hybrid Artificial Intelligent Systems : 16th International Conference, HAIS 2021, Bilbao, Spain, September 22-24, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Hybrid Artificial Intelligent Systems : 16th International Conference, HAIS 2021, Bilbao, Spain, September 22-24, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Sanjurjo González, Hugo (EDT)/ Pastor López, Iker (EDT)/ García Bringas, Pablo (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Artificial Intelligence and Mobile Services - AIMS 2021 : 10th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Artificial Intelligence and Mobile Services - AIMS 2021 : 10th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Pan, Yi (EDT)/ Mao, Zhi-Hong (EDT)/ Luo, Lei (EDT)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 113pt
  • 海外取次在庫
OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis : First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLI
  • 洋書
  • 電子版あり

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis : First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLI  Paperback

Stoyanov, Danail (EDT)/ Taylor, Zeike (EDT)/ Sarikaya, Duygu (EDT)

  • Springer Nature Switzerland AG(2018/10発売)
  • ご注文いただけません
Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり

Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Cremers, Cas (EDT)/ Lehmann, Anja (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2018/11発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Cristea, Diana (EDT)/ Le Ber, Florence (EDT)/ Sertkaya, Baris (EDT)

  • ウェブストア価格 ¥15,626(本体¥14,206)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 142pt
  • 海外取次在庫
Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Fundamentals of Computation Theory : 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Gąsieniec, Leszek Antoni (EDT)/ Jansson, Jesper (EDT)/ Levcopoulos, Christos (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14-17, 2019, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
  • 洋書
  • 電子版あり

Trends and Applications in Knowledge Discovery and Data Mining : PAKDD 2019 Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macau, China, April 14-17, 2019, Revised Selected Papers (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

U., Leong Hou (EDT)/ Lauw, Hady W. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
The Semantic Web - ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

The Semantic Web - ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Ghidini, Chiara (EDT)/ Hartig, Olaf (EDT)/ Maleshkova, Maria (EDT)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 170pt
  • 海外取次在庫
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Biondi, Fabrizio (EDT)/ Given-Wilson, Thomas (EDT)/ Legay, Axel (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Gaston, Christophe (EDT)/ Kosmatov, Nikolai (EDT)/ Le Gall, Pascale (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Behavioral Analytics in Social and Ubiquitous Environments : 6th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2015, Porto, Portugal, September 7, 2015; 6th International Workshop on Modeling Social Media, MSM 2015, Floren (2019)
  • 洋書
  • 電子版あり

Behavioral Analytics in Social and Ubiquitous Environments : 6th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2015, Porto, Portugal, September 7, 2015; 6th International Workshop on Modeling Social Media, MSM 2015, Floren (2019)  Paperback,  言語:ENG

Atzmueller, Martin (EDT)/ Chin, Alvin (EDT)/ Lemmerich, Florian (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/11発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Krzhizhanovskaya, Valeria V. (EDT)/ Závodszky, Gábor (EDT)/ Lees, Michael H. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part III (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part III (Theoretical Computer Science and General Issues)  Paperback

Krzhizhanovskaya, Valeria V. (EDT)/ Závodszky, Gábor (EDT)/ Lees, Michael H. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part VI (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part VI (Theoretical Computer Science and General Issues)  Paperback

Krzhizhanovskaya, Valeria V. (EDT)/ Závodszky, Gábor (EDT)/ Lees, Michael H. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications. DASFAA 2020 International Workshops : BDMS, SeCoP, BDQM, GDMA, and AIDE, Jeju, South Korea, September 24-27, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Database Systems for Advanced Applications. DASFAA 2020 International Workshops : BDMS, SeCoP, BDQM, GDMA, and AIDE, Jeju, South Korea, September 24-27, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Nah, Yunmook (EDT)/ Kim, Chulyun (EDT)/ Kim, Seon-Young (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Database Systems for Advanced Applications : DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Database Systems for Advanced Applications : DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Liu, Chengfei (EDT)/ Zou, Lei (EDT)/ Li, Jianxin (EDT)

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