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)版です。キャンセルは承れません。
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発売)
  • ご注文いただけません
Demokratie gestalten - Schleswig-Holstein : Wirtschaft und Politik für Berufsschulen in Schleswig-Holstein (2. Aufl. 2019. 302 S. zahlr. Abb., 4-fbg., 17 x 24 cm, brosch. 240 mm)
  • 洋書

Demokratie gestalten - Schleswig-Holstein : Wirtschaft und Politik für Berufsschulen in Schleswig-Holstein (2. Aufl. 2019. 302 S. zahlr. Abb., 4-fbg., 17 x 24 cm, brosch. 240 mm)  Paperback

Klaening, Ulf/Meinke, Carsten

  • ウェブストア価格 ¥5,454(本体¥4,959)
  • EUROPA-LEHRMITTEL(2019発売)
  • ポイント 49pt
  • 海外からお取り寄せ(通常6~9週間)
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発売)
  • ご注文いただけません