今話題の本
図書館マップ
本のレシピ
読みたいリスト
もっと見る
▼
読みたいリスト
書評
カーリルローカル
カーリルタッチ
図書館スタンプラリー
ログイン・新規登録
設定
▼
お気に入り図書館
高度な検索設定
ログイン
ログイン
図書館の設定
今話題の本
図書館マップ
本のレシピ
読みたいリスト
書評
ローカル
スタンプラリー
さがす
お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ
現在地から探す
形式手法入門 : ロジックによるソフトウェア設計
中島震著
読みたい
読んだ
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
中島震著
読みたい
読んだ
AIリスク・マネジメント : 信頼できる機械学習ソフトウェアへの工学的方法論
中島震著
読みたい
読んだ
ソフトウェア工学から学ぶ機械学習の品質問題
中島震著
読みたい
読んだ
オブジェクト指向最前線 : 情報処理学会OO2002シンポジウム 2002
中島震, 三ツ井欽一 編
読みたい
読んだ
ソフト・エッジ : ソフトウェア開発の科学を求めて
中島震, みわよしこ著
読みたい
読んだ
優れたデザインにとってコンセプトが重要な理由 : 使いやすく安心なソフトウェアを作るために
Daniel Jackson著 ; 中島震訳
読みたい
読んだ
Event-B : リファインメント・モデリングに基づく形式手法
中島震, 來間啓伸共著
読みたい
読んだ
ソフトウェア工学
中谷多哉子, 中島震編著
読みたい
読んだ
デジタル・プラットフォーム解体新書
高梨 千賀子/福本 勲/中島震/高梨 千賀子/福本 勲/中島震
読みたい
読んだ
1
2