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,920(本体¥12,655)
  • SPRINGER, BERLIN; SPRINGER(2026/02発売)
  • ポイント 126pt
  • ご予約受付中。出版後の入荷・発送
Natural Alternatives and Nanotechnology Applied to the One Health Approach : Bridging Ecology, Technology, and Medicine for Sustainable Solutions (2025. x, 194 S. X, 194 p. 23 illus., 16 illus. in color. 235 mm)
  • 洋書

Natural Alternatives and Nanotechnology Applied to the One Health Approach : Bridging Ecology, Technology, and Medicine for Sustainable Solutions (2025. x, 194 S. X, 194 p. 23 illus., 16 illus. in color. 235 mm)  Hardcover,  言語:ENG

Herausgegeben:Heya, Michel Sté/phane

  • ウェブストア価格 ¥36,198(本体¥32,908)
  • SPRINGER, BERLIN; SPRINGER(2025/11発売)
  • ポイント 329pt
  • 海外取次在庫
The Large Scale Structures : A Window on the Dark Components of the Universe (Springer Theses)
  • 洋書

The Large Scale Structures : A Window on the Dark Components of the Universe (Springer Theses)  Paperback

Ilić, Stéphane

  • ウェブストア価格 ¥24,313(本体¥22,103)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 221pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Ludwig Binswanger and Fernand Deligny on the Human Condition : Wandering Lines (2024)
  • 洋書

Ludwig Binswanger and Fernand Deligny on the Human Condition : Wandering Lines (2024)  Hardcover

Symons, Stéphane

  • ウェブストア価格 ¥8,397(本体¥7,634)
  • Palgrave Macmillan(2024/09発売)
  • ポイント 76pt
  • 海外からお取り寄せ(通常6~9週間)
A Guide to Signals and Systems in Continuous Time (2022)
  • 洋書

A Guide to Signals and Systems in Continuous Time (2022)  Paperback,  言語:ENG

Lafortune, Stéphane

  • ウェブストア価格 ¥9,945(本体¥9,041)
  • Springer Nature Switzerland AG(2023/03発売)
  • ポイント 90pt
  • 海外取次在庫
Financial Modeling : A Backward Stochastic Differential Equations Perspective (Springer Finance Textbooks)
  • 洋書

Financial Modeling : A Backward Stochastic Differential Equations Perspective (Springer Finance Textbooks)  Paperback,  言語:ENG

Crepey, Stephane

  • ウェブストア価格 ¥17,672(本体¥16,066)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/07発売)
  • ポイント 160pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Percutaneous Coronary Intervention for Chronic Total Occlusion : The Hybrid Approach (2. Aufl. 2022. xvii, 373 S. XVII, 373 p. 232 illus., 150 illus. in col)
  • 洋書

Percutaneous Coronary Intervention for Chronic Total Occlusion : The Hybrid Approach (2. Aufl. 2022. xvii, 373 S. XVII, 373 p. 232 illus., 150 illus. in col)  Hardcover

Herausgegeben:Rinfret, Sté/phane

  • ウェブストア価格 ¥44,553(本体¥40,503)
  • SPRINGER, BERLIN; SPRINGER(2022発売)
  • ポイント 405pt
  • 海外からお取り寄せ(通常6~9週間)
Percutaneous Coronary Intervention for Chronic Total Occlusion : The Hybrid Approach (2. Aufl. 2023. xvii, 373 S. XVII, 373 p. 232 illus., 150 illus. in col)
  • 洋書

Percutaneous Coronary Intervention for Chronic Total Occlusion : The Hybrid Approach (2. Aufl. 2023. xvii, 373 S. XVII, 373 p. 232 illus., 150 illus. in col)  Paperback

