文字サイズ

  • 小
  • 中
  • 大

古書を探す

「Agda言語について」の検索結果

絞込み検索を表示
年から 年※単一年を探す場合 1995～1995

（例）初版　函　帯　など
￥ から￥
件

詳細検索についての注意事項

  • 複数条件での絞込検索が可能です。検索条件をスペースで区切って入力してください。
表示順
出版社
コンパクト表示 すべて表示
件
現在、お探しの書籍は登録されておりません。

書誌カタログの検索結果


「日本の古本屋」に参加している950店以上の古書店に、入荷依頼のリクエストを送ることができます。
Agda言語について ＜算譜科学研究速報 AIST-PS-2008-14＞

Agda言語について ＜算譜科学研究速報 AIST-PS-2008-14＞

木下佳樹 著 ; 産業技術総合研究所 (システム検証研究センター) 編、産業技術総合研究所、2008･･･

10p 30cm

  • リクエストを送る

白い巨塔６０年 - 山崎豊子、社会派文学を中心に

刃傷
刃傷
 ￥2,500
落差
落差
 ￥5,500
甲府在番
甲府在番
 ￥3,300
しぶちん
しぶちん
 ￥2,000

バック・トゥ・ザ・フューチャー４０年 - ＳＦ映画の魅力

超SF映画
超SF映画
 ￥2,750
猿の惑星
猿の惑星
 ￥4,400