close
1.

電子ブック
ＥＢ
1. Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
by Gaurav Singh, Sandeep K. Shukla
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6481-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
edited by Sandeep K. Shukla, Jean-Pierre Talpin
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2010
オンライン: http://dx.doi.org/10.1007/978-1-4419-6400-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. 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…