文字サイズ

  • 小
  • 中
  • 大

古書を探す

初めての方へ

「プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション 栗原 正仁」の検索結果

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

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

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

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

書誌カタログの検索結果


「日本の古本屋」に参加している950店以上の古書店に、入荷依頼のリクエストを送ることができます。
プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション

プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション

平成6年度科学研究費補助金[一般研究(C)]研究成果報告書

研究代表者 栗原正仁、北海道大学工学部、1995.3

62p 30cm

  • リクエストを送る

日本国際博覧会開催 - 昭和開催から55年、博覧会の記憶

米マイクロソフト社50年 - IT-情報技術の源流

『暗号
『暗号
￥4,000
反省記
反省記
￥1,000