語系
GroBe, Daniel.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Design automation techniques for approximation circuits = verification, synthesis and test /
by:
Chandrasekharan, Arun.; GroBe, Daniel.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-電子資源)
Recent findings in Boolean techniques = selected papers from the 14th International Workshop on Boolean Problems /
by:
Drechsler, Rolf.; GroBe, Daniel.; SpringerLink (Online service); International Workshop on Boolean Problems (2020 :)
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2017 /
by:
GroBe, Daniel.; Vinco, Sara.; Patel, Hiren.; SpringerLink (Online service)
(書目-電子資源)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2018 /
by:
GroBe, Daniel.; SpringerLink (Online service); Kazmierski, Tom J.; Steinhorst, Sebastian.
(書目-電子資源)
主題
Software engineering
Software architecture
Electronics and Microelectronics, Instrumentation.
Electronic circuit design- Data processing
Computer-aided design
Algebra, Boolean
Cyber-physical systems, IoT.
Processor Architectures.
Formal methods (Computer science)
Approximation algorithms.
Circuits and Systems.
Computer hardware description languages
Computer software- Verification
System design.
Electronics and Microelectronics, instrumentation.