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)

  • ウェブストア価格 ¥14,485(本体¥13,169)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 131pt
  • 海外取次在庫
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,
  • 洋書
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)

  • ウェブストア価格 ¥62,090(本体¥56,446)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 564pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥39,703(本体¥36,094)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2024発売)
  • ポイント 360pt
  • 海外取次在庫