Robustness and Usability in Modern Design Flows

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Modeling and Verification of Cyber-Physical Systems

1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

Design, Verständnis und Anwendungen

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Exact Design of Digital Microfluidic Biochips

Produktform: E-Buch Text Elektronisches Buch in proprietärem

High Quality Test Pattern Generation and Boolean Satisfiability

Produktform: E-Buch Text Elektronisches Buch in proprietärem

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis

First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Test Pattern Generation using Boolean Proof Engines

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Clinical Image-Based Procedures, Distributed and Collaborative Learning, Artificial Intelligence for Combating COVID-19 and Secure and Privacy-Preserving Machine Learning

10th Workshop, CLIP 2021, Second Workshop, DCL 2021, First Workshop, LL-COVID19, and First Workshop and Tutorial, PPML 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27 and October 1, 2021, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Synthetic Datasets for Statistical Disclosure Control

Theory and Implementation

Produktform: E-Buch Text Elektronisches Buch in proprietärem