「近代科学社」の作品一覧

並行システムの検証と実装

UPPAALによる性能モデル検証

VDM++による形式仕様記述

要求工学概論

SPINによる設計モデル検証

実践的ソフトウェア工学

ソフトウェア科学基礎

ソフトウェアパターン

Bメソッドによる形式仕様記述

Linked Data

アルゴリズムイントロダクション 第3版 総合版：世界標準MIT教科書

IT研究者のひらめき本棚：ビブリオ・トーク：私のオススメ

アジャイル開発への道案内

世界標準MIT教科書 Python言語によるプログラミングイントロダクション　第2版：データサイエンスとアプリケーション

C言語で学ぶ　コンピュータ科学とプログラミング

グラフ・ネットワークアルゴリズムの基礎：数理とCプログラム

アルゴリズムの基礎とデータ構造：数理とCプログラム

ストラング：計算理工学：世界標準MIT教科書

はじめてのMATLAB

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

あたらしい数理最適化：Python言語とGurobiで解く

プロジェクトの概念：プロジェクトマネジメントの知恵に学ぶ

効果的プログラム開発技法　第5版

Python言語によるビジネスアナリティクス：実務家のための 最適化・統計解析・機械学習

IT技術者の長寿と健康のために

実践ロボットプログラミング

人工知能とは

データ分析とデータサイエンス

コンピュータ科学とプログラミング入門：コンピュータとアルゴリズムの基礎

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

JavaとUMLで学ぶオブジェクト指向プログラミング

数学の道具箱 Mathematica 基本編

データサイエンティスト・ハンドブック

Python言語によるプログラミングイントロダクション

Rubyで数独　AIプログラミング入門

超実践 アンサンブル機械学習

深層学習