Search Results for Große, Daniel.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGro$0025C3$00259Fe$00252C$002bDaniel.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-06-01T15:40:24Z
Quality-Driven SystemC Design
ent://SD_ILS/0/SD_ILS:205136
2026-06-01T15:40:24Z
2026-06-01T15:40:24Z
Author Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3631-5">http://dx.doi.org/10.1007/978-90-481-3631-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017
ent://SD_ILS/0/SD_ILS:486574
2026-06-01T15:40:24Z
2026-06-01T15:40:24Z
Author Große, Daniel. editor. Vinco, Sara. editor. Patel, Hiren. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02215-0">https://doi.org/10.1007/978-3-030-02215-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
ent://SD_ILS/0/SD_ILS:607564
2026-06-01T15:40:24Z
2026-06-01T15:40:24Z
Author Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83093-8">https://doi.org/10.1007/978-3-031-83093-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enhanced Virtual Prototyping for Heterogeneous Systems
ent://SD_ILS/0/SD_ILS:528279
2026-06-01T15:40:24Z
2026-06-01T15:40:24Z
Author Hassan, Muhammad. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-05574-4">https://doi.org/10.1007/978-3-031-05574-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Structurally Complex Multipliers
ent://SD_ILS/0/SD_ILS:527041
2026-06-01T15:40:24Z
2026-06-01T15:40:24Z
Author Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24571-8">https://doi.org/10.1007/978-3-031-24571-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
ent://SD_ILS/0/SD_ILS:486411
2026-06-01T15:40:24Z
2026-06-01T15:40:24Z
Author Chandrasekharan, Arun. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98965-5">https://doi.org/10.1007/978-3-319-98965-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>