86 results for 'digit verif'

Did you mean: digit veri Refine Search

Add to Cart The item has been added

Segmentation-Verification for Handwritten Digit Recognition

Doctoral Thesis / Dissertation from the year 2016 in the subject Computer Science - Applied, National Higher School Of Computer Engineering, language: English, abstract: Automatic reading of digit...

RRP:

$131.00

Add to Cart The item has been added
Add to Cart The item has been added

Taxonomies for the Development and Verification of Digital Systems

Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation ...

RRP:

$213.00

Add to Cart The item has been added
Add to Cart The item has been added

Advanced Verification Topics

The Accellera Universal Verification Methodology (UVM) standard is architected to scale, but verification is growing and in more than just the digital design dimension. It is growing in the SoC...

RRP:

$72.00

Add to Cart The item has been added
Add to Cart The item has been added

Metric Driven Design Verification

Analyzing And Driving Verification: An Executive's Guide.- The Verification Crisis.- Automated Metric-Driven Processes.- Roles in a Verification Project.- Overview of a Verification Project.-...

RRP:

$268.00

Add to Cart The item has been added
Add to Cart The item has been added

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took...

RRP:

$151.00

Add to Cart The item has been added
Add to Cart The item has been added

Advances in Hardware Design and Verification

CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration...

RRP:

$335.00

Add to Cart The item has been added
Add to Cart The item has been added

Polynomial Formal Verification of Approximate Functions

During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Standardized Functional Verification

The Integrated Circuit (IC) industry has gone without a standardized verification approach for decades. This book defines a uniform, standardizable methodology for verifying the logical behavior of...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Cross-Media Authentication and Verification

As media becomes more readily available in the digital age, it also becomes more vulnerable to tampering and manipulation, making techniques for verifying reliable news and media sources essential...

RRP:

$328.00

Add to Cart The item has been added
Add to Cart The item has been added

Formal Modeling and Verification of Cyber-Physical Systems

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

A Unified Approach for Timing Verification and Delay Fault Testing

Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure correct temporal behavior of modern-day digital ...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Digital Timing Measurements

As many circuits and applications now enter the Gigahertz frequency range, accurate digital timing measurements have become crucial in the design, verification, characterization, and application of...

RRP:

$270.00

Add to Cart The item has been added
Add to Cart The item has been added

Digital Design and Modeling with VHDL and Synthesis

Digital Systems Design with VHDL and Synthesis presents an integrated approach to digital design principles, processes, and implementations to help the reader design much more complex systems within...

RRP:

$288.00

Add to Cart The item has been added
Add to Cart The item has been added

Ethics for Digital Journalists

The rapid growth of online media has led to new complications in journalism ethics and practice. While traditional ethical principles may not fundamentally change when information is disseminated...

RRP:

$126.00

Add to Cart The item has been added
Add to Cart The item has been added

Breakthroughs in Digital Biometrics and Forensics

This book focuses on a wide range of breakthroughs related to digital biometrics and forensics. The authors introduce the concepts, techniques, methods, approaches and trends needed by...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Analog-Digital Converters for Industrial Applications Including an Introduction to Digital-Analog Converters

This book offers students and those new to the topic of analog-to-digital converters (ADCs) a broad introduction, before going into details of the state-of-the-art design techniques for SAR and DS...

RRP:

$220.00

Add to Cart The item has been added
sale

Add to Cart The item has been added

Digital Image and Video watermarking

With the rapid development in digital techniques, internet usage has created a new set of challenging problems such as copyright protection, authentication and content integrity verification of the...

RRP: $88.17

$71.00

Add to Cart The item has been added
Add to Cart The item has been added

Aesthetics in Digital Photography

Automatically evaluating the aesthetic qualities of a photograph is a current challenge for artificial intelligence technologies, yet it is also an opportunity to open up new economic and social...

RRP:

$327.00

Add to Cart The item has been added
Add to Cart The item has been added

Digital Systems Design with VHDL and Synthesis

