Drechsler, Rolf.
概要
作品: | 1 作品在 4 項出版品 1 種語言 |
---|
書目資訊
Exact Design of Digital Microfluidic Biochips
by:
Keszocze, Oliver.; SpringerLink (Online service); Drechsler, Rolf.; Wille, Robert.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
In-Memory Computing = Synthesis and Optimization /
by:
Shirinzadeh, Saeideh.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal specification level = concepts, methods, and algorithms /
by:
SpringerLink (Online service); Drechsler, Rolf.; Soeken, Mathias.
(書目-語言資料,印刷品)
Automated Analysis of Virtual Prototypes at the Electronic System Level = Design Understanding and Applications /
by:
Goli, Mehran.; SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Robustness and Usability in Modern Design Flows
by:
Fey, Gorschwin.; SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
Advanced BDD Optimization
by:
Drechsler, Rolf.; Ebendt, Rudiger.; Fey, Gorschwin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by:
Wille, Robert.; Drechsler, Rolf.; Przigoda, Judith.; SpringerLink (Online service); Przigoda, Nils.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
Drechsler, Rolf.; Kühne, Ulrich.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Specification Level = Concepts, Methods, and Algorithms /
by:
Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Advanced Boolean Techniques = Selected Papers from the 13th International Workshop on Boolean Problems /
by:
SpringerLink (Online service); Soeken, Mathias.; Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Design Automation for Field-coupled Nanotechnologies
by:
Walter, Marcel.; Wille, Robert.; Drechsler, Rolf.; Sill Torres, Frank.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Recent Findings in Boolean Techniques = Selected Papers from the 14th International Workshop on Boolean Problems /
by:
SpringerLink (Online service); Große, Daniel.; Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
High quality test pattern generation and boolean satisfiability
by:
Drechsler, Rolf.; Eggersgluss, Stephan.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reversible and quantum circuits = optimization and complexity analysis /
by:
Abdessaied, Nabila.; SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
Information Storage = A Multidisciplinary Perspective /
by:
Große, Cornelia S.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Test pattern generation using boolean proof engines
by:
SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
Enhanced Virtual Prototyping = Featuring RISC-V Case Studies /
by:
Herdt, Vladimir.; SpringerLink (Online service); Große, Daniel.; Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Reversible and Quantum Circuits = Optimization and Complexity Analysis /
by:
Drechsler, Rolf.; SpringerLink (Online service); Abdessaied, Nabila.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Advanced Logic Synthesis
by:
Drechsler, Rolf.; Reis, André Inácio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Natural Language Processing for Electronic Design Automation
by:
SpringerLink (Online service); Drechsler, Rolf.; Soeken, Mathias.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Noch analog oder lebst Du schon? = Mit Nœrdman durch die Welt von heute... und morgen /
by:
Stoppe, Jannis.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Wille, Robert.; Drechsler, Rolf.
(書目-語言資料,印刷品)
Languages, Design Methods, and Tools for Electronic System Design = Selected Contributions from FDL 2015 /
by:
Drechsler, Rolf.; Wille, Robert.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal System Verification = State-of the-Art and Future Trends /
by:
SpringerLink (Online service); Drechsler, Rolf.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Design Automation Techniques for Approximation Circuits = Verification, Synthesis and Test /
by:
Große, Daniel.; Drechsler, Rolf.; Chandrasekharan, Arun.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Design for Testability, Debug and Reliability = Next Generation Measures Using Formal Techniques /
by:
Huhn, Sebastian.; Drechsler, Rolf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
更多
較少的
主題
Signal processing.
Electronic circuits
Electronic circuits.
Application software.
Embedded computer systems.
Internet of things.
Physics.
Software architecture
Electronic and Computer Engineering.
Computer Appl. in Arts and Humanities.
Quantum computing.
Computer software
Formal methods (Computer science)
Computer engineering.
Control, Robotics, Mechatronics.
Algebra, Boolean.
Electronics.
Natural language processing (Computer science)
Mathematical Logic and Formal Languages.
Electronic circuit design.
Engineering.
Robotics.
Software engineering
Decision trees.
Image processing.
Engineering Design.
Integrated circuits
Circuits and Systems.
Microprocessors.
Mechatronics.
Logic design
Astronautics.
Logic design.
Computer Hardware.
Computer System Implementation.
Artificial intelligence.
Decision making
Logic Design.
Cyber-physical systems, IoT.
Electronic Circuits and Systems.
Computer-aided engineering.
Microelectronics.
Aerospace Technology and Astronautics.
Signal, Image and Speech Processing.
Architecture, Computer.
Embedded Systems.
Computer simulation.
Computer science.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Applied and Technical Physics.
Speech processing systems.
Artificial Intelligence.
Electronics Design and Verification.
Aerospace engineering.
Computer algorithms.
Computer hardware description languages
Computer Science, general.
Processor Architectures.
Integrated circuits.
Control engineering.
Simulation and Modeling.
Computer hardware.