close
1.

電子ブック
ＥＢ
1. Fault-Tolerance Techniques for SRAM-based FPGAs
by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis
出版情報: Boston, MA : Springer, 2006
オンライン: http://dx.doi.org/10.1007/978-0-387-31069-5
所蔵情報: loading…
2.

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

電子ブック
ＥＢ
3. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
edited by Vassili
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2005
シリーズ名: Lecture Notes in Computer Science ; 3728
オンライン: http://dx.doi.org/10.1007/11556930
所蔵情報: loading…
4.

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

電子ブック
ＥＢ
5. New Algorithms, Architectures and Applications for Reconfigurable Computing
edited by Patrick Lysaght, Wolfgang Rosenstiel
出版情報: Boston, MA : Springer, 2005
オンライン: http://dx.doi.org/10.1007/1-4020-3128-9
所蔵情報: loading…