跳至 : 概要 | 書目資訊 | 主題

Wille, Robert.

概要

作品:	1 作品在 3 項出版品 1 種語言

書目資訊

Exact Design of Digital Microfluidic Biochips by: Wille, Robert.; Keszocze, Oliver.; SpringerLink (Online service); Drechsler, Rolf. (書目-語言資料,印刷品) , [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) (書目-語言資料,印刷品) , [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) (書目-語言資料,印刷品) , [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) (書目-語言資料,印刷品)

Languages, Design Methods, and Tools for Electronic System Design = Selected Contributions from FDL 2015 / by: Wille, Robert.; Drechsler, Rolf.; SpringerLink (Online service) (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品)

Design Automation for Field-coupled Nanotechnologies by: Drechsler, Rolf.; SpringerLink (Online service); Walter, Marcel.; Sill Torres, Frank.; Wille, Robert. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Compact representations for the design of quantum logic by: Niemann, Philipp.; SpringerLink (Online service); Wille, Robert. (書目-語言資料,印刷品)

Designing Droplet Microfluidic Networks = A Toolbox for Designers / by: SpringerLink (Online service); Grimmer, Andreas.; Wille, Robert. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Introducing Design Automation for Quantum Computing by: Zulehner, Alwin.; SpringerLink (Online service); Wille, Robert. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

主題

Fluid mechanics. Computer Communication Networks. Electronic circuits. Computer science Logics and Meanings of Programs. Embedded computer systems. Physics. Software architecture Electronic Circuits and Systems. Computer-aided engineering. Microelectronics. Algorithm Analysis and Problem Complexity. Computer Science. Automotive engineering. Embedded Systems. Biomedical Engineering and Bioengineering. Quantum Computing. Computer-Aided Engineering (CAD, CAE) and Design. Quantum computing. Computer software Electronics and Microelectronics, Instrumentation. Formal methods (Computer science) Symbolic and Algebraic Manipulation. Control, Robotics, Mechatronics. Electronics. Mathematical Logic and Formal Languages. Quantum computers. Electronic circuit design. Automotive Engineering. Engineering Fluid Dynamics. Electronics Design and Verification. Engineering. Computer hardware description languages Robotics. Software engineering Programming Languages, Compilers, Interpreters. Quantum Physics. Processor Architectures. Quantum logic. Software Engineering. Quantum Information Technology, Spintronics. Circuits and Systems. Microprocessors. Biomedical engineering. Mechatronics. Computer logic Control engineering.