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