最新刊
並行システムの検証と実装
(2018/03/23)並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
その他の本5
5
この著者の作品2
2
近代科学社の作品12
12
注目の新刊予報4
4
DEAD Tube ~デッドチューブ~
(北河トウタ/山口ミコト / 秋田書店)DEAD Tube 〜デッドチューブ〜 26(2025年05月20日)
次巻の発売日:10月20日 ~ 2026年4月20日
平和の国の島崎へ
(濱田轟天/瀬下猛 / 講談社)平和の国の島崎へ(9)(2025年05月22日)
次巻の発売日:8月22日 ~ 10月22日
岸辺露伴は動かない
(荒木飛呂彦 / 集英社)岸辺露伴は動かない 3(2025年05月19日)
次巻の発売日:2032年3月19日ごろ
人気の作品8
8