1～2件／全2件 セーフサーチON
  •  
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語：ENG

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

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 102pt
  • オンデマンド(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

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