お知らせ

2018年12月28日
1月新刊のご案内

複雑・多様化するシステムの形式検証のために

モデル検査に代表されるように、現実のシステムにも適用可能になってきた
形式検証を理解し、使いこなすための理論的背景について解説します。
離散事象システム、実時間システム、ハイブリッドシステムなど、さまざまな
システムに対する形式的モデル化手法と、その解析方法が網羅された1冊です。

北陸先端科学技術大学院大学 平石邦彦(著)

形式的モデル化―離散事象/実時間/ハイブリッドシステムのモデル化と解析―


 

スマート農業・精密農業への第一歩

リモートセンシング・GIS・GPSといった空間情報テクノロジーについて
わかりやすく説明するとともに、手軽に始められるものから本格的な利用まで、
実際の事例を挙げて紹介します。

東京大学特任研究員 井上吉雄(編著)  他5名

農業と環境調査のためのリモートセンシング・GIS・GPS活用ガイド


 

必要な知識を厳選し、ていねいに解説

電力系統の構成と種々の計算手法について、基本的な内容に絞ってコンパクトに
まとめたテキストです。配電線路の計算や故障計算法などに必要な公式を、
電気のしくみに基づきていねいに解説します。

鹿児島大学名誉教授 山口純一(著)  鹿児島高専 中村格(著)
宮崎大学 湯地敏史(著)

送配電の基礎(第2版)


 

新刊案内バックナンバー
12月新刊のご案内 |11月新刊のご案内 |10月新刊のご案内 |09月新刊のご案内 |08月新刊のご案内 |
07月新刊のご案内 |06月新刊のご案内 |05月新刊のご案内 |04月新刊のご案内 |03月新刊のご案内 |

続きを読む...

2018年12月19日
年末年始の休業のお知らせ

2018年12月29日(土)~2019年1月6日(日)の間、弊社は休業させていただきます。

12月27日(木)までに頂いたご注文は年内に発送いたします。

12月28日(金)以降のご注文は、1月7日(月)からの出荷となります。

ご不便をおかけしますが、何卒よろしくお願いいたします。

営業・宣伝マネジメント部

続きを読む...