Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday (Programming and Software Engineering)  Paperback

Blass, Andreas (EDT)/ Cégielski, Patrick (EDT)/ Dershowitz, Nachum (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Databases and Information Systems : 24th European Conference, ADBIS 2020, Lyon, France, August 25-27, 2020, Proceedings (Lecture Notes in Computer Science 12245) (1st ed. 2020. 2020. xx, 219 S. XX, 219 p. 108 illus., 26 illus. in col)
  • 洋書

Advances in Databases and Information Systems : 24th European Conference, ADBIS 2020, Lyon, France, August 25-27, 2020, Proceedings (Lecture Notes in Computer Science 12245) (1st ed. 2020. 2020. xx, 219 S. XX, 219 p. 108 illus., 26 illus. in col)  Paperback

Herausgegeben:Darmont, Jé/rô/me/ Novikov, Boris/ Wrembel, Robert

  • ウェブストア価格 ¥15,350(本体¥13,955)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 139pt
  • 海外取次在庫
Predictive Intelligence in Medicine : Third International Workshop, PRIME 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Predictive Intelligence in Medicine : Third International Workshop, PRIME 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Soft Computing : 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12-17, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)
  • 洋書

Advances in Soft Computing : 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12-17, 2020, Proceedings, Part I (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Martínez-Villaseñor, Lourdes (EDT)/ Herrera-Alcántara, Oscar (EDT)/ Ponce, Hiram (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
WALCOM: Algorithms and Computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings (Theoretical Computer Science and General Issues 12635) (1st ed. 2021. 2021. xv, 334 S. XV, 334 p. 108 illus., 55 illus. in col)
  • 洋書

WALCOM: Algorithms and Computation : 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 - March 2, 2021, Proceedings (Theoretical Computer Science and General Issues 12635) (1st ed. 2021. 2021. xv, 334 S. XV, 334 p. 108 illus., 55 illus. in col)  Paperback,  言語:ENG

Herausgegeben:Uehara, Ryuhei/ Hong, Seok-Hee/ Nandy, Subhas C.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2021発売)
  • ポイント 120pt
  • 海外取次在庫
NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dutle, Aaron (EDT)/ Moscato, Mariano M. (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥20,977(本体¥19,070)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 190pt
  • 海外取次在庫
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 266pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27-October 1, 2021, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings (Information Systems and Applications, incl. Inte
  • 洋書

HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intelligence : 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings (Information Systems and Applications, incl. Inte  Paperback,  言語:ENG

Stephanidis, Constantine (EDT)/ Kurosu, Masaaki (EDT)/ Chen, Jessie Y. C. (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Innovative Technologies and Learning : 4th International Conference, ICITL 2021, Virtual Event, November 29 - December 1, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Innovative Technologies and Learning : 4th International Conference, ICITL 2021, Virtual Event, November 29 - December 1, 2021, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Huang, Yueh-Min (EDT)/ Lai, Chin-Feng (EDT)/ Rocha, Tânia (EDT)

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 247pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

Naldi, Murilo C. (EDT)/ Bianchi, Reinaldo A. C. (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 171pt
  • 海外取次在庫
Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
  • 洋書

Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II (Lecture Notes in Artificial Intelligence)  Paperback

Naldi, Murilo C. (EDT)/ Bianchi, Reinaldo A. C. (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 171pt
  • 海外取次在庫
Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part III (Lecture Notes in Artificial Intelligence)
  • 洋書

Intelligent Systems : 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part III (Lecture Notes in Artificial Intelligence)  Paperback

Naldi, Murilo C. (EDT)/ Bianchi, Reinaldo A. C. (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 171pt
  • 海外取次在庫
Hybrid Artificial Intelligent Systems : 19th International Conference, HAIS 2024, Salamanca, Spain, October 9-11, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書

Hybrid Artificial Intelligent Systems : 19th International Conference, HAIS 2024, Salamanca, Spain, October 9-11, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)  Paperback

Quintián, Héctor (EDT)/ Corchado, Emilio (EDT)/ Troncoso Lora, Alicia (EDT)

  • ウェブストア価格 ¥29,367(本体¥26,698)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 266pt
  • 海外取次在庫
NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)  Paperback

Dutle, Aaron (EDT)/ Muñoz, César (EDT)/ Narkawicz, Anthony (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/03発売)
  • ポイント 104pt
  • 海外取次在庫
Applied Reconfigurable Computing. Architectures, Tools, and Applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Applied Reconfigurable Computing. Architectures, Tools, and Applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Voros, Nikolaos (EDT)/ Huebner, Michael (EDT)/ Keramidas, Georgios (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Computational Science XXXV : Special Issue on Signal Processing and Security in Distributed Systems (Transactions on Computational Science) (2020)
  • 洋書
  • 電子版あり

Transactions on Computational Science XXXV : Special Issue on Signal Processing and Security in Distributed Systems (Transactions on Computational Science) (2020)  Paperback,  言語:ENG

Gavrilova, Marina L. (EDT)/ Tan, C. J. Kenneth (EDT)/ Saeed, Khalid (EDT)

  • ウェブストア価格 ¥12,585(本体¥11,441)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2020/02発売)
  • ポイント 114pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Computational Science XXXVII : Special Issue on Computer Graphics (Transactions on Computational Science)
  • 洋書

Transactions on Computational Science XXXVII : Special Issue on Computer Graphics (Transactions on Computational Science)  Paperback

Gavrilova, Marina L. (EDT)/ Tan, C. J. Kenneth (EDT)/ Chang, Jian (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2020/07発売)
  • ポイント 104pt
  • 海外取次在庫
Sustainability in Aging : Challenges and Opportunities for an Integrated Society (Lecture Notes in Bioengineering) (2025. ix, 683 S. IX, 683 p. 88 illus., 66 illus. in color. 235 mm)
  • 洋書

Sustainability in Aging : Challenges and Opportunities for an Integrated Society (Lecture Notes in Bioengineering) (2025. ix, 683 S. IX, 683 p. 88 illus., 66 illus. in color. 235 mm)  Hardcover

Herausgegeben:Guardado Moreira, Maria Joã/o/ A. Carvalho, Lucinda Sofia/ Simõ/es, Â/ngela/ Candeias, Marisa de Jesus/ MargaridaTomá/s, Helena

  • ウェブストア価格 ¥37,055(本体¥33,687)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 336pt
  • 海外からお取り寄せ(通常6~9週間)
Occupational and Environmental Safety and Health VI : Volume 2: Biomechanics, Occupational Psychosociology and New Trends (Studies in Systems, Decision and Control 231) (2025. viii, 663 S. VIII, 663 p. 100 illus., 80 illus. in color. 235 mm)
  • 洋書

Occupational and Environmental Safety and Health VI : Volume 2: Biomechanics, Occupational Psychosociology and New Trends (Studies in Systems, Decision and Control 231) (2025. viii, 663 S. VIII, 663 p. 100 illus., 80 illus. in color. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Baptista, J. Santos/ Melo, Rui B./ Carneiro, Paula/ Castelo Branco, Jacqueline/ Costa, Nelson/ Duarte, Joana/ Guedes, Joana C./ Perestrelo, Gonç/alo

  • ウェブストア価格 ¥52,938(本体¥48,126)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 481pt
  • 海外からお取り寄せ(通常6~9週間)