 |
ペトリネットの基礎 | |
 |
ペトリネットの理論と実践 (システム制御情報ライブラリー) | |
 |
パターン認識と機械学習 上 - ベイズ理論による統計的予測 | |
 |
Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座 1) | |
 |
SPINモデル検査―検証モデリング技法 | |
 |
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) | |
 |
グラフ理論 (Springer‐Verlag GTMシリーズ) | |
 |
マルチエージェントシステムの基礎と応用―複雑系工学の計算パラダイム | |
 |
UML/MDAのためのオブジェクト制約言語OCL 第2版 | |
 |
ベイジアンネットワーク技術 ユーザ・顧客のモデル化と不確実性推論 |