1～3件／全3件 セーフサーチON
  •  
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16143) （2025. xiii, 508 S. XIII, 508 p. 158 illus., 111 illus. in color. 235 m）
  • 洋書
  • ポイントキャンペーン

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26-28, 2025, Proceedings (Lecture Notes in Computer Science 16143) （2025. xiii, 508 S. XIII, 508 p. 158 illus., 111 illus. in color. 235 m）  Paperback,  言語：ENG

Herausgegeben:Prabhakar, Pavithra/ Vandin, Andrea

  • ウェブストア価格 ¥18,073（本体¥16,430）
  • SPRINGER, BERLIN; SPRINGER; SPRINGER NATURE SWITZERLA（2025/10発売）
  • ポイント 328pt
  • 海外取次在庫
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Bogomolov, Sergiy (EDT)/ Martel, Matthieu (EDT)/ Prabhakar, Pavithra (EDT)

  • ウェブストア価格 ¥11,845（本体¥10,769）
  • Springer International Publishing AG（2017/02発売）
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Jansen, David N. (EDT)/ Prabhakar, Pavithra (EDT)

  • ウェブストア価格 ¥11,845（本体¥10,769）
  • Springer Nature Switzerland AG（2018/08発売）
  • ポイント 214pt
  • 海外取次在庫
1～3件／全3件
  •