1～5件／全5件 セーフサーチON
  •  
Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Capretta, Venanzio (EDT)/ Krebbers, Robbert (EDT)/ Wiedijk, Freek (EDT)

  • ウェブストア価格 ¥30,748（本体¥27,953）
  • Springer International Publishing AG（2024/05発売）
  • ポイント 279pt
  • 海外取次在庫
The Seventeen Provers of the World : Foreword by Dana S. Scott (Lecture Notes in Computer Science) 〈Vol. 3600〉
  • 洋書

The Seventeen Provers of the World : Foreword by Dana S. Scott (Lecture Notes in Computer Science) 〈Vol. 3600〉

Wiedijk, Freek (EDT)

  • ウェブストア価格 ¥15,566（本体¥14,151）
  • Springer（2005/12発売）
  • ポイント 141pt
  • 海外取次在庫
Hybrid Systems : Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proceedings (Lecture Notes
  • 洋書

Hybrid Systems : Computation and Control : 6th International Workshop, Hscc 2003, Prague, Czech Republic, April 3-5, 2003 : Proceedings (Lecture Notes  Paperback,  言語：ENG

Wiedijk, Freek/ Maler, Oded/ Pnueli, Amir/ Hscc 200 (2003 Prague, Czec

  • ウェブストア価格 ¥24,158（本体¥21,962）
  • Springer Verlag（2003/03発売）
  • ポイント 219pt
  • 海外取次在庫
Types for Proofs and Programs : Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers (Lecture
  • 洋書

Types for Proofs and Programs : Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002 : Selected Papers (Lecture  Paperback,  言語：ENG

Geuvers, Herman/ Wiedijk, Freek

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag New York Inc（2003/06発売）
  • ポイント 109pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥14,150（本体¥12,864）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 128pt
  • 海外取次在庫
1～5件／全5件
  •