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 Specification Level = Concepts, Methods, and Algorithms / by: Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service) (書目-語言資料,印刷品) , [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]

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]

主題

Electronic circuits Electronic circuits. Application software. Embedded computer systems. Physics. Software architecture Electronic and Computer Engineering. Computer Appl. in Arts and Humanities. Control, Robotics, Mechatronics. Mathematical Logic and Formal Languages. Engineering. Software engineering Image processing. Engineering Design. Integrated circuits Mechatronics. Logic design Computer Hardware. Computer System Implementation. Decision making Computer-aided engineering. Microelectronics. Embedded Systems. Computer science. Electronics and Microelectronics, Instrumentation. Artificial Intelligence. Electronics Design and Verification. Aerospace engineering. Computer algorithms. Computer hardware description languages Integrated circuits. Control engineering. Signal processing. Internet of things. Quantum computing. Computer software Formal methods (Computer science) Computer engineering. Algebra, Boolean. Electronics. Natural language processing (Computer science) Electronic circuit design. Robotics. Decision trees. Circuits and Systems. Microprocessors. Astronautics. Logic design. Artificial intelligence. Logic Design. Cyber-physical systems, IoT. Electronic Circuits and Systems. Aerospace Technology and Astronautics. Signal, Image and Speech Processing. Architecture, Computer. Computer simulation. Computer-Aided Engineering (CAD, CAE) and Design. Applied and Technical Physics. Speech processing systems. Computer Science, general. Processor Architectures. Simulation and Modeling. Computer hardware.