本: 萩谷 昌己
計算と自然
パソコン・システム開発2025-03-20
コンピューティング
パソコン・システム開発2019-03-20
SPINによる設計モデル検証
文庫2018-04-13
SPINによる設計モデル検証：モデル検査の実践ソフトウェア検証 トップエスイー実践講座
Kindle版2018-03-23
自然計算へのいざない：ナチュラルコンピューティング・シリーズ
文庫2017-10-14
論理と計算のしくみ (岩波オンデマンドブックス)
オンデマンド (ペーパーバック)2017-02-10
情報工学 情報システム (東京大学工学教程)
単行本（ソフトカバー）2016-11-30
自然計算へのいざない：ナチュラルコンピューティング・シリーズ
Kindle版2016-09-27
DNAナノエンジニアリング：ナチュラルコンピューティング・シリーズ
Kindle版2016-09-27
可逆計算：ナチュラルコンピューティング・シリーズ
Kindle版2016-09-27
カオスニューロ計算：ナチュラルコンピューティング・シリーズ
Kindle版2016-09-27
量子計算：ナチュラルコンピューティング・シリーズ
Kindle版2016-09-27
光計算：ナチュラルコンピューティング・シリーズ
Kindle版2016-09-27
自然計算へのいざない (ナチュラルコンピューティング・シリーズ)
単行本2015-12-03
量子計算 (ナチュラルコンピューティング・シリーズ)
単行本2015-10-13