新刊発売時に通知する
他の作品を検索
最新刊
並行システムの検証と実装
(2018/03/23)並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。
その他の本1
1
この著者の作品2
2
注目の新刊予報4
4
平和の国の島崎へ
(濱田轟天/瀬下猛 / 講談社)平和の国の島崎へ(9)(2025年05月22日)
次巻の発売日:8月22日 ~ 10月22日
デザート
(やまもり三香/旗谷澄生/森下suu/眞生みち/ななくま/しりもと/森野萌/琥珀よる/卯月ココ/森沢こまり/空垣れいだ/花芽宮るる/ことぶきりー/鳴沢すゆ/ナカガワパリ/しらやま琴 / 講談社)デザート 2025年7月号[2025年5月23日発売](2025年05月23日)
次巻の発売日:6月23日ごろ
岸辺露伴は動かない
(荒木飛呂彦 / 集英社)岸辺露伴は動かない 3(2025年05月19日)
次巻の発売日:2032年3月19日ごろ
塔の管理をしてみよう
(盧恩&雪笠(Friendly Land)/早秋/雨神 / KADOKAWA)塔の管理をしてみよう 25(2025年05月23日)
次巻の発売日:8月23日 ~ 9月23日
人気の作品8
8