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
  • 洋書

Natural Alternatives and Nanotechnology Applied to the One Health Approach : Bridging Ecology, Technology, and Medicine for Sustainable Solutions

Herausgegeben:Heya, Michel Sté/phane

  • SPRINGER, BERLIN; SPRINGER(2025/11発売)
  • ご注文いただけません
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)版です。キャンセルは承れません。
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
  • 海外取次在庫
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 (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,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週間)
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週間)
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)版です。キャンセルは承れません。
Surfaces and Interfaces in Natural Fibre Reinforced Composites : Fundamentals, Modifications and Characterization (Springerbriefs in Molecular Science)
  • 洋書
  • 電子版あり

Surfaces and Interfaces in Natural Fibre Reinforced Composites : Fundamentals, Modifications and Characterization (Springerbriefs in Molecular Science)  Paperback,  言語:ENG

Le Moigne, Nicolas/ Otazaghine, Belkacem/ Corn, Stéphane

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2018/02発売)
  • ポイント 110pt
  • 海外取次在庫
Recent Developments in Fractals and Related Fields : Conference on Fractals and Related Fields III, île de Porquerolles, France, 2015 (Trends in Mathematics)
  • 洋書
  • 電子版あり

Recent Developments in Fractals and Related Fields : Conference on Fractals and Related Fields III, île de Porquerolles, France, 2015 (Trends in Mathematics)  Hardcover,  言語:ENG

Barral, Julien (EDT)/ Seuret, Stéphane (EDT)

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Birkhauser Verlag AG(2017/09発売)
  • ポイント 341pt
  • 海外取次在庫
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,155(本体¥11,050)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 110pt
  • 海外取次在庫
Recent Developments in Fractals and Related Fields : Conference on Fractals and Related Fields IV, île de Porquerolles, France, 2022 (Trends in Mathematics)
  • 洋書
  • 電子版あり

Recent Developments in Fractals and Related Fields : Conference on Fractals and Related Fields IV, île de Porquerolles, France, 2022 (Trends in Mathematics)  Hardcover

Barral, Julien (EDT)/ Batakis, Athanasios (EDT)/ Seuret, Stéphane (EDT)

  • ウェブストア価格 ¥55,994(本体¥50,904)
  • Birkhauser Verlag AG(2025/04発売)
  • ポイント 509pt
  • 海外からお取り寄せ(通常6~9週間)
Millimeter Astronomy : Saas-Fee Advanced Course 38. Swiss Society for Astrophysics and Astronomy (Saas-fee Advanced Course)
  • 洋書

Millimeter Astronomy : Saas-Fee Advanced Course 38. Swiss Society for Astrophysics and Astronomy (Saas-fee Advanced Course)  Paperback,  言語:ENG

Wilson, T. L./ Guilloteau, Stéphane/ Dessauges-Zavadsky, Miroslava (EDT)

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2019/02発売)
  • ポイント 200pt
  • 海外取次在庫