1～3件／全3件 セーフサーチON
  •  
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Kovács, Laura (EDT)/ Meinke, Karl (EDT)

  • Springer International Publishing AG（2022/06発売）
  • ご注文いただけません
Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Bennaceur, Amel (EDT)/ Hähnle, Reiner (EDT)/ Meinke, Karl (EDT)

  • ウェブストア価格 ¥12,359（本体¥11,236）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Borger, E/ Gurevich, Yuri/ Meinke, K

  • Springer（1994/08発売）
  • ご注文いただけません
1～3件／全3件
  •