K.C. Chang presents an integrated approach to digital design principles, processes, and implementations to help the reader design increasingly complex systems within shorter design cycles. Chang...

RRP:

$297.00

Add to Cart The item has been added
Add to Cart The item has been added

L'Office de Verification Et de Compensation Et Le Tribunal Arbitral Mixte

The Making of Modern Law: Foreign, Comparative and International Law, 1600-1926, brings together foreign, comparative, and international titles in a single resource. Its...

RRP:

$36.00

Add to Cart The item has been added
Add to Cart The item has been added

Digital VLSI Design and Simulation with Verilog

Master digital design with VLSI and Verilog using this up-to-date and comprehensive resource from leaders in the field Digital VLSI Design Problems and Solution with Verilog delivers an expertly...

RRP:

$267.00

Add to Cart The item has been added
Add to Cart The item has been added

VHDL and FPLDs in Digital Systems Design, Prototyping and Customization

This book represents an attempt to treat three aspects of digital systems, design, prototyping and customization, in an integrated manner using two major technologies: VHSIC Hardware Description...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Educational Perspectives on Digital Technologies in Modeling and Management

The complexity of managing and modeling various systems, from social networks to educational institutions and technical systems, has reached unprecedented levels. Traditional approaches struggle to...

RRP:

$610.00

Add to Cart The item has been added
Add to Cart The item has been added

Digital Communications with Emphasis on Data Modems

This book uses a practical approach in the application of theoretical concepts to digital communications in the design of software defined radio modems. This book discusses the design, implementation...

RRP:

$408.00

Add to Cart The item has been added
Add to Cart The item has been added

Forerunning Value Mechanics In Value Science And Theory. The Discovery, Verification, &Justification Of The Model Of Universality Of Value & Its Sensitivity

Research Paper (postgraduate) from the year 2016 in the subject Business economics - Information Management, grade: A, , course: Information Technology and Management, language: English, abstract:...

RRP:

$88.00

Add to Cart The item has been added
Add to Cart The item has been added

FSM-based Digital Design using Verilog HDL

As digital circuit elements decrease in physical size, resulting in increasingly complex systems, a basic logic model that can be used in the control and design of a range of semiconductor devices is...

RRP:

$273.00

Add to Cart The item has been added
Add to Cart The item has been added

Hardware Architectures for Post-Quantum Digital Signature Schemes

This book explores C-based design, implementation, and analysis of post-quantum cryptography (PQC) algorithms for signature generation and verification. The authors investigate NIST round 2 PQC...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Multi-Gigahertz Nyquist Analog-to-Digital Converters

This book proposes innovative circuit, architecture, and system solutions in deep-scaled CMOS and FinFET technologies, which address the challenges in maximizing the accuracy*speed/power of multi-GHz...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Shinar, the Scripture record of the confusion of language and the dispersion verified by modern disc

This is a pre-1923 historical reproduction that was curated for quality. Quality assurance was conducted on each of these books in an attempt to remove books with imperfections introduced by the...

RRP:

$36.00

Add to Cart The item has been added
Add to Cart The item has been added

Principles of Verifiable RTL Design

System designers, computer scientists and engineers have c- tinuously invented and employed notations for modeling, speci- ing, simulating, documenting, communicating, teaching, verifying and...

RRP:

$270.00

Add to Cart The item has been added
Add to Cart The item has been added

Baronia Anglica. An history of land-honors and baronies, and of tenure in capite. Verified by records. By Thomas Madox ...

The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its...

RRP:

$55.00

Add to Cart The item has been added
Add to Cart The item has been added

Baronia Anglica. An History of Land-honors and Baronies, and of Tenure in Capite. Verified by Records. By Thomas Madox

The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its determination to preserve...

RRP:

$70.00

Add to Cart The item has been added
Add to Cart The item has been added

A Dissertation on the Motion of the Blood, and on the Effects of Bleeding. Verified by Experiments Made on Living Animals. To Which are Added, Observations on the Heart, ... By ... Dr. Alb. Haller, ... Translated by a Physician

