Languages
Jump To : Overview | Titles | Subjects

Drechsler, Rolf.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Exact Design of Digital Microfluidic Biochips by: Keszocze, Oliver.; SpringerLink (Online service); Drechsler, Rolf.; Wille, Robert. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
In-Memory Computing = Synthesis and Optimization / by: Shirinzadeh, Saeideh.; Drechsler, Rolf.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Formal specification level = concepts, methods, and algorithms / by: SpringerLink (Online service); Drechsler, Rolf.; Soeken, Mathias. (Language materials, printed)
Automated Analysis of Virtual Prototypes at the Electronic System Level = Design Understanding and Applications / by: Goli, Mehran.; SpringerLink (Online service); Drechsler, Rolf. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Robustness and Usability in Modern Design Flows by: Fey, Gorschwin.; SpringerLink (Online service); Drechsler, Rolf. (Language materials, printed)
Advanced BDD Optimization by: Drechsler, Rolf.; Ebendt, Rudiger.; Fey, Gorschwin.; SpringerLink (Online service) (Language materials, printed)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by: Wille, Robert.; Drechsler, Rolf.; Przigoda, Judith.; SpringerLink (Online service); Przigoda, Nils. (Language materials, printed) , [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) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal Specification Level = Concepts, Methods, and Algorithms / by: Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service) (Language materials, printed) , [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. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Show more
Subjects
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.
 
 
Change password
Login