Machine Learning in Cyber Trust

Security, Privacy, and Reliability

Tsai, Jeffrey J. P. Yu, Philip S. (EDT)

出版社：Springer 出版年月：2010年 10月
装丁：PAP 言語：ENG

税込価格：

36,962円

海外在庫あり 通常２～５週間で出荷

Compositional Verification of Concurrent and Real-Time Systems

The Springer International Series in Engineering and Computer Science

Juan, Eric Y. T. Tsai, Jeffrey J. P.

出版社：Springer-Verlag New York Inc 出版年月：2012年 10月
装丁：PAP 言語：ENG 版次：Reprint

税込価格：

23,846円

海外在庫あり 通常２～５週間で出荷