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 $
Science Education for Everyday Life: Evidence-Based Practice

Glen S Aikenhead Couverture souple
40,50 $
Hyperspectral Imaging and Applications

Couverture rigide
213,15 $
Passive Vibration Control Of Structures

Suhasini Madhekar Couverture rigide
325,95 $
2 formats offerts
Digital Self-tuning Controllers: Algorithms, Implementation and Applications

Vladim Bob Couverture rigide
80,50 $
Remote Sensing: Concepts And Applications

Couverture rigide
194,18 $
Formation Mechanism and Control Strategies of Haze in China

Hong He Couverture rigide
248,50 $
2 formats offerts
Formation Mechanism and Control Strategies of Haze in China

Hong He Couverture souple
248,50 $
Models and Modeling: Cognitive Tools for Scientific Enquiry

Myint Swe Khine Couverture souple
160,95 $
3 formats offerts
Cognitive Sensors: Intelligent Sensing, Sensor Data Analysis and Applications

Varun Bajaj Couverture rigide
247,00 $
Nonparametric Bayesian Learning For Collaborative Robot Multimodal Introspection

Xuefeng Zhou Couverture rigide
87,95 $
2 formats offerts
The Customer-Centric Architecture Method: Pathway to High Value Enterprise Architecture

Steve Else Couverture souple
162,50 $
Nonparametric Bayesian Learning For Collaborative Robot Multimodal Introspection

Xuefeng Zhou Couverture souple
72,95 $
Air Pollution Control: Fundamentals and Applications

Jeff Kuo Couverture rigide
207,50 $
2 formats offerts
Multistatic Passive Radar Target Detection: A detection theory framework

Amir Zaimbashi Couverture rigide
208,00 $
Microtexture Determination and Its Applications

V. Randle Livre numérique Kobo
68,99 $
Seismic Vulnerability of Structures

Philippe Gueguen Couverture rigide
218,95 $
2 formats offerts
Strength Of Materials: Fundamentals And Applications

T. D. Gunneswara Rao Couverture souple
128,95 $
Performance Coaching Skills For Social Work

Jane Holroyd Couverture rigide
77,95 $
2 formats offerts
Conception optimale de structures

Grégoire Allaire Couverture souple
102,50 $

Évaluation éditoriale

Auteur

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon Couverture souple
145,95 $
Enhanced Virtual Prototyping for Heterogeneous Systems

Muhammad Hassan Couverture rigide
175,50 $
2 formats offerts
Enhanced Virtual Prototyping for Heterogeneous Systems

Muhammad Hassan Couverture souple
131,50 $
Formal Specification Level: Concepts, Methods, And Algorithms

Mathias Soeken Couverture souple
160,95 $
3 formats offerts
Formal Verification of Circuits

Rolf Drechsler Couverture rigide
220,95 $
Formal Verification of Circuits

Rolf Drechsler Couverture souple
248,50 $
Enhanced Virtual Prototyping: Featuring Risc-v Case Studies

Vladimir Herdt Couverture rigide
189,95 $
2 formats offerts
Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler Couverture souple
248,50 $
2 formats offerts
Enhanced Virtual Prototyping: Featuring Risc-v Case Studies

Vladimir Herdt Couverture souple
145,95 $
Information Storage: A Multidisciplinary Perspective

Cornelia S. Gro Couverture souple
160,95 $
In-memory Computing: Synthesis And Optimization

Saeideh Shirinzadeh Couverture rigide
160,95 $
2 formats offerts
In-memory Computing: Synthesis And Optimization

Saeideh Shirinzadeh Couverture souple
160,95 $
Knowledge Paths in Design Science Research

Andreas Drechsler Couverture souple
84,50 $
Automated Analysis Of Virtual Prototypes At The Electronic System Level: Design Understanding And Applications

Mehran Goli Couverture rigide
131,50 $
2 formats offerts
Automated Analysis Of Virtual Prototypes At The Electronic System Level: Design Understanding And Applications

Mehran Goli Couverture souple
131,50 $
Discrete Element Method In The Design Of Transport Systems: Verification And Validation Of 3d Models

Daniel Gelnar Couverture rigide
160,95 $
2 formats offerts
Reversible And Quantum Circuits: Optimization And Complexity Analysis

Nabila Abdessaied Couverture souple
80,50 $
3 formats offerts
Evolutionary Algorithms for VLSI CAD

Rolf Drechsler Couverture souple
160,95 $
2 formats offerts
Power Estimation On Electronic System Level Using Linear Power Models

Stefan Schuermans Couverture rigide
160,95 $
2 formats offerts
Space-Time Methods: Applications to Partial Differential Equations

Couverture rigide
228,99 $