Search Results for - Narrowed by: Drechsler, Rolf. author. - Electronics.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Drechsler$00252C$002bRolf.$002bauthor.$002509Drechsler$00252C$002bRolf.$002bauthor.$0026qf$003dSUBJECT$002509Subject$002509Electronics.$002509Electronics.$0026ps$003d300$0026isd$003dtrue?
2024-06-25T08:03:13Z
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ent://SD_ILS/0/SD_ILS:2087238
2024-06-25T08:03:13Z
2024-06-25T08:03:13Z
by Przigoda, Nils. author.<br/><a href="https://doi.org/10.1007/978-3-319-72814-8">https://doi.org/10.1007/978-3-319-72814-8</a><br/>Format: Electronic Resources<br/>
Reversible and Quantum Circuits Optimization and Complexity Analysis
ent://SD_ILS/0/SD_ILS:2088245
2024-06-25T08:03:13Z
2024-06-25T08:03:13Z
by Abdessaied, Nabila. author.<br/><a href="https://doi.org/10.1007/978-3-319-31937-7">https://doi.org/10.1007/978-3-319-31937-7</a><br/>Format: Electronic Resources<br/>
Robustness and Usability in Modern Design Flows
ent://SD_ILS/0/SD_ILS:502091
2024-06-25T08:03:13Z
2024-06-25T08:03:13Z
by Fey, Görschwin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6536-1">http://dx.doi.org/10.1007/978-1-4020-6536-1</a><br/>Format: Electronic Resources<br/>
Advanced BDD Optimization
ent://SD_ILS/0/SD_ILS:504397
2024-06-25T08:03:13Z
2024-06-25T08:03:13Z
by Ebendt, Rüdiger. author.<br/><a href="http://dx.doi.org/10.1007/b107399">http://dx.doi.org/10.1007/b107399</a><br/>Format: Electronic Resources<br/>