1～3件／全3件 セーフサーチON
  •  
Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) （2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm）
  • 洋書

Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science 15280) （2024. xv, 462 S. XV, 462 p. 243 illus., 190 illus. in color. 235 mm）  Paperback

Herausgegeben:Madeira, Alexandre/ Knapp, Alexander

  • ウェブストア価格 ¥18,526（本体¥16,842）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2024発売）
  • ポイント 168pt
  • 海外取次在庫
Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Recent Trends in Algebraic Development Techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Madeira, Alexandre (EDT)/ Martins, Manuel A. (EDT)

  • ウェブストア価格 ¥12,415（本体¥11,287）
  • Springer International Publishing AG（2023/10発売）
  • ポイント 112pt
  • 海外取次在庫
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Madeira, Alexandre (EDT)/ Benevides, Mário (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2018/01発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •