Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never
Pascal Pieper
Download Now
Format: eBook (EPUB)
Design fur Testbarkeit, Fehlersuche und Zuverlassigkeit : Manahmen der nachsten Generation unter Verwendung formaler Techniken
Sebastian Huhn
Download Now
Format: eBook (EPUB)
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verstandnis und Anwendungen
Mehran Goli
Download Now
Format: eBook (EPUB)
Parametrized, Deformed and General Neural Networks
George A. Anastassiou
Download Now
Format: eBook (EPUB)
Intelligent Mathematics: Computational Analysis
George A. Anastassiou
Download Now
Format: eBook (PDF)
Towards Intelligent Modeling: Statistical Approximation Theory
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Systems: Approximation by Artificial Neural Networks
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Routines : Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Routines II : Solving Linear Algebra and Differential Geometry with Sage
George A. Anastassiou
Download Now
Format: eBook (PDF)
Formal Specification Level : Concepts, Methods, and Algorithms
Mathias Soeken
Download Now
Format: eBook (PDF)
Intelligent Systems II: Complete Approximation by Neural Network Operators
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Comparisons: Analytic Inequalities
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Numerical Methods: Applications to Fractional Calculus
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Numerical Methods II: Applications to Multivariate Fractional Calculus
George A. Anastassiou
Download Now
Format: eBook (PDF)
Intelligent Comparisons II: Operator Inequalities and Approximations
George A. Anastassiou
Download Now
Format: eBook (EPUB)
Intelligent Computations: Abstract Fractional Calculus, Inequalities, Approximations
George A. Anastassiou
Download Now
Format: eBook (EPUB)
Functional Numerical Methods: Applications to Abstract Fractional Calculus
George A. Anastassiou
Download Now
Format: eBook (EPUB)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda
Download Now
Format: eBook (EPUB)
Nonlinearity: Ordinary and Fractional Approximations by Sublinear and Max-Product Operators
George A. Anastassiou
Download Now
Format: eBook (EPUB)
Design Automation for Field-coupled Nanotechnologies
Marcel Walter
Download Now
Format: eBook (EPUB)
Enhanced Virtual Prototyping for Heterogeneous Systems
Muhammad Hassan
Download Now
Format: eBook (EPUB)