1～2件／全2件 セーフサーチON
  •  
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

van Eekelen, Marko (EDT)/ Dal Lago, Ugo (EDT)

  • ウェブストア価格 ¥11,845（本体¥10,769）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898) （2011. X, 380 S.）
  • 洋書
  • ポイントキャンペーン

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6898) （2011. X, 380 S.）  Paperback

Herausgegeben von Van Eekelen, Marko/ Geuvers, Herman/ Schmaltz, Julien/ Wiedijk, Freek

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