Formal System Verification. 1st ed. 2018

কিউআর কোড

Formal System Verification. 1st ed. 2018

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Drechsler, Rolf
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Springer International Publishing 2020
বিষয়গুলি:	Engineering Circuits and Systems Processor Architectures Electronics and Microelectronics, Instrumentation
অনলাইন ব্যবহার করুন:	http://doi.org/10.1007/978-3-319-57685-5 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/99590
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

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

অনুরূপ উপাদানগুলি

Energy Efficient Embedded Video Processing Systems. 1st ed. 2018
অনুযায়ী: Khan, Muhammad Usman Karim, অন্যান্য
প্রকাশিত: (2020)

Languages, Design Methods, and Tools for Electronic System Design. 1st ed. 2018
অনুযায়ী: Fummi, Franco, অন্যান্য
প্রকাশিত: (2020)

Embedded Software Verification and Debugging
অনুযায়ী: Lettnin, Djones, অন্যান্য
প্রকাশিত: (2020)

Automatic Methods for the Refinement of System Models
অনুযায়ী: Seiter, Julia, অন্যান্য
প্রকাশিত: (2020)

Contactless VLSI Measurement and Testing Techniques. 1st ed. 2018
অনুযায়ী: Sayil, Selahattin
প্রকাশিত: (2020)

Embedded System Design. 3rd ed. 2018
অনুযায়ী: Marwedel, Peter
প্রকাশিত: (2020)

In-Memory Computing
অনুযায়ী: Shirinzadeh, Saeideh, অন্যান্য
প্রকাশিত: (2020)

Formal Verification of Simulink/Stateflow Diagrams
অনুযায়ী: Zhan, Naijun, অন্যান্য
প্রকাশিত: (2020)

Embedded Systems Design with Special Arithmetic and Number Systems
অনুযায়ী: Molahosseini, Amir Sabbagh, অন্যান্য
প্রকাশিত: (2020)

Digital Systems
অনুযায়ী: Deschamps, Jean-Pierre, অন্যান্য
প্রকাশিত: (2020)

System-on-Chip Security
অনুযায়ী: Farahmandi, Farimah, অন্যান্য
প্রকাশিত: (2020)

Introduction to Embedded Systems
অনুযায়ী: Jiménez, Manuel, অন্যান্য
প্রকাশিত: (2020)

System Verilog Assertions and Functional Coverage
অনুযায়ী: Mehta, Ashok B.
প্রকাশিত: (2020)

Heterogeneous Memory Organizations in Embedded Systems
অনুযায়ী: Quirós, Miguel Peón, অন্যান্য
প্রকাশিত: (2020)

System-Scenario-based Design Principles and Applications
অনুযায়ী: Catthoor, Francky, অন্যান্য
প্রকাশিত: (2020)

Handbook of Digital CMOS Technology, Circuits, and Systems
অনুযায়ী: Abbas, Karim
প্রকাশিত: (2020)

Languages, Design Methods, and Tools for Electronic System Design
অনুযায়ী: Kazmierski, Tom J., অন্যান্য
প্রকাশিত: (2020)

High-Level Modeling and Synthesis of Analog Integrated Systems
অনুযায়ী: Martens, Ewout S. J., অন্যান্য
প্রকাশিত: (2020)

Model-Implementation Fidelity in Cyber Physical System Design
অনুযায়ী: Molnos, Anca, অন্যান্য
প্রকাশিত: (2020)

Hardware Protection through Obfuscation
অনুযায়ী: Forte, Domenic, অন্যান্য
প্রকাশিত: (2020)

Optimized ASIP Synthesis from Architecture Description Language Models
অনুযায়ী: Schliebusch, Oliver, অন্যান্য
প্রকাশিত: (2020)

Structured Analog CMOS Design
অনুযায়ী: Stefanovic, Danica, অন্যান্য
প্রকাশিত: (2020)

Designing with Xilinx® FPGAs
অনুযায়ী: Churiwala, Sanjay
প্রকাশিত: (2020)

Fundamentals of Computer Architecture and Design
অনুযায়ী: Bindal, Ahmet
প্রকাশিত: (2020)

Analog Integrated Circuit Design Automation
অনুযায়ী: Martins, Ricardo, অন্যান্য
প্রকাশিত: (2020)

On-Chip Current Sensors for Reliable, Secure, and Low-Power Integrated Circuits
অনুযায়ী: Bastos, Rodrigo Possamai, অন্যান্য
প্রকাশিত: (2020)

Foundations of Hardware IP Protection
অনুযায়ী: Bossuet, Lilian, অন্যান্য
প্রকাশিত: (2020)

Design and Test Strategies for 2D/3D Integration for NoC-based Multicore Architectures
অনুযায়ী: Manna, Kanchan, অন্যান্য
প্রকাশিত: (2020)

Hardware IP Security and Trust
অনুযায়ী: Mishra, Prabhat, অন্যান্য
প্রকাশিত: (2020)

Hardware Security and Trust
অনুযায়ী: Sklavos, Nicolas, অন্যান্য
প্রকাশিত: (2020)

Transaction-Level Power Modeling
অনুযায়ী: Darwish, Amr Baher, অন্যান্য
প্রকাশিত: (2020)

Introduction to Reconfigurable Computing
অনুযায়ী: Bobda, Christophe
প্রকাশিত: (2020)

Parallel Sparse Direct Solver for Integrated Circuit Simulation
অনুযায়ী: Chen, Xiaoming, অন্যান্য
প্রকাশিত: (2020)

Ageing of Integrated Circuits
অনুযায়ী: Halak, Basel
প্রকাশিত: (2020)

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects
অনুযায়ী: Lourenço, Nuno, অন্যান্য
প্রকাশিত: (2020)

Low-Power Design and Power-Aware Verification. 1st ed. 2018
অনুযায়ী: Khondkar, Progyna
প্রকাশিত: (2020)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
অনুযায়ী: Przigoda, Nils, অন্যান্য
প্রকাশিত: (2020)

ASIC/SoC Functional Design Verification. 1st ed. 2018
অনুযায়ী: Mehta, Ashok B.
প্রকাশিত: (2020)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations. 1st ed. 2018
অনুযায়ী: Hidaka, Hideto
প্রকাশিত: (2020)

Brain-Machine Interface. 1st ed. 2018
অনুযায়ী: Liu, Xilin, অন্যান্য
প্রকাশিত: (2020)