Languages
Wille, Robert.
Overview
| Works: | 0 works in 9 publications in 1 languages | |
|---|---|---|
Titles
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
Wille, Robert.; SpringerLink (Online service); Vos, Alexis de.
(Electronic resources)
High performance simulation for industrial paint shop applications
by:
Wille, Robert.; SpringerLink (Online service); Verma, Kevin.
(Electronic resources)
Designing droplet microfluidic networks = a toolbox for designers /
by:
Wille, Robert.; SpringerLink (Online service); Grimmer, Andreas.
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2015 /
by:
Drechsler, Rolf.; Wille, Robert.; SpringerLink (Online service)
(Electronic resources)
Automatic methods for the refinement of system models = from the specification to the implementation /
by:
Wille, Robert.; Drechsler, Rolf.; SpringerLink (Online service); Seiter, Julia.
(Electronic resources)
Towards a design flow for reversible logic
by:
Wille, Robert.; Drechsler, Rolf.; SpringerLink (Online service)
(Language materials, printed)
Introducing design automation for quantum computing
by:
Wille, Robert.; SpringerLink (Online service); Zulehner, Alwin.
(Electronic resources)
Languages, design methods, and tools for electronic system design = selected contributions from FDL 2016 /
by:
Wille, Robert.; SpringerLink (Online service); FDL (Conference) ((2016 :); Fummi, Franco.
(Electronic resources)
Compact representations for the design of quantum logic
by:
Wille, Robert.; SpringerLink (Online service); Niemann, Philipp.
(Electronic resources)
Exact design of digital microfluidic biochips
by:
Wille, Robert.; Drechsler, Rolf.; SpringerLink (Online service); Keszocze, Oliver.
(Electronic resources)
Subjects
Computer logic.
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
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.
Electronics and Microelectronics, Instrumentation.
Quantum Information Technology, Spintronics.
Computer logic
Computer science- Mathematics
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Processor Architectures.
Digital electronics.
Engineering Fluid Dynamics.
Automotive Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Quantum computing.
Quantum Computing.
Coating processes- Computer simulation.
Computer hardware description languages
System design- Data processing.
Quantum Physics.
Microfluidic devices.
Engineering.
Computer Science.
Computer Communication Networks.
Computer software- Verification
Physics.
Fluid mechanics- Computer simulation.
Quantum logic.
Symbolic and Algebraic Manipulation.
Biochips.