Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Raschke, Alexander (EDT)/ Méry, Dominique (EDT)/ Houdek, Frank (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 104pt
  • 海外取次在庫
Augmented Cognition. Theoretical and Technological Approaches : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I (Lecture Notes in Com
  • 洋書

Augmented Cognition. Theoretical and Technological Approaches : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I (Lecture Notes in Com  Paperback,  言語:ENG

Schmorrow, Dylan D. (EDT)/ Fidopiastis, Cali M. (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 143pt
  • オンデマンド(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,535(本体¥10,487)
  • 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,535(本体¥10,487)
  • 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,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Handbook of Model Checking, 2 Teile (Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.)
  • 洋書

Handbook of Model Checking, 2 Teile (Softcover reprint of the original 1st ed. 2018. 2020. xlviii, 1212 S.)  Paperback

Herausgegeben von Clarke, Edmund M./ Henzinger, Thomas A./ Veith, Helmut/ Bloem, Roderick

  • ウェブストア価格 ¥37,484(本体¥34,077)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 340pt
  • 海外からお取り寄せ(通常6~9週間)
Social Informatics : 11th International Conference, SocInfo 2019, Doha, Qatar, November 18-21, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Social Informatics : 11th International Conference, SocInfo 2019, Doha, Qatar, November 18-21, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Weber, Ingmar (EDT)/ Darwish, Kareem M. (EDT)/ Wagner, Claudia (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Distributed Computer and Communication Networks : 22nd International Conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, Revised Selected Papers (Computer Communication Networks and Telecommunications)
  • 洋書
  • 電子版あり

Distributed Computer and Communication Networks : 22nd International Conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, Revised Selected Papers (Computer Communication Networks and Telecommunications)  Paperback,  言語:ENG

Vishnevskiy, Vladimir M. (EDT)/ Samouylov, Konstantin E. (EDT)/ Kozyrev, Dmitry V. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 104pt
  • 海外取次在庫
Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems : AIME 2019 International Workshops, KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26-29, 2019, Revised Selected Papers (Lecture Notes in Computer (2019)
  • 洋書
  • 電子版あり

Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems : AIME 2019 International Workshops, KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26-29, 2019, Revised Selected Papers (Lecture Notes in Computer (2019)  Paperback,  言語:ENG

Marcos, Mar (EDT)/ Juarez, Jose M. (EDT)/ Lenz, Richard (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 104pt
  • 海外取次在庫
WALCOM: Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings (Lecture Notes in Computer Science) (2020)
  • 洋書
  • 電子版あり

WALCOM: Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings (Lecture Notes in Computer Science) (2020)  Paperback,  言語:ENG

Rahman, M. Sohel (EDT)/ Sadakane, Kunihiko (EDT)/ Sung, Wing-Kin (EDT)

  • ウェブストア価格 ¥15,732(本体¥14,302)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 143pt
  • 海外取次在庫
Computational Science - ICCS 2020 : 20th International Conference, Amsterdam, the Netherlands, June 3-5, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • 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 IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • 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 V (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • 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 VII (Theoretical Computer Science and General Issues) (2020)
  • 洋書
  • 電子版あり

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

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

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Augmented Cognition. Human Cognition and Behavior : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II (Lecture Notes in Computer Scien
  • 洋書

Augmented Cognition. Human Cognition and Behavior : 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II (Lecture Notes in Computer Scien  Paperback

Schmorrow, Dylan D. (EDT)/ Fidopiastis, Cali M. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 104pt
  • 海外取次在庫
Natural Language Processing and Information Systems : 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24-26, 2020, Proceedings (Information Systems and Applications,
  • 洋書
  • 電子版あり

Natural Language Processing and Information Systems : 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24-26, 2020, Proceedings (Information Systems and Applications,  Paperback

Métais, Elisabeth (EDT)/ Meziane, Farid (EDT)/ Horacek, Helmut (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Brain Informatics : 13th International Conference, BI 2020, Padua, Italy, September 19, 2020, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Brain Informatics : 13th International Conference, BI 2020, Padua, Italy, September 19, 2020, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Mahmud, Mufti (EDT)/ Vassanelli, Stefano (EDT)/ Kaiser, M. Shamim (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Simulation and Synthesis in Medical Imaging : 5th International Workshop, SASHIMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Simulation and Synthesis in Medical Imaging : 5th International Workshop, SASHIMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Burgos, Ninon (EDT)/ Svoboda, David (EDT)/ Wolterink, Jelmer M. (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI International 2020 - Late Breaking Papers: Cognition, Learning and Games : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

HCI International 2020 - Late Breaking Papers: Cognition, Learning and Games : 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Stephanidis, Constantine (EDT)/ Harris, Don (EDT)/ Li, Wen-Chin (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, and Graphs in Biomedical Image Analysis : Second International Workshop, UNSURE 2020, and Third International Workshop, GRAIL 2020, Held in Conjunction with MICCAI 2020, Lima, P
  • 洋書

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, and Graphs in Biomedical Image Analysis : Second International Workshop, UNSURE 2020, and Third International Workshop, GRAIL 2020, Held in Conjunction with MICCAI 2020, Lima, P  Paperback,  言語:ENG

Sudre, Carole H. (EDT)/ Fehri, Hamid (EDT)/ Arbel, Tal (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • 海外取次在庫