Wille, Robert.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Exact Design of Digital Microfluidic Biochips
by:
Wille, Robert.; Keszocze, Oliver.; SpringerLink (Online service); Drechsler, Rolf.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Languages, Design Methods, and Tools for Electronic System Design = Selected Contributions from FDL 2016 /
by:
Wille, Robert.; Fummi, Franco.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
by:
Przigoda, Nils.; Wille, Robert.; Przigoda, Judith.; Drechsler, Rolf.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
Vos, Alexis de.; Workshop on the Preservation of Stability under Discretization ((2001 :); Wille, Robert.; SpringerLink (Online service)
(Language materials, printed)
Design Automation for Field-coupled Nanotechnologies
by:
Drechsler, Rolf.; SpringerLink (Online service); Walter, Marcel.; Sill Torres, Frank.; Wille, Robert.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Languages, Design Methods, and Tools for Electronic System Design = Selected Contributions from FDL 2015 /
by:
Wille, Robert.; Drechsler, Rolf.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
Wille, Robert.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Drechsler, Rolf.
(Language materials, printed)
Introducing Design Automation for Quantum Computing
by:
Zulehner, Alwin.; SpringerLink (Online service); Wille, Robert.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Designing Droplet Microfluidic Networks = A Toolbox for Designers /
by:
SpringerLink (Online service); Grimmer, Andreas.; Wille, Robert.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Compact representations for the design of quantum logic
by:
Niemann, Philipp.; SpringerLink (Online service); Wille, Robert.
(Language materials, printed)
High Performance Simulation for Industrial Paint Shop Applications
by:
SpringerLink (Online service); Wille, Robert.; Verma, Kevin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Show more
Fewer
Subjects
Electronics and Microelectronics, Instrumentation.
Fluid mechanics.
Formal methods (Computer science)
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
Control, Robotics, Mechatronics.
Electronic circuits.
Electronics.
Computer science
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Quantum computers.
Computer logic
Biomedical Engineering and Bioengineering.
Electronic circuit design.
Automotive Engineering.
Engineering Fluid Dynamics.
Quantum Computing.
Embedded computer systems.
Control engineering.
Electronics Design and Verification.
Engineering.
Computer hardware description languages
Robotics.
Computer-Aided Engineering (CAD, CAE) and Design.
Software engineering
Quantum computing.
Physics.
Programming Languages, Compilers, Interpreters.
Quantum Physics.
Software architecture
Processor Architectures.
Quantum logic.
Electronic Circuits and Systems.
Computer software
Computer-aided engineering.
Software Engineering.
Quantum Information Technology, Spintronics.
Microelectronics.
Algorithm Analysis and Problem Complexity.
Circuits and Systems.
Microprocessors.
Biomedical engineering.
Computer Science.
Mechatronics.
Automotive engineering.
Embedded Systems.