語系
Wille, Robert.
概要
| 作品: | 0 作品在 9 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Compact representations for the design of quantum logic
by:
Niemann, Philipp.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Towards a design flow for reversible logic
by:
Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Reversible computationthird International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(1998 :); SpringerLink (Online service); Vos, Alexis de.; Wille, Robert.
(書目-電子資源)
Automatic methods for the refinement of system modelsfrom the specification to the implementation /
by:
Drechsler, Rolf.; Seiter, Julia.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Exact design of digital microfluidic biochips
by:
Drechsler, Rolf.; Keszocze, Oliver.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Designing droplet microfluidic networksa toolbox for designers /
by:
Grimmer, Andreas.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2016 /
by:
(1998 :); Fummi, Franco.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
High performance simulation for industrial paint shop applications
by:
SpringerLink (Online service); Verma, Kevin.; Wille, Robert.
(書目-電子資源)
Introducing design automation for quantum computing
by:
SpringerLink (Online service); Wille, Robert.; Zulehner, Alwin.
(書目-電子資源)
Languages, design methods, and tools for electronic system designselected contributions from FDL 2015 /
by:
(1998 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(書目-電子資源)
主題
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.