Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Czech Republic, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6247〉
  • 洋書

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Czech Republic, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6247〉  Paperback

Dawar, Anuj (EDT)/ Veith, H. (EDT)

  • ウェブストア価格 ¥13,614(本体¥12,377)
  • Springer(2010/09発売)
  • ポイント 123pt
  • 海外取次在庫
Color Atlas of Vascular Diseases
  • 洋書

Color Atlas of Vascular Diseases  Paperback

Diehm, C./ Allenberg, J.-R./ Nimura-Eckert, K./ Veith, F.J./ UEbersetzung: Burgdorf, W.H.C.

  • Springer(2011/11発売)
  • ご注文いただけません
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, 2008, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5330〉
  • 洋書

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, 2008, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5330〉  Paperback,  言語:ENG

Cervesato, I. (EDT)/ Veith, H. (EDT)/ Voronkov, A. (EDT)

  • ウェブストア価格 ¥23,849(本体¥21,681)
  • Springer(2008/12発売)
  • ポイント 216pt
  • 海外取次在庫