ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。
　本書は、この手法の一つVDMとオブジェクト指向記述言語VDM++について実践的に解説する。ソフトウェア開発者、研究者、大学院生必読の書である。

会員600余社を超る情報サービス産業協会が送る業界基準書!!
　情報システムには、多様なステークホルダが関わるため、現場において要求工学を実践するためのガイドラインが求められている。
　本書は、要求工学のグローバル知識に基づき、現場視点から技術者が参画して、実践するガイドラインとして要求知識体系をまとめた。
　システム開発者、ユーザ、製品企画など「要求」に携わる方必携書。

現代社会で必須の「確率論」を、測度論を使わず易しく学ぶ!!
　本書は、工学系はむろん経済系においても必須知識となっている「確率論」を難関な測度論を使わず解説する。具体的な応用面を紹介しつつも、重要な定理の証明は極力載せ、高校までの微分積分学の知識で理解できるよう工夫している。
　また、演習問題の詳細な解答も掲載している。理工系・社会学系学部生はもちろん、社会人の独習書としても最適な書である。

戸川隼人が贈るプログラミングの面白さ!!
　言語解説の名人である著者が、これまでの自著のエッセンスを盛り込んで、GUIプログラミングの初歩から実用に到るまでを解説する。
　だれもがスムーズに読み進められ、理解できるよう具体性のある展開になっている。また、著者のWebページからサンプルプログラムをとることが出来、すぐに実行できるので理解が早い。

86の話題で紡ぐ、道の生い立ちから、最新スマートウエイまで
本書は道についての様々な疑問や興味をひく話題を、一般読者向けに大変分かり易く解説。
道に関する疑問を、道の生い立ち､道路を造る､守る､利用する､活用するといった視点で、見開きQ&A形式で解き明かし､道全体を読者が理解出来るよう工夫してある。
また、｢道の夢｣を終章に配し、道づくりにかける人々の思いを熱く語っている。

最先端研究者必携シリーズ！！
ナチュラルコンピューティング・シリーズとは、自然界の様々な現象を研究し「情報処理」の全く新しい地平を切り開く未踏領域の知識を集めた本邦初のシリーズである。
本巻は、DNAナノエンジニアリングについて、基礎から最先端の研究までを解説。読者は、情報科学、材料科学、生命科学、システム工学等の学生・研究者である。

最先端研究者必携シリーズ！！

ナチュラルコンピューティング・シリーズとは、自然界の様々な現象を研究し「情報処理」の全く新しい地平を切り開く未踏領域の知識を集めた本邦初のシリーズである。
第１巻『光計算』は光物理現象を演算系とする情報処理を考え、光を用いる計算ならではの独自計算方式やアイデアを取り上げ、その基本概念や手法を説明。応用例も紹介する。

太陽を見たい!　知りたい!
激しく絶え間ない変化を見せるダイナミックな天体、太陽の知られざる姿に迫る。

本書は、太陽研究で世界をリードしている日本の研究所・大学・人工衛星「ひので」、「ようこう」等から選りすぐりの太陽画像を集めた写真集である。画像の凄さを理解するための専門知識も得られるよう詳細な解説もつけた。
専門家はもとより、天文ファン、気象ファンなど多くの一般読者にも見て頂けるよう図鑑的要素も入れてある。
※本書は、『写真集太陽─身近な恒星の最新像─』、裳華房様の増補改訂版にあたる。

名著誕生!! 読者に自信を持ってお薦めできる!

【本書は、多くの大学で教科書採用を頂いている著者の集大成といえる書である。すでに、刊行前にして多数の大学で来年度の教科書指定をいただいており、読者からの支持の証左ともいえる。
現代の学生気質とそのスキルにマッチするよう次の工夫がされている。
・前提知識 高校数学2Bまで
・演習問題を多数掲載
・演習問題の解答も完全解に近いものを掲載←独習も可能
・12章で各章基本8頁構成←半期でも通年でも利用可能
・見開き2頁で項目をまとめる
・本文記述を簡潔にし、補足的内容は側注に記述
・数式を丸暗記するのではなく、その本質を理解することにより、数式を実際に利用する局面で戸惑わない。

真実は教室にはない！ 現場にあるのだ！

「土木地質」とは、建設や災害に関わる地質現象を詳細に観察しその成因を実証していく経験科学である。ゆえに多くの「観察・検討+知識+経験」の積み重ねを必要とする。
本書は著者らが、今までに現場=フィールドで体得したその知恵を若い技術者に「秘伝」として伝えようとするものである。表面的な理解でなく、そこに至る思考過程が理解できるよう工夫してある。
【特徴】
・思考過程が理解できる⇒適切かつ迅速に対応できる。
・オムニバス形式⇒必要とするものから習得できる。