AIリスク・マネジメント - 信頼できる機械学習ソフトウェアへの工学的方法論
  • 和書
  • ポイントキャンペーン

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

中島 震【著】

  • 価格 ¥3,080(本体¥2,800)
  • 丸善出版(2022/12発売)
  • ポイント 56pt
  • ウェブストア在庫あり(通常、ご注文翌日~2日後に出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
    ※正確な在庫状況は書名をクリックしてご確認ください。
優れたデザインにとってコンセプトが重要な理由 - 使いやすく安心なソフトウェアを作るために
  • 和書
  • ポイントキャンペーン

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

Jackson,Daniel【著】/中島 震【訳】

  • 価格 ¥3,520(本体¥3,200)
  • 丸善出版(2023/06発売)
  • ポイント 64pt
  • ウェブストア在庫あり(通常、ご注文翌日~2日後に出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
    ※正確な在庫状況は書名をクリックしてご確認ください。
ソフトウェア工学から学ぶ機械学習の品質問題
  • 和書
  • ポイントキャンペーン

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

中島 震【著】

  • 価格 ¥3,080(本体¥2,800)
  • 丸善出版(2020/11発売)
  • ポイント 56pt
  • ウェブストア在庫あり(通常、ご注文翌日~2日後に出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
    ※正確な在庫状況は書名をクリックしてご確認ください。
Event-B - リファインメント・モデリングに基づく形式手法
  • 和書
  • 電子版あり
  • ポイントキャンペーン

Event-B - リファインメント・モデリングに基づく形式手法

中島 震/來間 啓伸【共著】

  • 価格 ¥4,180(本体¥3,800)
  • 近代科学社(2015/02発売)
  • ポイント 76pt
  • 提携先に在庫あり(通常、5~7日程度で出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
ソフトウェア工学 放送大学大学院教材
  • 和書
  • ポイントキャンペーン

ソフトウェア工学 放送大学大学院教材

中谷 多哉子/中島 震【編著】

  • 価格 ¥3,520(本体¥3,200)
  • 放送大学教育振興会(2019/03発売)
  • ポイント 64pt
  • 提携先に在庫あり(通常、5~7日程度で出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
ソフト・エッジ - ソフトウェア開発の科学を求めて 丸善ライブラリー
  • 和書
  • ポイントキャンペーン

ソフト・エッジ - ソフトウェア開発の科学を求めて 丸善ライブラリー

国立情報学研究所【監修】/中島 震/みわ よしこ【著】

  • 価格 ¥836(本体¥760)
  • 丸善出版(2013/03発売)
  • ポイント 14pt
  • 提携先に在庫あり【僅少】 (通常、5~7日程度で出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
オブジェクト指向最前線 〈2002〉 - 情報処理学会OO 2002シンポジウム
  • 和書
  • ポイントキャンペーン

オブジェクト指向最前線 〈2002〉 - 情報処理学会OO 2002シンポジウム

中島 震/三ツ井 欽一【編】

  • 近代科学社(2002/09発売)
  • ご注文いただけません
ソフトウェア工学の基礎 〈16〉 レクチャーノート/ソフトウェア学
  • 和書
  • ポイントキャンペーン

ソフトウェア工学の基礎 〈16〉 レクチャーノート/ソフトウェア学

中島 震/鷲崎 弘宜【編】

  • 価格 ¥6,600(本体¥6,000)
  • 近代科学社(2009/11発売)
  • ポイント 120pt
  • お取り寄せ(通常、およそ1~3週間で出荷)
    ※品切れ等で入手できない場合がございます。
    ※店舗受取サービス対象外商品
SPINモデル検査 - 検証モデリング技法
  • 和書
  • 電子版あり
  • ポイントキャンペーン

SPINモデル検査 - 検証モデリング技法

中島 震【著】

  • 価格 ¥4,180(本体¥3,800)
  • 近代科学社(2008/04発売)
  • ポイント 76pt
  • ウェブストア在庫あり(通常、ご注文翌日~2日後に出荷)
    ※納期遅延や在庫切れの場合も稀にございます。
    ※正確な在庫状況は書名をクリックしてご確認ください。
Bメソッドによる形式仕様記述 - ソフトウェアシステムのモデル化とその検証 トップエスイー実践講座
  • 和書
  • 電子版あり
  • ポイントキャンペーン

Bメソッドによる形式仕様記述 - ソフトウェアシステムのモデル化とその検証 トップエスイー実践講座

中島 震【監修】/来間 啓伸【著】

  • 近代科学社(2007/12発売)
  • ご注文いただけません