The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its determination to preserve...

RRP:

$53.00

Add to Cart The item has been added
Add to Cart The item has been added

The linear tables described, and their utility verified; with precepts and examples for shortening calculations and preserving accuracy, in the lunar method of finding longitude at sea. By Samuel Dunn, ...

The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its determination to preserve...

RRP:

$32.00

Add to Cart The item has been added
Add to Cart The item has been added

The Linear Tables Described, and Their Utility Verified; With Precepts and Examples for Shortening Calculations and Preserving Accuracy, in the Lunar Method of Finding Longitude at sea. By Samuel Dunn,

The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its determination to preserve...

RRP:

$46.00

Add to Cart The item has been added
Add to Cart The item has been added

Quality-Driven SystemC Design

A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated...

RRP:

$220.00

Add to Cart The item has been added
Add to Cart The item has been added

Machine Learning Applications in Electronic Design Automation

This book serves as a single-source reference to key machine learning (ML) applications and methods in digital and analog design and verification. Experts from academia and industry cover a wide...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

Progress in VLSI Design and Test

This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Static Timing Analysis for Nanometer Designs

iming, timing, timing! That is the main concern of a digital designer charged with designing a semiconductor chip. What is it, how is it T described, and how does one verify it? The design team of a...

RRP:

$412.00

Add to Cart The item has been added
sale

Add to Cart The item has been added

Enhanced Image Security Using Fingerprint Based Watermarking System

In multimedia technologies has simplified the ways for the transmission, reproduction and manipulation of data. The digital content can be protected against counterfeiting, piracy and any...

RRP: $64.08

$52.00

Add to Cart The item has been added
Add to Cart The item has been added

Reasoning in Boolean Networks

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital ...

RRP:

$335.00

Add to Cart The item has been added
Add to Cart The item has been added

Design of Embedded Control Systems

Specification of Concurrent Embedded Control Systems.- Using Sequents for Description of Concurrent Digital Systems Behavior.- Formal Logic Design of Reprogrammable Controllers.- Hierarchical Petri...

RRP:

$270.00

Add to Cart The item has been added
Add to Cart The item has been added

Machine Learning in Document Analysis and Recognition

to Document Analysis and Recognition.- Structure Extraction in Printed Documents Using Neural Approaches.- Machine Learning for Reading Order Detection in Document Image Understanding.-...

RRP:

$415.00

Add to Cart The item has been added
Add to Cart The item has been added

Cooperative Guidance & Control of Missiles Autonomous Formation

This book primarily illustrates the rationale, design and technical realization/verification for the cooperative guidance and control systems (CGCSs) of missile autonomous formation (MAF). From the...

RRP:

$270.00

Add to Cart The item has been added
Add to Cart The item has been added

Wave and Scattering Methods for Numerical Simulation

Scattering-based numerical methods are increasingly applied to the numerical simulation of distributed time-dependent physical systems. These methods, which possess excellent stability and stability...

RRP:

$325.00

Add to Cart The item has been added
Add to Cart The item has been added

21 CFR Part 11

Covering regulatory requirements stipulated by the FDA, this book delineates the organization, planning, verification, and documentation activities and procedural controls required for compliance...

RRP:

$165.00

Add to Cart The item has been added
Add to Cart The item has been added

Characterization and Design of High Level VHDL I/Q Frequency Downconverter via Special Sampling Scheme

This study explores the characterization and implementation of a Special Sampling Scheme (SSS) for In-Phase and Quad-Phase (I/Q) downconversion utilizing top-level, portable design strategies. The...

RRP:

$97.00

Add to Cart The item has been added
Add to Cart The item has been added

The Bitcoin Zoo

Embark on an Exciting Journey into the World of Bitcoin!Join the students of V-versity on a field trip to the Bitcoin Zoo, where they discover the fascinating world of digital currency and blockchain...

RRP:

$24.00

Add to Cart The item has been added

86 results for 'digit verif'

PRE-SALES

AFTER-SALES