Passer au contenu principal Passer au contenu du pied de page

Automated Validation And Verification Of Uml/ocl Models Using Satisfiability Solvers

Nils Przigoda , Robert Wille , Judith Przigoda

31 janvier 2018

248,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 1 243 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

255

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783319728131

Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Stefan Hillmich Couverture rigide
80,50 $
2 formats offerts
Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams

Stefan Hillmich Couverture souple
80,50 $
Handbook of Heterogenous Kinetics

Michel Soustelle Couverture rigide
489,95 $
2 formats offerts
Intelligent Control in Smart Energy Systems

Satya Prakash Yadav Couverture souple
288,95 $
RF CMOS Oscillators for Modern Wireless Applications

Masoud Babaie Couverture souple
79,95 $
Fractional Calculus: High-Precision Algorithms and Numerical Implementations

Dingy Xue Couverture souple
58,50 $
Phase-Space Optics: Fundamentals and Applications: Fundamentals and Applications

Markus Testorf Livre numérique Kobo
170,99 $ ~~Réduction sur le prix courant 213,26 $ à~~
Inverse Synthetic Aperture Radar Imaging: Principles, Algorithms And Applications

Victor C. Chen Couverture rigide
214,50 $
Mathematical Summary for Digital Signal Processing Applications with Matlab

E S Gopi Couverture souple
220,95 $
3 formats offerts
Optimal Operation and Control of Power Systems Using an Algebraic Modelling Language

Nnamdi Nwulu Couverture rigide
189,95 $
2 formats offerts
DSP System Design: Complexity Reduced IIR Filter Implementation for Practical Applications

Artur Krukowski Couverture souple
160,95 $
2 formats offerts
Power Quality Enhancement using Artificial Intelligence Techniques

Ahmed S. Abbas Couverture souple
110,95 $
3 formats offerts
Adaptive Filters: Structures, Algorithms And Applications

M L Honig Couverture rigide
285,95 $
Distributed Impulsive Coordination of Multi-Agent Systems

Zhengle Zhang Couverture rigide
233,95 $
Introduction to Thermal Analysis: Techniques and Applications

M E Brown Couverture rigide
324,95 $
Computational Simulation in Architectural and Environmental Acoustics: Methods and Applications of Wave-Based Computatio: Methods and Applications of Wave-Based Computation

Tetsuya Sakuma Couverture rigide
248,50 $
2 formats offerts
Multimedia Content and the Semantic Web: Standards, Methods and Tools

Couverture rigide
179,95 $
Plasma Etching: Fundamentals and Applications

M. Sugawara Couverture rigide
435,00 $
Integrated Filters for Short Range Wireless and Biomedical Applications

Costas Laoudias Couverture souple
80,50 $
2 formats offerts
Modern Heuristic Optimization Techniques: Theory and Applications to Power Systems

Couverture rigide
191,95 $

Évaluation éditoriale

Auteur

Verification by Error Modeling: Using Testing Techniques in Hardware Verification

Katarzyna Radecka Couverture souple
160,95 $
2 formats offerts
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

M.C. Bhuvaneswari Couverture rigide
160,95 $
2 formats offerts
Bayesian Tensor Decomposition for Signal Processing and Machine Learning: Modeling, Tuning-Free Algorithms, and Applications

Lei Cheng Couverture rigide
204,50 $
2 formats offerts
Design For Testability, Debug And Reliability: Next Generation Measures Using Formal Techniques

Sebastian Huhn Couverture rigide
175,50 $
2 formats offerts
Modeling, Control, Estimation, and Optimization for Microgrids: A Fuzzy-Model-Based Method

Zhixiong Zhong Couverture souple
91,95 $
3 formats offerts
Efficient Execution of Irregular Dataflow Graphs: Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Nimish Shah Couverture rigide
131,50 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture rigide
248,50 $
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture souple
248,50 $
2 formats offerts
Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms

Mohamed Ibrahim Couverture souple
91,95 $
3 formats offerts
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

Ruijing Shen Couverture rigide
160,95 $
2 formats offerts
Statistical Analysis And Optimization For Vlsi: Timing And Power

Ashish Srivastava Couverture souple
248,50 $
2 formats offerts
New Data Structures And Algorithms For Logic Synthesis And Verification

Luca Gaetano Amaru Couverture souple
80,50 $
3 formats offerts
Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Couverture rigide
217,95 $
2 formats offerts
Soft Error Reliability Using Virtual Platforms: Early Evaluation Of Multicore Systems

Felipe Rocha Da Rosa Couverture rigide
160,95 $
2 formats offerts
Ip Cores Design From Specifications To Production: Modeling, Verification, Optimization, And Protection

Khaled Salah Mohamed Couverture souple
80,50 $
3 formats offerts
Efficient Nonlinear Adaptive Filters: Design, Analysis and Applications

Haiquan Zhao Couverture rigide
160,95 $
2 formats offerts
Resource Allocation in Network Function Virtualization: Problems, Models and Algorithms

Song Yang Couverture rigide
160,95 $
2 formats offerts
Data-driven Modeling Of Cyber-physical Systems Using Side-channel Analysis

Sujit Rokka Chhetri Couverture rigide
160,95 $
2 formats offerts
Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods

Alexander Ost Couverture souple
248,50 $
2 formats offerts