"中島震／著"の検索結果

1. 

   ＳＰＩＮモデル検査　検証モデリング技法

   中島震／著

   ¥4,180 税込

   カートに入れる
2. 

   ＡＩリスク・マネジメント　信頼できる機械学習ソフトウェアへの工学的方法論

   中島震　著

   ¥3,080 税込

   カートに入れる
3. 

   ソフトウェア工学から学ぶ機械学習の品質問題

   ¥3,080 税込

   カートに入れる
4. 

   ソフト・エッジ　ソフトウェア開発の科学を求めて

   ¥836 税込

   カートに入れる
5. 

   デジタル・プラットフォーム解体新書　製造業のイノベーションに向けて

   ¥2,750 税込

   カートに入れる
6. 

   ＡＩアルゴリズムからＡＩセーフティへ　生成ＡＩとＬＬＭ

   ¥5,280 税込

   カートに入れる
7. 

   形式手法入門　ロジックによるソフトウェア設計

   中島震／著

   ¥3,080 税込

   在庫なし
8. 

   ＳＰＩＮモデル検査入門

   ＭｏｒｄｅｃｈａｉＢｅｎ－Ａｒｉ／著　中島震／監訳　谷津弘一、野中哲、足立太郎／共訳

   ¥3,630 税込

   在庫なし
9. 

   Ｂメソッドによる形式仕様記述　ソフトウェアシステムのモデル化とその検証

   来間啓伸／著　中島震／監修

   ¥3,960 税込

   在庫なし
10. 

    抽象によるソフトウェア設計　Ａｌｌｏｙではじめる形式手法

    Ｄａｎｉｅｌ・Ｊａｃｋｓｏｎ／著　中島震／監訳　今井健男／他訳

    ¥4,950 税込

    在庫なし
11. 

    優れたデザインにとってコンセプトが重要な理由　使いやすく安心なソフトウェアを作るために

    ¥3,520 税込

    在庫なし
12. 

    震雷の人

    千葉　ともこ／著・文・その他

    ¥1,540 税込

    在庫なし