Passer au contenu principal Passer au contenu du pied de page

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

24 janvier 2018

169,99 $ ~~Réduction sur le prix courant 211,37 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Publié par: Springer International Publishing

ISBN: 9783319728148

ESL Models and their Application: Electronic System Level Design and Verification in Practice

Brian Bailey Couverture souple
204,50 $
3 formats offerts
Sensor Systems: Fundamentals And Applications

Clarence W. De Silva Couverture rigide
310,95 $
2 formats offerts
Introduction to Reconfigurable Computing: Architectures, Algorithms, and Applications

Christophe Bobda Couverture souple
160,95 $
2 formats offerts
Practical Terahertz Electronics: Devices And Applications: Optical Devices And Applications

Vinod Kumar Khanna Couverture rigide
247,00 $
Distributed Impulsive Coordination of Multi-Agent Systems

Zhengle Zhang Couverture rigide
233,95 $
System Level Design of Reconfigurable Systems-on-Chip

Nikolaos Voros Couverture souple
160,95 $
2 formats offerts
Bio-Informatic Systems, Processing and Applications

Johnson I. Agbinya Couverture souple
86,95 $
Optimization Methodologies for the Automatic Design of Switched-Capacitor Filter Circuits for IoT Applications

Hugo Serra Couverture rigide
131,50 $
2 formats offerts
Logic Synthesis and Verification Algorithms

Gary D. Hachtel Couverture souple
145,95 $
Advanced Data Acquisition and Intelligent Data Processing

Vladimir Haasz Couverture souple
93,50 $
Logic Synthesis And Verification

Soha Hassoun Couverture souple
248,50 $
2 formats offerts
Semiconducting Fibers: Preparation, Advances, and Applications

Ram K. Gupta Couverture rigide
340,50 $
2 formats offerts
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Florent de Dinechin Couverture souple
58,50 $
Optimization Methodologies for the Automatic Design of Switched-Capacitor Filter Circuits for IoT Applications

Hugo Serra Couverture souple
94,95 $
Digital Control Systems Implementation and Computational Techniques: Advances in Theory and Applications

Cornelius T. Leondes Livre numérique Kobo
191,99 $ ~~Réduction sur le prix courant 239,00 $ à~~
2 formats offerts
Machine Vision: Automated Visual Inspection: Theory, Practice And Applications

Jürgen Beyerer Couverture souple
248,50 $
2 formats offerts
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Florent de Dinechin Couverture rigide
262,95 $
2 formats offerts
Directivity Based Multichannel Audio Signal Processing For Microphones In Noisy Acoustic Environments

Simon Grimm Couverture souple
145,95 $
Intelligent Optimal Control for Distributed Industrial Systems

Shaoyuan Li Couverture souple
291,95 $
Intelligent Information Processing For Inertial-based Navigation Systems

Chong Shen Couverture rigide
160,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Verification by Error Modeling: Using Testing Techniques in Hardware Verification

Katarzyna Radecka 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
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Design For Testability, Debug And Reliability: Next Generation Measures Using Formal Techniques

Sebastian Huhn Couverture rigide
175,50 $
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
Statistical Analysis And Optimization For Vlsi: Timing And Power

Ashish Srivastava Couverture souple
248,50 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture souple
248,50 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture rigide
248,50 $
Bayesian Tensor Decomposition for Signal Processing and Machine Learning: Modeling, Tuning-Free Algorithms, and Applications

Lei Cheng Couverture rigide
204,50 $
2 formats offerts
New Data Structures And Algorithms For Logic Synthesis And Verification

Luca Gaetano Amaru Couverture souple
80,50 $
3 formats offerts
Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms

Mohamed Ibrahim 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
Data-driven Modeling Of Cyber-physical Systems Using Side-channel Analysis

Sujit Rokka Chhetri Couverture rigide
160,95 $
2 formats offerts
Adaptive Filtering: Algorithms And Practical Implementation

Paulo S. R. Diniz Couverture souple
131,50 $
7 formats offerts
Modeling, Control, Estimation, and Optimization for Microgrids: A Fuzzy-Model-Based Method

Zhixiong Zhong 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
Efficient Nonlinear Adaptive Filters: Design, Analysis and Applications

Haiquan Zhao 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
Auralization: Fundamentals Of Acoustics, Modelling, Simulation, Algorithms And Acoustic Virtual Reality

Michael Vorländer Couverture rigide
248,50 $
3 formats offerts
Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods

Alexander Ost Couverture souple
248,50 $
2 formats offerts