近代科学社の情報･通信･コンピュータ 通販
![並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/122/100000086600915122_10205.jpg)
並行システムの検証と実装 形式手法CSPに基づく高信頼並行システム開発入門（近代科学社） [電子書籍]
本位田 真一、東野 輝夫、磯部 祥尚2012/12/26
- ￥2,530
- 506 ゴールドポイント（20％還元）
- すぐ読めます
- プログラミング
- >
- プログラミング
![UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/124/100000086600915124_10205.jpg)
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証（近代科学社） [電子書籍]
本位田 真一、大須賀 昭彦、長谷川 哲夫...ほか2012/09/01
- ￥2,090
- 418 ゴールドポイント（20％還元）
- すぐ読めます
- プログラミング
- >
- プログラミング
![言語処理システムをつくる（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/071/100000086600915071_10205.jpg)
言語処理システムをつくる（近代科学社） [電子書籍]
言語処理学会 編、佐藤 理史2017/03/01
- ￥1,540
- 308 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![対話システムの作り方（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/601/889/109/100000086601889109_10205.jpg)
![Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/126/100000086600915126_10205.jpg)
Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証（近代科学社） [電子書籍]
本位田 真一、中島 震、来間 啓伸2007/12/01
- ￥1,980
- 396 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア
![形態素解析の理論と実装（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/131/100000086600915131_10205.jpg)
形態素解析の理論と実装（近代科学社） [電子書籍]
言語処理学会 編、工藤 拓2018/10/04
- ￥1,925
- 385 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![SPIN モデル検査 検証モデリング技法（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/117/100000086600915117_10205.jpg)
![ソフトウェア工学（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/110/100000086600915110_10205.jpg)
![テキスト処理の要素技術（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/601/280/686/100000086601280686_10205.jpg)
![効果的プログラム開発技法 第5版（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/112/100000086600915112_10205.jpg)
![AI事典 初版復刻版（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/601/042/639/100000086601042639_10205.jpg)
AI事典 初版復刻版（近代科学社） [電子書籍]
土屋 俊、中島 秀之、中川 裕志...ほか2020/03/27
- ￥499
- 100 ゴールドポイント（20％還元）
- すぐ読めます
- コンピュータ･情報処理
- >
- 人工知能･知的情報処理
![組込み開発のための実践的プログラミング（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/092/100000086600915092_10205.jpg)
組込み開発のための実践的プログラミング（近代科学社） [電子書籍]
鷹合 大輔、田村 修2018/04/03
- ￥1,485
- 297 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![複雑ネットワーク 基礎から応用まで（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/115/100000086600915115_10205.jpg)
複雑ネットワーク 基礎から応用まで（近代科学社） [電子書籍]
増田 直紀、今野 紀雄2010/04/26
- ￥1,540
- 308 ゴールドポイント（20％還元）
- すぐ読めます
- ネットワーク･通信
- >
- ネットワーク･通信
![Rubyで数独:AIプログラミング入門（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/566/135/100000086600566135_10205.jpg)
Rubyで数独:AIプログラミング入門（近代科学社） [電子書籍]
佐藤 理史2017/09/04
- ￥1,320
- 264 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![改訂新版ファーストステップ ITの基礎（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/602/024/762/100000086602024762_10205.jpg)
![発見・創発できる人工知能 Otter 論理パズルからのアプローチ（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/095/100000086600915095_10205.jpg)
発見・創発できる人工知能 Otter 論理パズルからのアプローチ（近代科学社） [電子書籍]
安藤 類央、武藤 佳恭2018/08/30
- ￥2,035
- 407 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/106/100000086600915106_10205.jpg)
Event-B リファインメント・モデリングに基づく形式手法（近代科学社） [電子書籍]
中島 震、來間 啓伸2015/02/26
- ￥2,090
- 418 ゴールドポイント（20％還元）
- すぐ読めます
- 情報･コンピュータ産業
- >
- 白書･報告書･年鑑･事典
![ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎（近代科学社） [電子書籍]](https://image.yodobashi.com/product/100/000/086/600/915/129/100000086600915129_10205.jpg)
ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎（近代科学社） [電子書籍]
本位田 真一、田中 譲、磯部 祥尚...ほか2008/09/30
- ￥2,090
- 418 ゴールドポイント（20％還元）
- すぐ読めます
- ソフトウェア
- >
- ソフトウェア