1～2件／全2件 セーフサーチON
  •  
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
  • 海外取次在庫
Logic Gates, Circuits, Processors, Compilers and Computers
  • 洋書

Logic Gates, Circuits, Processors, Compilers and Computers  Paperback

Groote, Jan Friso/ Morel, Rolf/ Schmaltz, Julien

  • ウェブストア価格 ¥7,755（本体¥7,050）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 70pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～2件／全2件
  •