Passer au contenu principal Passer au contenu du pied de page

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon , Daniel Gro , Rolf Drechsler

15 février 2023

145,95 $

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 730 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

130

Publié par: Springer Nature

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

ISBN: 9783031245701

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon Couverture souple
145,95 $
The Inverse Method: Parametric Verification of Real-time Unbedded Systems

Etienne André Couverture rigide
217,95 $
2 formats offerts
Selective Visual Attention: Computational Models and Applications

Liming Zhang Livre numérique Kobo
164,99 $
Mechanical and Structural Vibrations: Theory and Applications

Jerry H. Ginsberg Couverture souple
285,50 $
Autowave Plasticity: Localization And Collective Modes

Lev Zuev Couverture souple
136,50 $
3 formats offerts
Seismic Vulnerability of Structures

Philippe Gueguen Couverture rigide
218,95 $
2 formats offerts
Humus Chemistry: Genesis, Composition, Reactions

F. J. Stevenson Couverture rigide
381,95 $
The Electric Furnace: Its Construction, Operation and Uses

Alfred Stansfield Couverture rigide
37,95 $
7 formats offerts
Seismic Imaging And Inversion: Volume 1: Application Of Linear Inverse Theory

Robert H. Stolt Couverture souple
66,95 $
2 formats offerts
Mechanical and Structural Vibrations

Demeter G. Fertis Couverture souple
272,95 $
Linear Systems: Non-fragile Control And Filtering

Guang-hong Yang Couverture souple
148,50 $
3 formats offerts
Fundamentals of Industrial Instrumentation and Process Control, Second Edition

William C. Dunn Couverture rigide
122,95 $
2 formats offerts
Integral Transformations, Operational Calculus and Their Applications

Couverture rigide
83,50 $
Prognostics: The Science of Making Predictions

Matt Daigle Couverture souple
127,50 $
Learning for Decision and Control in Stochastic Networks

Longbo Huang Couverture rigide
80,50 $
2 formats offerts
Radio Control Car Manual

Matt Benfield Couverture souple
28,95 $
Heterogeneous Integrations

John H Lau Couverture souple
155,95 $
Modern Aerodynamic Methods for Direct and Inverse Applications

Wilson Chin Couverture rigide
328,95 $
2 formats offerts
Submerged Rice: Morphological, Molecular and Genetic Analyses

Pranab Basuchaudhuri Couverture rigide
236,95 $
2 formats offerts
Biological Control Programmes in Canada 2001-2012

Tara D Gariepy Livre numérique Kobo
205,99 $ ~~Réduction sur le prix courant 256,69 $ à~~

Évaluation éditoriale

Auteur

Polynomial Formal Verification of Approximate Functions

Martha Schnieber Couverture souple
160,95 $
2 formats offerts
Adaptive Filtering: Algorithms And Practical Implementation

Paulo S. R. Diniz Couverture souple
131,50 $
7 formats offerts
Multidimensional Systems Theory and Applications

N.K. Bose Couverture souple
160,95 $
2 formats offerts
Linear and Nonlinear System Modeling

Couverture rigide
296,95 $
2 formats offerts
Advanced Vlsi Design And Testability Issues

Suman Lata Tripathi Couverture souple
81,50 $
3 formats offerts
Hardware-dependent Software: Principles and Practice

Wolfgang Ecker Couverture souple
160,95 $
2 formats offerts
Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications

Couverture souple
142,95 $
2 formats offerts
Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture rigide
130,95 $
4 formats offerts
Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture souple
145,95 $
2 formats offerts
Design and Applications of Adaptive Impedance Converters

Lei Wang Couverture rigide
233,95 $
2 formats offerts
Unified Theoretical Analysis of Nonlinear Multicarrier Schemes

Paulo Montezuma Couverture rigide
296,50 $
2 formats offerts
Formal Specification Level: Concepts, Methods, And Algorithms

Mathias Soeken Couverture souple
160,95 $
3 formats offerts
Multiplier-Cum-Divider Circuits: Principles, Design, and Applications

Kc Selvam Couverture souple
91,95 $
3 formats offerts
Multilevel Inverters: Introduction and Emergent Topologies

Ersan Kabalci Couverture souple
244,50 $
2 formats offerts
Multisensor Fusion Estimation Theory And Application

Liping Yan Couverture rigide
248,50 $
2 formats offerts
Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler Couverture souple
248,50 $
2 formats offerts
Efficient Nonlinear Adaptive Filters: Design, Analysis and Applications

Haiquan Zhao Couverture rigide
160,95 $
2 formats offerts
Functional Decomposition with Applications to FPGA Synthesis

Christoph Scholl Couverture souple
248,50 $
2 formats offerts
System-on-a-Chip Verification: Methodology and Techniques

Prakash Rashinkar Couverture souple
262,95 $
2 formats offerts
Active Filters: Theory And Design

S.a. Pactitis Couverture souple
122,95 $
2 formats offerts