Kropf Books
Introduction To Formal Hardware Verification
By Thomas, Thomas Kropf, Kropf, Dr. Thomas Kropf (Auth.)
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verificati...
Read More
E-Technologies: Innovation In An Open World: 4th International Conference, Mcetech 2009, Ottawa, Canada, May 4-6, 2009, Proceedings
By Michael, Weiss, Babin, GILBERT, PETER, Gilbert Babin, Weiss, Michael, Kropf, International MCETECH Conference On E-Technologies, Babin, Gilbert, Kropf, Peter
This volume constitutes the proceedings of the 4th International Conference on E-Technologies, MCETECH 2009, held in Ottawa, Canada, during May 4-6, 2009. The 23 full and 4 short papers included in...
Read More
Organische Peroxo-Verbindungen (Teilband 1 Und 2) || F) Α-Hetero-Substituierte Alkylhydroperoxide Einschließlich Α-Hetero-Substituierter Alkyl-Metall- Und -Metalloid-Peroxide Sowie Der Ester Α-Hetero-Substituierter Alkylhydroperoxide Mit Anorganischen Säuren (I)
By Dogan, Turner., Wolf, IVANOV, König, Prescher, Zeller, Nürnberg, Margaretha, Hennig, Krebs, Pospisil, Kropf, Bolick, Dahlmann, Hagel, Gab, Kalinowski, De Meijere, WEIBERG, Blaschette, Dankowski, Edl, Griesbaum, Maher-Detweiler, Munke, Rüchardt, Siegmeier, Torkler, Waniczek
Read More