1～2件／全2件 セーフサーチON
  •  
Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Sankaranarayanan, Sriram (EDT)/ Vicario, Enrico (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2015/08発売）
  • ポイント 110pt
  • 海外取次在庫
New Frontiers in Quantitative Methods in Informatics : 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

New Frontiers in Quantitative Methods in Informatics : 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語：ENG

Balsamo, Simonetta (EDT)/ Marin, Andrea (EDT)/ Vicario, Enrico (EDT)

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