Languages
Wille, Robert.
Overview
Works: | 0 works in 9 publications in 1 languages |
---|
Titles
Compact representations for the design of quantum logic
by:
Niemann, Philipp.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Towards a design flow for reversible logic
by:
Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(1998 :); SpringerLink (Online service); Vos, Alexis de.; Wille, Robert.
(Electronic resources)
Automatic methods for the refinement of system modelsfrom the specification to the implementation /
by:
Drechsler, Rolf.; Seiter, Julia.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Exact design of digital microfluidic biochips
by:
Drechsler, Rolf.; Keszocze, Oliver.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Designing droplet microfluidic networksa toolbox for designers /
by:
Grimmer, Andreas.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 /
by:
(1998 :); Fummi, Franco.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
High performance simulation for industrial paint shop applications
by:
SpringerLink (Online service); Verma, Kevin.; Wille, Robert.
(Electronic resources)
Introducing design automation for quantum computing
by:
SpringerLink (Online service); Wille, Robert.; Zulehner, Alwin.
(Electronic resources)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 /
by:
(1998 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(Electronic resources)
Subjects
Computer logic.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Fluid mechanics
High performance computing.
Control, Robotics, Mechatronics.
Logics and Meanings of Programs.
Software architecture
Microfluidics.
Biomedical Engineering and Bioengineering.
Computer architecture.
Logic programming.
Algorithm Analysis and Problem Complexity.
Computer software
Electronics and Microelectronics, Instrumentation.
Quantum Information Technology, Spintronics.
Computer logic
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Processor Architectures.
System design
Digital electronics.
Engineering Fluid Dynamics.
Automotive Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Quantum computing.
Quantum Computing.
Computer science
Computer hardware description languages
Quantum Physics.
Microfluidic devices.
Engineering.
Computer Science.
Computer Communication Networks.
Physics.
Coating processes
Quantum logic.
Symbolic and Algebraic Manipulation.
Biochips.