Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Ferreira, Carla (EDT)/ Willemse, Tim A. C. (EDT)

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 140pt
  • 海外取次在庫
洪水緩和の自然基盤解決法<br>Nature-Based Solutions for Flood Mitigation : Environmental and Socio-Economic Aspects (The Handbook of Environmental Chemistry)
  • 洋書

洪水緩和の自然基盤解決法
Nature-Based Solutions for Flood Mitigation : Environmental and Socio-Economic Aspects (The Handbook of Environmental Chemistry)
 Hardcover

Ferreira, Carla S. S. (EDT)/ Kalantari, Zahra (EDT)/ Hartmann, Thomas (EDT)

  • ウェブストア価格 ¥66,313(本体¥60,285)
  • Springer Nature Switzerland AG(2022/05発売)
  • ポイント 602pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
High Performance Computing Systems : 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

High Performance Computing Systems : 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Bianchini, Calebe (EDT)/ Osthoff, Carla (EDT)/ Souza, Paulo (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 (Lecture Notes in Computer Science)
  • 洋書

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ulidowski, Irek (EDT)/ Lanese, Ivan (EDT)/ Schultz, Ulrik Pagh (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 100pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Distributed Objects, Components, and Systems : 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France,
  • 洋書
  • 電子版あり

Formal Techniques for Distributed Objects, Components, and Systems : 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France,  Paperback

Ferreira, Carla (EDT)/ Mezzina, Claudio Antares (EDT)

  • ウェブストア価格 ¥13,856(本体¥12,597)
  • Springer International Publishing AG(2025/06発売)
  • ポイント 125pt
  • 海外からお取り寄せ(通常6~9週間)
Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems, 2 Te (Lecture Notes in Mechanical Engineering) (2023. xxvii, 1228 S. XXVII, 1228 p. 364 illus., 284 illus. in color. I)
  • 洋書

Flexible Automation and Intelligent Manufacturing: Establishing Bridges for More Sustainable Manufacturing Systems, 2 Te (Lecture Notes in Mechanical Engineering) (2023. xxvii, 1228 S. XXVII, 1228 p. 364 illus., 284 illus. in color. I)  Paperback

Herausgegeben:Silva, Francisco J. G./ Ferreira, Luí/s Pinto/ Sá/, José/ Carlos/ Pereira, Maria Teresa/ Pinto, Carla M. A.

  • ウェブストア価格 ¥91,895(本体¥83,541)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2023発売)
  • ポイント 835pt
  • 海外からお取り寄せ(通常6~9週間)
Design of Reinforced Concrete Sections under Bending and Axial Forces : Tables and Charts According to EUROCODE 2
  • 洋書

Design of Reinforced Concrete Sections under Bending and Axial Forces : Tables and Charts According to EUROCODE 2  Paperback,  言語:ENG

Barros, Helena/ Figueiras, Joaquim/ Ferreira, Carla

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Environmental Sustainability in the Mediterranean Region : Challenges and Solutions (Springer Geography) (2024. viii, 268 S. VIII, 268 p. 54 illus., 50 illus. in color. 235 mm)
  • 洋書

Environmental Sustainability in the Mediterranean Region : Challenges and Solutions (Springer Geography) (2024. viii, 268 S. VIII, 268 p. 54 illus., 50 illus. in color. 235 mm)  Hardcover

Herausgegeben:Ferreira, Carla Sofia Santos/ Destouni, Georgia/ Kalantari, Zahra

  • ウェブストア価格 ¥41,768(本体¥37,971)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 379pt
  • 海外取次在庫
Nature-Based Solutions for Flood Mitigation : Environmental and Socio-Economic Aspects (The Handbook of Environmental Chemistry)
  • 洋書

Nature-Based Solutions for Flood Mitigation : Environmental and Socio-Economic Aspects (The Handbook of Environmental Chemistry)  Paperback

Ferreira, Carla S. S. (EDT)/ Kalantari, Zahra (EDT)/ Hartmann, Thomas (EDT)

  • ウェブストア価格 ¥66,313(本体¥60,285)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 602pt
  • 海外取次在庫