Search Results for - Narrowed by: Drechsler, Rolf. author. - Springer Collection - Processor Architectures.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Drechsler$00252C$002bRolf.$002bauthor.$002509Drechsler$00252C$002bRolf.$002bauthor.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AONLINESPR$002509Springer$002bCollection$0026qf$003dSUBJECT$002509Subject$002509Processor$002bArchitectures.$002509Processor$002bArchitectures.$0026ps$003d300?
2024-06-24T20:56:00Z
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ent://SD_ILS/0/SD_ILS:2087238
2024-06-24T20:56:00Z
2024-06-24T20:56:00Z
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-24T20:56:00Z
2024-06-24T20:56:00Z
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/>