【Kindleセール】2025/07/08セール開始のKindle本

ソフトウェア工学の基礎 31 レクチャーノート／ソフトウェア学 第50巻

戸田 航史 編集, 藤原 賢二 編集

近代科学社Digital

￥4,312

2,156ポイント還元(50％)

実質￥2,156(50％OFF)

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

高梨 千賀子 編集, 福本 勲 編集, 中島 震 編集

近代科学社

￥2,695

1,348ポイント還元(50％)

実質￥1,347(50％OFF)

おすすめ！

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

中島 震 著

近代科学社

￥4,180

￥4,096

￥84(2％)OFF

2,048ポイント還元(50％)

実質￥2,048(51％OFF)

ソフトウェア科学基礎：最先端のソフトウェア開発に求められる数理的基礎 トップエスイー基礎講座

磯部 祥尚 著, 粂野 文洋 著, 櫻庭 健年 著, 田口 研治 著, 本位田 真一 監修, 田中 譲 監修

近代科学社

￥4,180

2,090ポイント還元(50％)

実質￥2,090(50％OFF)

TEXTBOOK 情報セキュリティ

林 隆史 著, 林 智子 著, 宮北 和之 著, 中野 敬介 著

近代科学社Digital

￥2,264

1,132ポイント還元(50％)

実質￥1,132(50％OFF)

Microsoft Office 2021を使った 情報リテラシーの基礎

切田 節子 著, 新 聖子 著, 山岡 英孝 著, 乙名 健 著, 長山 恵子 著

近代科学社

￥2,695

1,348ポイント還元(50％)

実質￥1,347(50％OFF)

おすすめ！

知能はどこから生まれるのか？：ムカデロボットと探す「隠れた脳」

大須賀 公一 著

近代科学社

￥2,530

￥2,479

￥51(2％)OFF

1,240ポイント還元(50％)

実質￥1,239(51％OFF)

おすすめ！

自然計算へのいざない：ナチュラルコンピューティング・シリーズ

小林 聡 著, 萩谷 昌己 著, 横森 貴 著, 山村 雅幸 著, 木賀 大介 著, 礒川 悌次郎 著, ペパー フェルディナンド 著, 西田 泰伸 著, 角谷 良彦 著, 本多 健太郎 著, 青野 真士 著, 小林 聡 編集, 萩谷 昌己 編集, 横森 貴 編集

近代科学社

￥3,740

1,870ポイント還元(50％)

実質￥1,870(50％OFF)

おすすめ！

JavaScriptによるアルゴリズム入門

山本 修身 著

近代科学社Digital

￥2,750

￥2,695

￥55(2％)OFF

1,348ポイント還元(50％)

実質￥1,347(51％OFF)

深層学習 Deep Learning

麻生 英樹 著, 安田 宗樹 著, 前田 新一 著, 岡野原 大輔 著, 岡谷 貴之 著, 久保 陽太郎 著, ボレガラ ダヌシカ 著, 神嶌 敏弘 編集, 人工知能学会 監修

近代科学社

￥3,773

1,887ポイント還元(50％)

実質￥1,886(50％OFF)

おすすめ！

情報を集める技術・伝える技術　情報社会の一員として備えておくべき基礎知識

飯尾 淳 著

近代科学社Digital

￥2,479

1,240ポイント還元(50％)

実質￥1,239(50％OFF)

可逆計算：ナチュラルコンピューティング・シリーズ

森田 憲一 著, 萩谷 昌己 編集, 横森 貴 編集

近代科学社

￥4,851

2,426ポイント還元(50％)

実質￥2,425(50％OFF)

おすすめ！

万能コンピュータ：ライプニッツからチューリングへの道すじ

マーティン デイヴィス 著, 沼田 寛 翻訳

近代科学社

￥3,881

1,941ポイント還元(50％)

実質￥1,940(50％OFF)

おすすめ！

CAEアプリが水処理現場を変える　DXで実現する連携強化と技術伝承 マルチフィジックス有限要素解析シリーズ

石森 洋行 著, 藤村 侑 著, 橋口 真宜 著, 米 大海 著

近代科学社Digital

￥2,695

1,348ポイント還元(50％)

実質￥1,347(50％OFF)

おすすめ！

Excel／Googleスプレッドシートで学ぶデータサイエンスの基礎

徳野 淳子 著, 田中 武之 著, 谷川 衝 著

近代科学社Digital

￥2,156

22ポイント還元(1％)

実質￥2,134(1％OFF)

SPINによる設計モデル検証：モデル検査の実践ソフトウェア検証 トップエスイー実践講座

吉岡 信和 著, 青木 利晃 著, 田原 康之 著, 本位田 真一 監修, 萩谷 昌己 監修

近代科学社

￥3,960

1,980ポイント還元(50％)

実質￥1,980(50％OFF)

VDM++による形式仕様記述：形式仕様入門・活用の第一歩 トップエスイー実践講座

石川 冬樹 著, 本位田 真一 監修, 荒木 啓二郎 監修

近代科学社

￥4,096

2,048ポイント還元(50％)

実質￥2,048(50％OFF)

おすすめ！

UPPAALによる性能モデル検証：リアルタイムシステムのモデル化とその検証 トップエスイー実践講座

長谷川 哲夫 著, 田原 康之 著, 磯部 祥尚 著, 本位田 真一 監修, 大須賀 昭彦 監修

近代科学社

￥4,180

￥4,096

￥84(2％)OFF

2,048ポイント還元(50％)

実質￥2,048(51％OFF)

おすすめ！

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

来間 啓伸 著, 本位田 真一 監修, 中島 震 監修

近代科学社

￥3,960

1,980ポイント還元(50％)

実質￥1,980(50％OFF)

おすすめ！

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

中島 震,來間 啓伸 著

近代科学社

￥4,180

2,090ポイント還元(50％)

実質￥2,090(50％OFF)