1～3件／全3件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedi
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedi  Paperback,  言語：ENG

Biere, Armin (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥9,945（本体¥9,041）
  • Springer Nature Switzerland AG（2020/04発売）
  • ポイント 90pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Parker, David (EDT)/ Wolf, Verena (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 110pt
  • 海外取次在庫
Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7385) （2012. 2012. VI, 258 S. 235 mm）
  • 洋書

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7385) （2012. 2012. VI, 258 S. 235 mm）  Paperback

Herausgegeben von Donaldson, Alastair/ Parker, David

  • ウェブストア価格 ¥12,809（本体¥11,645）
  • SPRINGER, BERLIN（2012発売）
  • ポイント 116pt
  • 海外取次在庫
1～3件／全3件
  •