1～3件／全3件 セーフサーチON
  •  
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Pa  Paperback

Hildebrandt, Thomas (EDT)/ Ravara, António (EDT)/ van der Werf, Jan Martijn (EDT)

  • ウェブストア価格 ¥9,818（本体¥8,926）
  • Springer International Publishing AG（2016/04発売）
  • ポイント 445pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug
  • 洋書
  • ポイントキャンペーン

Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portug  Paperback

Huisman, Marieke (EDT)/ Ravara, António (EDT)

  • ウェブストア価格 ¥17,457（本体¥15,870）
  • Springer International Publishing AG（2023/06発売）
  • ポイント 790pt
  • 海外取次在庫
Coordination Models and Languages : 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceed
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Coordination Models and Languages : 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceed  Paperback

Di Giusto, Cinzia (EDT)/ Ravara, António (EDT)

  • ウェブストア価格 ¥16,365（本体¥14,878）
  • Springer International Publishing AG（2025/06発売）
  • ポイント 740pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •