Einfuhrung in die Entwurfsautomatisierung fur QuantencomputerAlwin Zulehner, Robert WilleInnbundetTyskLegg i handlekurvNettlager
Exact Design of Digital Microfluidic BiochipsOliver Keszocze, Rolf Drechsler og 1 annenPocketEngelskLegg i handlekurvNettlager
High Performance Simulation for Industrial Paint Shop ApplicationsKevin Verma, Robert WillePocketEngelskLegg i handlekurvNettlager
High Performance Simulation for Industrial Paint Shop ApplicationsKevin Verma, Robert WilleInnbundetEngelskLegg i handlekurvNettlager
Design Automation for Field-coupled NanotechnologiesFrank Sill Torres, Rolf Drechsler og 2 andreInnbundetEngelskLegg i handlekurvNettlager
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler og 2 andrePocketEngelskLegg i handlekurvNettlager
Designing Droplet Microfluidic NetworksAndreas Grimmer, Robert WillePocketEngelskLegg i handlekurvNettlager
Towards a Design Flow for Reversible LogicRobert Wille, Rolf DrechslerInnbundetEngelskLegg i handlekurvNettlager
Introducing Design Automation for Quantum ComputingAlwin Zulehner, Robert WillePocketEngelskLegg i handlekurvNettlager
Design Automation for Field-coupled NanotechnologiesFrank Sill Torres, Rolf Drechsler og 2 andrePocketEngelskLegg i handlekurvNettlager
Introducing Design Automation for Quantum ComputingAlwin Zulehner, Robert WilleInnbundetEngelskLegg i handlekurvNettlager
Noise-Aware Quantum Circuit Simulation with Decision DiagramsJurgen Fuß, Thomas Grurl og 1 annenInnbundetEngelskDel av serien Synthesis Lectures on Engineering, Science, and TechnologyLegg i handlekurvNettlager
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler og 2 andreInnbundetEngelskLegg i handlekurvNettlager
Efficient Implementation of Quantum Circuit Simulation with Decision DiagramsRobert Wille, Stefan HillmichInnbundetEngelskDel av serien Synthesis Lectures on Engineering, Science, and TechnologyLegg i handlekurvNettlager