1～3件／全3件 セーフサーチON
  •  
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Lecture Notes in Computer Science)  Paperback

Sekerinski, Emil (EDT)/ Moreira, Nelma (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2020/08発売）
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Conceptual Modeling : 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings (Information Systems and Applications, incl. Internet/web, and Hci)  Paperback,  言語：ENG

Laender, Alberto H. F. (EDT)/ Pernici, Barbara (EDT)/ Lim, Ee-Peng (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •