1～3件／全3件 セーフサーチON
  •  
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Programming and Software Engineering) （2014）
  • 洋書

Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings (Programming and Software Engineering) （2014）  Paperback,  言語：ENG

Seidl, Martina (EDT)/ Tillmann, Nikolai (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer International Publishing AG（2014/08発売）
  • ポイント 109pt
  • 海外取次在庫
Theory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Theory and Applications of Satisfiability Testing - SAT 2020 : 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Pulina, Luca (EDT)/ Seidl, Martina (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer Nature Switzerland AG（2020/07発売）
  • ポイント 109pt
  • 海外取次在庫
Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Seidl, Martina (EDT)/ Zschaler, Steffen (EDT)

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