New Methods of Concurrent Checking

Mã QR

New Methods of Concurrent Checking

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Gössel, Michael, Ocheretny, Vitaly, Sogomonyan, Egor, Marienfeld, Daniel
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Netherlands 2020
Những chủ đề:	Engineering Electrical Engineering Circuits and Systems
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85229
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Modern Circuit Placement
Bỡi: Nam, Gi-Joon, et al.
Được phát hành: (2020)

Design of Systems on a Chip: Design and Test
Bỡi: Reis, Ricardo, et al.
Được phát hành: (2020)

The Designer's Guide to High-Purity Oscillators
Bỡi: Hegazi, Emad Eldin, et al.
Được phát hành: (2020)

High-Frequency Oscillator Design for Integrated Transceivers
Bỡi: Tang, J. van der, et al.
Được phát hành: (2020)

Model and Design of Bipolar and MOS Current-Mode Logic
Bỡi: Alioto, Massimo, et al.
Được phát hành: (2020)

Low Power Design Essentials
Bỡi: Rabaey, Jan
Được phát hành: (2020)

The Designer's Guide to Jitter in Ring Oscillators
Bỡi: McNeill, John A., et al.
Được phát hành: (2020)

Clock Generators for SOC Processors
Bỡi: Fahim, Amr
Được phát hành: (2020)

Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits
Bỡi: Sachdev, Manoj, et al.
Được phát hành: (2020)

Prototyping of Concurrent Control Systems Implemented in FPGA Devices
Bỡi: Wiśniewski, Remigiusz
Được phát hành: (2020)

Inductive Powering
Bỡi: Schuylenbergh, Koenraad van, et al.
Được phát hành: (2020)

Dynamic Characterisation of Analogue-to-Digital Converters
Bỡi: Dallet, Dominique, et al.
Được phát hành: (2020)

Power-Aware Architecting
Bỡi: Ditzel, Maarten, et al.
Được phát hành: (2020)

Error Correction Codes for Non-Volatile Memories
Bỡi: Micheloni, Rino, et al.
Được phát hành: (2020)

Advances in Design and Specification Languages for SoCs
Bỡi: Boulet, Pierre
Được phát hành: (2020)

SystemC Kernel Extensions for Heterogeneous System Modeling
Bỡi: Patel, Hiren, et al.
Được phát hành: (2020)

Analog Integrated Circuits for Communication
Bỡi: Pederson, Donald O., et al.
Được phát hành: (2020)

Lab Manual to Accompany the Electronics Trainer Circuit Board (eTCB) System
Bỡi: Carlo Sapijaszko
Được phát hành: (2006)

Hướng dẫn thí nghiệm mạch điện
Bỡi: Lê, Minh Cường
Được phát hành: (1996)

Sơ đồ điện
Bỡi: Barry, Jean
Được phát hành: (1996)

Current Sensing Techniques and Biasing Methods for Smart Power Drivers
Bỡi: Easwaran, Sri Navaneethakrishnan
Được phát hành: (2020)

CMOS Multichannel Single-Chip Receivers for Multi-Gigabit Optical Data Communications
Bỡi: Muller, Paul, et al.
Được phát hành: (2020)

Physical Design Essentials
Bỡi: Golshan, Khosrow
Được phát hành: (2020)

Low Power Methodology Manual
Bỡi: Flynn, David, et al.
Được phát hành: (2020)

Design of High Voltage xDSL Line Drivers in Standard CMOS
Bỡi: Serneels, Bert, et al.
Được phát hành: (2020)

Switched-Capacitor Techniques for High-Accuracy Filter and ADC Design
Bỡi: Quinn, Patrick J., et al.
Được phát hành: (2020)

Silicon Devices and Process Integration
Bỡi: El-Kareh, Badih
Được phát hành: (2020)

Introduction to Advanced System-on-Chip Test Design and Optimization
Bỡi: Larsson, Erik
Được phát hành: (2020)

Adaptive Techniques for Dynamic Processor Optimization
Bỡi: Wang, Alice, et al.
Được phát hành: (2020)

A Practical Guide for SystemVerilog Assertions
Bỡi: Vijayaraghavan, Srikanth, et al.
Được phát hành: (2020)

Designing Embedded Processors
Bỡi: Henkel, Jörg, et al.
Được phát hành: (2020)

Metric Driven Design Verification
Bỡi: Carter, Hamilton B., et al.
Được phát hành: (2020)

CPU Design
Bỡi: Thimmannagari, Chandra
Được phát hành: (2020)

Ultra Low Power Capacitive Sensor Interfaces
Bỡi: Bracke, Wouter, et al.
Được phát hành: (2020)

Excerpts of chapters 10 & 11 from Application-specific integrated circuits: An introduction to VHDL & Verilog HDL
Bỡi: Michael John Sebastian Smith
Được phát hành: (2001)

Electromagnetic Field Computation by Network Methods
Bỡi: Felsen, Leopold B., et al.
Được phát hành: (2020)

Model Checking Software
Bỡi: Godefroid, Patrick
Được phát hành: (2020)

Model Checking Software
Bỡi: Bosnacki, Dragan, et al.
Được phát hành: (2020)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
Bỡi: Ma, Zhe, et al.
Được phát hành: (2020)

Circuit Simulation with SPICE OPUS
Bỡi: Tuma, Tadej, et al.
Được phát hành: (2020)