Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6173〉
  • 洋書

Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6173〉  Paperback,  言語:ENG

Giesl, J./ Haehnle, R.

  • ウェブストア価格 ¥28,304(本体¥25,731)
  • Springer(2010/08発売)
  • ポイント 257pt
  • 海外取次在庫
Tests and Proofs : Second International Conference, TAP 2008 (Lecture Notes in Computer Science) 〈Vol. 4966〉
  • 洋書

Tests and Proofs : Second International Conference, TAP 2008 (Lecture Notes in Computer Science) 〈Vol. 4966〉  Paperback,  言語:ENG

Beckert, B. (EDT)/ Hähnle, R. (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer(2008/04発売)
  • ポイント 109pt
  • 海外取次在庫