HyLib 整合性圖書館自動化系統

Drechsler, Rolf.(作者(個人/團體)) ，共查得21 件。

Advanced Boolean techniques selected papers from the 13th International Workshop on Boolean Problems / edited by Rolf Drechsler, Mathias Soeken. 2020.
Advanced Boolean techniques selected papers from the 15th International Workshop on Boolean Problems / edited by Rolf Drechsler, Sebastian Huhn. 2023.
Advanced formal verification edited by Rolf Drechsler. c2004.
Advanced logic synthesis edited by Andre Inacio Reis, Rolf Drechsler. 2018.
Automated analysis of virtual prototypes at the electronic system level design understanding and applications / by Mehran Goli, Rolf Drechsler. 2020.
Automatic methods for the refinement of system models from the specification to the implementation / by Julia Seiter, Robert Wille, Rolf Drechsler. 2017.
Design automation techniques for approximation circuits verification, synthesis and test / by Arun Chandrasekharan, Daniel GroBe, Rolf Drechsler. 2019.
Enhanced virtual prototyping for heterogeneous systems by Muhammad Hassan, Daniel Große, Rolf Drechsler. 2023.
Exact design of digital microfluidic biochips by Oliver Keszocze, Robert Wille, Rolf Drechsler. 2019.
Formal and practical techniques for the complex system design process using virtual prototypes better early than never / by Pascal Pieper, Rolf Drechsler. 2024.
1/3
下一頁
重新搜尋
全部 圖書 期刊 多媒體
縮小搜尋範圍
出版年區間 :  年 ~ 年
特藏 :
語文 :