close
1.

電子ブック
ＥＢ
1. Test Pattern Generation using Boolean Proof Engines
by Rolf Drechsler, Stephan Eggersgluβ, Gorschwin Fey, Daniel Tille
出版情報: Dordrecht : Springer Netherlands, 2009
オンライン: http://dx.doi.org/10.1007/978-90-481-2360-5
所蔵情報: 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. Advanced BDD Optimization
by Rudiger Ebendt, Gorschwin Fey, Rolf Drechsler
出版情報: Boston, MA : Springer, 2005
オンライン: http://dx.doi.org/10.1007/b107399
所蔵情報: loading…