Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)
  • 洋書

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I (Lecture Notes in Artificial Intelligence) (2024)  Paperback,  言語:ENG

Benzmüller, Christoph (EDT)/ Heule, Marijn J.H. (EDT)/ Schmidt, Renate A. (EDT)

  • ウェブストア価格 ¥9,438(本体¥8,580)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 85pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Lecture Notes in Computer Science) (2018)
  • 洋書
  • 電子版あり

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Lecture Notes in Computer Science) (2018)  Paperback,  言語:ENG

Massoni, Tiago (EDT)/ Mousavi, Mohammad Reza (EDT)

  • ウェブストア価格 ¥13,633(本体¥12,394)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 123pt
  • 海外取次在庫
High Performance Computing in Science and Engineering '22 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2022
  • 洋書

High Performance Computing in Science and Engineering '22 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2022  Paperback,  言語:ENG

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥53,588(本体¥48,717)
  • Springer International Publishing AG(2025/04発売)
  • ポイント 487pt
  • 海外からお取り寄せ(通常6~9週間)
Knowledge Representation for Health Care : HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Knowledge Representation for Health Care : HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Riaño, David (EDT)/ Lenz, Richard (EDT)/ Reichert, Manfred (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/02発売)
  • ポイント 104pt
  • 海外取次在庫
Information Technology in Bio- and Medical Informatics : 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり

Information Technology in Bio- and Medical Informatics : 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Bursa, Miroslav (EDT)/ Holzinger, Andreas (EDT)/ Renda, M. Elena (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/07発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science) (2013)
  • 洋書

SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Khendek, Ferhat (EDT)/ Toeroe, Maria (EDT)/ Gherbi, Abdelouahed (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/06発売)
  • ポイント 104pt
  • 海外取次在庫
High Performance Computing in Science and Engineering ' 18 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018
  • 洋書
  • 電子版あり

High Performance Computing in Science and Engineering ' 18 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018  Hardcover,  言語:ENG

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 324pt
  • 海外からお取り寄せ(通常6~9週間)
High Performance Computing in Science and Engineering ' 18 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018
  • 洋書

High Performance Computing in Science and Engineering ' 18 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2018  Paperback,  言語:ENG

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥35,662(本体¥32,420)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 324pt
  • 海外からお取り寄せ(通常6~9週間)
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part II (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part II (Communications in Computer and Information Science)  Paperback

Lesot, Marie-Jeanne (EDT)/ Vieira, Susana (EDT)/ Reformat, Marek Z. (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part I (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part I (Communications in Computer and Information Science)  Paperback

Lesot, Marie-Jeanne (EDT)/ Vieira, Susana (EDT)/ Reformat, Marek Z. (EDT)

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 247pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part III (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part III (Communications in Computer and Information Science)  Paperback

Lesot, Marie-Jeanne (EDT)/ Vieira, Susana (EDT)/ Reformat, Marek Z. (EDT)

  • ウェブストア価格 ¥23,074(本体¥20,977)
  • Springer Nature Switzerland AG(2020/06発売)
  • ポイント 209pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Katoen, Joost-Pieter (EDT)/ Langerak, Rom (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
High Performance Computing in Science and Engineering '19 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019
  • 洋書

High Performance Computing in Science and Engineering '19 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2019  Paperback

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥37,511(本体¥34,101)
  • Springer Nature Switzerland AG(2022/05発売)
  • ポイント 341pt
  • 海外からお取り寄せ(通常6~9週間)
High Performance Computing in Science and Engineering '20 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2020
  • 洋書

High Performance Computing in Science and Engineering '20 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2020  Paperback

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥53,588(本体¥48,717)
  • Springer Nature Switzerland AG(2022/12発売)
  • ポイント 487pt
  • 海外からお取り寄せ(通常6~9週間)
High Performance Computing in Science and Engineering '21 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021 (2023. viii, 529 S. VIII, 529 p. 1 illus. 235 mm)
  • 洋書

High Performance Computing in Science and Engineering '21 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021 (2023. viii, 529 S. VIII, 529 p. 1 illus. 235 mm)  Hardcover

Herausgegeben:Nagel, Wolfgang E./ Kroener, Dietmar H./ Resch, Michael M.

  • ウェブストア価格 ¥66,938(本体¥60,853)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2023発売)
  • ポイント 608pt
  • 海外取次在庫
High Performance Computing in Science and Engineering '21 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021
  • 洋書

High Performance Computing in Science and Engineering '21 : Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2021  Paperback

Nagel, Wolfgang E. (EDT)/ Kröner, Dietmar H. (EDT)/ Resch, Michael M. (EDT)

  • ウェブストア価格 ¥58,738(本体¥53,399)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 533pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Growing Adaptive Machines : Combining Development and Learning in Artificial Neural Networks (Studies in Computational Intelligence)
  • 洋書

Growing Adaptive Machines : Combining Development and Learning in Artificial Neural Networks (Studies in Computational Intelligence)  Paperback

Kowaliw, Taras (EDT)/ Bredeche, Nicolas (EDT)/ Doursat, René (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/09発売)
  • ご注文いただけません
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語:ENG

Berger, Christian (EDT)/ Mousavi, Mohammad Reza (EDT)/ Wisniewski, Rafael (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Disease Control through Social Network Surveillance (Lecture Notes in Social Networks)
  • 洋書

Disease Control through Social Network Surveillance (Lecture Notes in Social Networks)  Paperback

Bourlai, Thirimachos (EDT)/ Karampelas, Panagiotis (EDT)/ Alhajj, Reda (EDT)

  • ウェブストア価格 ¥26,792(本体¥24,357)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 243pt
  • 海外からお取り寄せ(通常6~9週間)
Business Process Management Workshops : BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers (Lecture Notes in Business Information Processing)
  • 洋書
  • 電子版あり

Business Process Management Workshops : BPM 2019 International Workshops, Vienna, Austria, September 1-6, 2019, Revised Selected Papers (Lecture Notes in Business Information Processing)  Paperback,  言語:ENG

Di Francescomarino, Chiara (EDT)/ Dijkman, Remco (EDT)/ Zdun, Uwe (EDT)

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