1～2件／全2件 セーフサーチON
  •  
Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Compute （2014）
  • 洋書
  • ポイントキャンペーン

Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Compute （2014）  Paperback,  言語：ENG

Shao, Zhong (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 218pt
  • 海外取次在庫
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7086) （2011. XV, 396 S. 235 mm）
  • 洋書
  • ポイントキャンペーン

Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7086) （2011. XV, 396 S. 235 mm）  Paperback,  言語：ENG

Herausgegeben von Jouannaud, Jean-Pierre/ Shao, Zhong

  • ウェブストア価格 ¥13,997（本体¥12,725）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 254pt
  • 海外取次在庫
1～2件／全2件
  •