Passer au contenu principal Passer au contenu du pied de page

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Yongfeng Yin

6 septembre 2023

91,99 $

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

Acheter le livre numérique

Description

Langue

anglais

Publié par: CRC Press

ISBN: 9781000876987

Foundations of Analog and Digital Electronic Circuits

Anant Agarwal Couverture souple
147,95 $
Differential Cryptanalysis on Hash Functions: Theory and Practice

Xie Xie Tao Couverture souple
77,50 $
Distributed And Parallel Systems: Cluster And Grid Computing

Zoltan Juhasz Couverture souple
160,95 $
Artificial Intelligence And Quantum Dynamics For Memristor-system Computing

Ivan Zelinka Couverture rigide
230,95 $
Haptic Interaction with Deformable Objects: Modelling VR Systems for Textiles

Guido Böttcher Couverture souple
173,95 $
3 formats offerts
Post-Quantum Cryptography Using Complexity

Michael James de Mare Couverture souple
20,95 $
Explainable Artificial Intelligence for Intelligent Transportation Systems: Ethics and Applications

Loveleen Gaur Couverture souple
262,95 $
Massively Parallel Databases and Mapreduce Systems

Shivnath Babu Couverture souple
110,50 $
Explainable Artificial Intelligence for Intelligent Transportation Systems: Ethics and Applications

Loveleen Gaur Couverture rigide
262,95 $
2 formats offerts
Robustness Optimization for IoT Topology

Tie Qiu Couverture souple
248,50 $
Robustness Optimization For Iot Topology

Tie Qiu Couverture rigide
248,50 $
2 formats offerts
Parallel Computing: Principles and Practice

T. J. Fountain Couverture souple
59,95 $
2 formats offerts
Optimization Of Stochastic Models: The Interface Between Simulation And Optimization

Georg Ch. Pflug Couverture rigide
321,50 $
Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing

Alexander Meduna Couverture souple
110,95 $
3 formats offerts
Advances in Computational Intelligence and Its Applications

Sheikh Fahad Ahmad Couverture souple
78,50 $
2 formats offerts
Incomplete Information: Rough Set Analysis

Ewa Orlowska Couverture souple
248,50 $
2 formats offerts
Homomorphic Encryption for Financial Cryptography: Recent Inventions and Challenges

V. Seethalakshmi Couverture rigide
291,95 $
2 formats offerts
Homomorphic Encryption for Financial Cryptography: Recent Inventions and Challenges

V. Seethalakshmi Couverture souple
291,95 $
Biometrics for User Authentication Using Artificial Neural Networks

Mais Mohammed Hobi Couverture souple
68,00 $
Community Detection and Stochastic Block Models

Emmanuel Abbe Couverture souple
128,95 $

Évaluation éditoriale

Auteur

Lifeline Engineering Systems: Network Reliability Analysis And Aseismic Design

Jie Li Couverture souple
291,95 $
Lifeline Engineering Systems: Network Reliability Analysis And Aseismic Design

Jie Li Couverture rigide
291,95 $
2 formats offerts
Modeling, Analysis, and Optimization for Space-Ground Integrated Networks

Min Sheng Couverture rigide
262,95 $
Topology Deduction and Control for Dual-Active-Bridge Converters

Guo Xu Couverture rigide
262,95 $
2 formats offerts
Predictive Learning Control for Unknown Nonaffine Nonlinear Systems: Theory and Applications

Qiongxia Yu Couverture rigide
233,95 $
2 formats offerts
Topology Deduction and Control for Dual-Active-Bridge Converters

Guo Xu Couverture souple
72,95 $
Genetic Programming For Production Scheduling: An Evolutionary Learning Approach

Fangfang Zhang Couverture rigide
248,50 $
2 formats offerts
Learning-Based Control: A Tutorial and Some Recent Results

Zhong-ping Jiang Couverture souple
110,50 $
Adaptive Control of Dynamic Systems with Uncertainty and Quantization

Jing Zhou Couverture souple
91,95 $
3 formats offerts
Predictive Learning Control for Unknown Nonaffine Nonlinear Systems: Theory and Applications

Qiongxia Yu Couverture souple
233,95 $
Virtual Equivalent System Approach For Stability Analysis Of Model-based Control Systems

Weicun Zhang Couverture rigide
160,95 $
2 formats offerts
Modeling and Simulation for Microelectronic Packaging Assembly: Manufacturing, Reliability and Testing

Shen Liu Couverture rigide
218,95 $
2 formats offerts
Genetic Programming for Production Scheduling: An Evolutionary Learning Approach

Fangfang Zhang Couverture souple
248,50 $
Optical Parametric Generation and Amplification

Jing-Yuan Zhang Livre numérique Kobo
143,99 $
2 formats offerts
Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml

Liang Wang Couverture souple
72,95 $
2 formats offerts
Proceedings of Income-VI and Tepen 2021: Performance Engineering and Maintenance Engineering

Hao Zhang Couverture rigide
321,50 $
2 formats offerts
Genetic Programming For Image Classification: An Automated Approach To Feature Learning

Ying Bi Couverture rigide
248,50 $
2 formats offerts
Stability Enhancement Methods of Inverters based on Lyapunov Function, Predictive Control, and Reinforcement Learning

Xin Zhang Couverture rigide
204,50 $
2 formats offerts
Virtual Equivalent System Approach For Stability Analysis Of Model-based Control Systems

Weicun Zhang Couverture souple
160,95 $
Nonrecursive Control Design for Nonlinear Systems: Theory and Applications

Chuanlin Zhang Couverture rigide
207,50 $
2 formats offerts