close
1.

電子ブック
ＥＢ
1. VLSI Physical Design: From Graph Partitioning to Timing Closure
by Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
オンライン: http://dx.doi.org/10.1007/978-90-481-9591-6
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. More than Moore : Creating High Value Micro/Nanoelectronics Systems
edited by Guo Qi Zhang, Alfred Roosmalen
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-75593-9
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic Synthesis for FSM-Based Control Units
by Alexander Barkalov, Larysa Titarenko
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Electrical Engineering ; 53
オンライン: http://dx.doi.org/10.1007/978-3-642-04309-3
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Logic Synthesis for Compositional Microprogram Control Units
edited by Alexander Barkalov, Larysa Titarenko
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Lecture Notes Electrical Engineering ; 22
オンライン: http://dx.doi.org/10.1007/978-3-540-69285-0
所蔵情報: loading…
5.

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

電子ブック
ＥＢ
6. Taxonomies for the Development and Verification of Digital Systems
edited by Brian Bailey, Grant Martin, Thomas Anderson
出版情報: Boston, MA : Springer Science+Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/b104217
所蔵情報: loading…