Daniel Große – författare
Visar alla böcker från författaren Daniel Große.
20 produkter
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2017
Av Daniel Große, Sara Vinco m. fl.
Inbunden, 2019
1429 kr
Lägg i varukorg
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
Av Arun Chandrasekharan, Daniel Große m. fl.
Häftad, 2019
719 kr
Lägg i varukorg
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2018
Av Tom J. Kazmierski, Sebastian Steinhorst m. fl.
Inbunden, 2019
719 kr
Lägg i varukorg
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2018
Av Tom J. Kazmierski, Sebastian Steinhorst m. fl.
Häftad, 2021
719 kr
Lägg i varukorg
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
Av Vladimir Herdt, Daniel Große m. fl.
Inbunden, 2020
1709 kr
Lägg i varukorg
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
Av Vladimir Herdt, Daniel Große m. fl.
Häftad, 2021
1219 kr
Lägg i varukorg
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
Av Rolf Drechsler, Daniel Große
Inbunden, 2021
1429 kr
Lägg i varukorg
Recent Findings in Boolean Techniques
Selected Papers from the 14th International Workshop on Boolean Problems
Av Rolf Drechsler, Daniel Große
Häftad, 2022
1309 kr
Lägg i varukorg
Enhanced Virtual Prototyping for Heterogeneous Systems
Av Muhammad Hassan, Daniel Große m. fl.
Inbunden, 2022
1569 kr
Lägg i varukorg
Enhanced Virtual Prototyping for Heterogeneous Systems
Av Muhammad Hassan, Daniel Große m. fl.
Häftad, 2023
1149 kr
Lägg i varukorg
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
Av Vladimir Herdt, Daniel Große m. fl.
Inbunden, 2023
1199 kr
Lägg i varukorg
Formal Verification of Structurally Complex Multipliers
Av Alireza Mahzoon, Daniel Große m. fl.
Inbunden, 2023
1289 kr
Lägg i varukorg
Formal Verification of Structurally Complex Multipliers
Av Alireza Mahzoon, Daniel Große m. fl.
Häftad, 2024
1289 kr
Lägg i varukorg
Erweiterte virtuelle Prototypen für heterogene Systeme
Av Muhammad Hassan, Daniel Große m. fl.
Inbunden, 2024
1139 kr
Lägg i varukorg
Versatile Hardware Analysis Techniques
From Waveform-based Analysis to Formal Verification
Av Lucas Klemmer, Daniel Große
Inbunden, 2025
1999 kr
Lägg i varukorg
Versatile Hardware Analysis Techniques
From Waveform-based Analysis to Formal Verification
Av Lucas Klemmer, Daniel Große
Häftad, 2026
1999 kr
Lägg i varukorg
Breaking Barriers in HW-to-SW Stack Verification
Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation
Av Christoph Hazott, Daniel Große
Inbunden, 2026
1779 kr
Kommande
Design Automation Techniques for Approximation Circuits
Verification, Synthesis and Test
Av Arun Chandrasekharan, Daniel Große m. fl.
Inbunden, 2018
719 kr
Lägg i varukorg