Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic) (2026. Approx. 255 p. 25 illus., 5 illus. in color. 235 mm)
  • 洋書
  • 予約
  • ポイントキャンペーン

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem (Computer Science Foundations and Applied Logic) (2026. Approx. 255 p. 25 illus., 5 illus. in color. 235 mm)  Hardcover,  言語:ENG

Demri, Sté/phane

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 254pt
  • ご予約受付中。出版後の入荷・発送
Artificial Evolution : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Artificial Evolution : 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Bonnevay, Stéphane (EDT)/ Legrand, Pierrick (EDT)/ Monmarché, Nicolas (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Biomedical Simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書
  • ポイントキャンペーン

Biomedical Simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Bello, Fernando (EDT)/ Cotin, Stéphane (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Artificial Intelligence) (2014)
  • 洋書
  • ポイントキャンペーン

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings (Lecture Notes in Artificial Intelligence) (2014)  Paperback,  言語:ENG

Demri, Stéphane (EDT)/ Kapur, Deepak (EDT)/ Weidenbach, Christoph (EDT)

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 228pt
  • 海外からお取り寄せ(通常6~9週間)
Stabilization, Safety, and Security of Distributed Systems : 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Stabilization, Safety, and Security of Distributed Systems : 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Devismes, Stéphane (EDT)/ Petit, Franck (EDT)/ Altisen, Karine (EDT)

  • ウェブストア価格 ¥18,667(本体¥16,970)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 338pt
  • 海外取次在庫
Stabilization, Safety, and Security of Distributed Systems : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

Stabilization, Safety, and Security of Distributed Systems : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Devismes, Stéphane (EDT)/ Mittal, Neeraj (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Similarity Search and Applications : 11th International Conference, SISAP 2018, Lima, Peru, October 7-9, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Similarity Search and Applications : 11th International Conference, SISAP 2018, Lima, Peru, October 7-9, 2018, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback

Marchand-Maillet, Stéphane (EDT)/ Silva, Yasin N. (EDT)/ Chávez, Edgar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 218pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part V (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part V (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 398pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III (Lecture Notes in Artificial Intelligence)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part III (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 558pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 398pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 398pt
  • 海外取次在庫
Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

Amini, Massih-Reza (EDT)/ Canu, Stéphane (EDT)/ Fischer, Asja (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2023/03発売)
  • ポイント 398pt
  • 海外取次在庫
Reuse in Emerging Software Engineering Practices : 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Reuse in Emerging Software Engineering Practices : 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings (Programming and Software Engineering)  Paperback

Ben Sassi, Sihem (EDT)/ Ducasse, Stéphane (EDT)/ Mili, Hafedh (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Atomic Force Microscopy Based Nanorobotics : Modelling, Simulation, Setup Building and Experiments (Springer Tracts in Advanced Robotics) (2012)
  • 洋書
  • ポイントキャンペーン

Atomic Force Microscopy Based Nanorobotics : Modelling, Simulation, Setup Building and Experiments (Springer Tracts in Advanced Robotics) (2012)  Paperback

Xie, Hui/ Onal, Cagdas/ Régnier, Stéphane

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/11発売)
  • ポイント 678pt
  • 海外取次在庫
Distributed Computing and Intelligent Technology : 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Distributed Computing and Intelligent Technology : 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback

Bramas, Quentin (EDT)/ Chatterjee, Bapi (EDT)/ Devismes, Stéphane (EDT)

  • ウェブストア価格 ¥13,988(本体¥12,717)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 254pt
  • 海外からお取り寄せ(通常6~9週間)
Network and Parallel Computing : 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Network and Parallel Computing : 18th IFIP WG 10.3 International Conference, NPC 2021, Paris, France, November 3-5, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Cérin, Christophe (EDT)/ Qian, Depei (EDT)/ Gaudiot, Jean-Luc (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 318pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VIII (Image Processing, Computer Vision, Pattern Recognition, and Graphics
  • 洋書
  • ポイントキャンペーン

Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VIII (Image Processing, Computer Vision, Pattern Recognition, and Graphics  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stephane (EDT)

  • ウェブストア価格 ¥26,354(本体¥23,959)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 478pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part V (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 V (Lecture Notes in Computer Science)  Paperback,  言語:ENG

de Bruijne, Marleen (EDT)/ Cattin, Philippe C. (EDT)/ Cotin, Stephane (EDT)

  • ウェブストア価格 ¥28,551(本体¥25,956)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 518pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 558pt
  • オンデマンド(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)

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer Nature Switzerland AG(2021/09発売)
  • ポイント 438pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。