close
1.

電子ブック
ＥＢ
1. Ingredients for Successful System Level Design Methodology
by Hiren D. Patel, Sandeep K. Shukla
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
オンライン: http://dx.doi.org/10.1007/978-1-4020-8472-0
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Robustness and Usability in Modern Design Flows
by Gorschwin Fey, Rolf Drechsler
出版情報: Dordrecht : Springer Science + Business Media B.V, 2008
オンライン: http://dx.doi.org/10.1007/978-1-4020-6536-1
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. A Roadmap for Formal Property Verification
by Pallab DasGupta
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/978-1-4020-4758-9
所蔵情報: loading…