Herausgegeben:Rinfret, Sté/phane

  • ウェブストア価格 ¥33,414(本体¥30,377)
  • SPRINGER, BERLIN; SPRINGER(2023発売)
  • ポイント 303pt
  • 海外からお取り寄せ(通常6~9週間)
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,155(本体¥11,050)
  • Springer International Publishing AG(2016/03発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Biomedical Simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Biomedical Simulation : 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Design Automation for Differential MOS Current-Mode Logic Circuits (2019)
  • 洋書

Design Automation for Differential MOS Current-Mode Logic Circuits (2019)  Hardcover,  言語:ENG

Badel, Stéphane/ Baltaci, Can/ Cevrero, Alessandro

  • ウェブストア価格 ¥35,366(本体¥32,151)
  • Springer International Publishing AG(2018/07発売)
  • ポイント 321pt
  • 海外取次在庫
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,470(本体¥11,337)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 113pt
  • 海外からお取り寄せ(通常6~9週間)
Cable-Driven Parallel Robots : Proceedings of the 6th International Conference on Cable-Driven Parallel Robots (Mechanisms and Machine Science) (2023)
  • 洋書

Cable-Driven Parallel Robots : Proceedings of the 6th International Conference on Cable-Driven Parallel Robots (Mechanisms and Machine Science) (2023)  Hardcover

Caro, Stéphane (EDT)/ Pott, Andreas (EDT)/ Bruckmann, Tobias (EDT)

  • ウェブストア価格 ¥55,436(本体¥50,397)
  • Springer International Publishing AG(2023/06発売)
  • ポイント 503pt
  • 海外からお取り寄せ(通常6~9週間)
Cryptofinance and Mechanisms of Exchange : The Making of Virtual Currency (Contributions to Management Science)
  • 洋書

Cryptofinance and Mechanisms of Exchange : The Making of Virtual Currency (Contributions to Management Science)  Paperback,  言語:ENG

Goutte, Stéphane (EDT)/ Guesmi, Khaled (EDT)/ Saadi, Samir (EDT)

  • ウェブストア価格 ¥35,366(本体¥32,151)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 321pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Advances in Managing Energy and Climate Risks : Financial, Climate and Environmental Sustainable Strategies (Lecture Notes in Energy)
  • 洋書

Advances in Managing Energy and Climate Risks : Financial, Climate and Environmental Sustainable Strategies (Lecture Notes in Energy)  Paperback

Goutte, Stéphane (EDT)/ Guesmi, Khaled (EDT)/ Boroumand, Raphaël Homayoun (EDT)

  • ウェブストア価格 ¥30,488(本体¥27,717)
  • Springer Nature Switzerland AG(2022/04発売)
  • ポイント 277pt
  • 海外からお取り寄せ(通常6~9週間)
Financial Market Dynamics after COVID 19 : The Contagion Effect of the Pandemic in Finance (Contributions to Finance and Accounting)
  • 洋書

Financial Market Dynamics after COVID 19 : The Contagion Effect of the Pandemic in Finance (Contributions to Finance and Accounting)  Paperback

Goutte, Stéphane (EDT)/ Guesmi, Khaled (EDT)/ Urom, Christian (EDT)

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer Nature Switzerland AG(2023/04発売)
  • ポイント 281pt
  • 海外取次在庫
Distributed Computing and Intelligent Technology : 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Distributed Computing and Intelligent Technology : 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Devismes, Stéphane (EDT)/ Mandal, Partha Sarathi (EDT)/ Saradhi, V. Vijaya (EDT)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 170pt
  • 海外取次在庫
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,786(本体¥17,079)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 170pt
  • 海外取次在庫
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,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/11発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Italianness and Migration from the Risorgimento to the 1960s (Palgrave Studies in Migration History)
  • 洋書

Italianness and Migration from the Risorgimento to the 1960s (Palgrave Studies in Migration History)  Hardcover,  言語:ENG

Mourlane, Stéphane (EDT)/ Regnard, Céline (EDT)/ Martini, Manuela (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 341pt
  • 海外取次在庫