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. Regular Nanofabrics in Emerging Technologies : Design and Fabrication Methods for Nanoscale Digital Circuits
by M. Haykel Ben Jamaa
出版情報: Dordrecht : Springer Science+Business Media B.V., 2011
シリーズ名: Lecture Notes in Electrical Engineering ; 82
オンライン: http://dx.doi.org/10.1007/978-94-007-0650-7
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Functional Design Errors in Digital Circuits : Diagnosis, Correction and Repair
by Kai-hui Chang, Igor L. Markov, Valeria Bertacco
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Lecture Notes in Electrical Engineering ; 32
オンライン: http://dx.doi.org/10.1007/978-1-4020-9365-4
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Introduction to Embedded System Design Using Field Programmable Gate Arrays
by Rahul Dubey
出版情報: London : Springer London, 2009
オンライン: http://dx.doi.org/10.1007/978-1-84882-016-6
所蔵情報: 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…