Computer Science Library 17

「数値計算入門[新訂版]」

河村哲也(お茶の水女子大学教授)　著

定価：1,782円（本体1,650円+税）
発行：サイエンス社
発行日：2018-05-25
ISBN 978-4-7819-1421-3 ／ A5判／176頁

SDB Digital Books 別巻4

「プログラミングの基礎【電子版】」

浅井健一(お茶の水女子大学准教授)　著

定価：2,484円（本体2,300円+税）
発行：サイエンス社
発行日：2018-02-25
ISBN 978-4-7819-9932-6 ／ 電子書籍判／284頁

Information & Computing 117

「やさしい 計算理論」
〜 有限オートマトンからチューリング機械まで 〜

丸岡　章(東北大学名誉教授)　著

定価：2,052円（本体1,900円+税）
発行：サイエンス社
発行日：2017-12-10
ISBN 978-4-7819-1413-8 ／ A5判／288頁

ライブラリ 情報学 コア・テキスト 13

モデルの記述と検証のための
「プログラミング入門」
〜 CafeOBJ による仕様検証 〜

二木厚吉(北陸先端科学技術大学院大学名誉教授)　著

定価：2,160円（本体2,000円+税）
発行：サイエンス社
発行日：2017-09-25
ISBN 978-4-7819-1407-7 ／ A5判／208頁

SDB Digital Books 別巻2

「計算量理論II【電子版】」
〜 P≠NP 予想の解決に向けて：近似/並列/確率性アルゴリズム 〜

守屋悦朗(早稲田大学名誉教授)　著

定価：2,700円（本体2,500円+税）
発行：サイエンス社
発行日：2017-09-10
ISBN 978-4-7819-9929-6 ／ 電子書籍判／329頁