Correct Hardware Design and Verification Methods

Mã QR

Correct Hardware Design and Verification Methods

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Borrione, Dominique, Paul, Wolfgang
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Theory of Computation Computer Hardware
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81498
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ự

Hardware Verification with System Verilog
Bỡi: Mintz, Mike, et al.
Được phát hành: (2020)

Advanced Hardware Design for Error Correcting Codes
Bỡi: Chavet, Cyrille, et al.
Được phát hành: (2015)

Hardware :
Bỡi: Lê, Minh Trí
Được phát hành: (2000)

The indispensable PC Hardware book
Bỡi: Hans-Peter Messmer
Được phát hành: (1997)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Bỡi: Vassiliadis, Stamatis, et al.
Được phát hành: (2020)

Reconfigurable Computing: Architectures, Tools and Applications
Bỡi: Diniz, Pedro C., et al.
Được phát hành: (2020)

Reconfigurable Computing: Architectures, Tools, and Applications
Bỡi: Woods, Roger, et al.
Được phát hành: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Bỡi: Strichman, Ofer, et al.
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Bỡi: Yorav, Karen
Được phát hành: (2020)

Hardware and Software, Verification and Testing
Bỡi: Bin, Eyal, et al.
Được phát hành: (2020)

Hardware and Software: Verification and Testing
Được phát hành: (2020)

Lý thuyết và cài đặt phần cứng máy tính - Hardware :
Bỡi: Nguyễn, Văn Huân
Được phát hành: (2008)

Interactive Systems. Design, Specification, and Verification
Bỡi: Doherty, Gavin, et al.
Được phát hành: (2020)

VLSI Design and Test
Được phát hành: (2020)

Advanced Raspberry Pi
Bỡi: Gay, Warren
Được phát hành: (2020)

Learn Raspberry Pi Programming with Python
Bỡi: Donat, Wolfram
Được phát hành: (2020)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Bỡi: Khendek, Ferhat, et al.
Được phát hành: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Được phát hành: (2020)

Phần cứng máy tính kỹ thuật và giải pháp
Bỡi: NGUYỄN TIẾN
Được phát hành: (2001)

ARM Assembly Language with Hardware Experiments
Bỡi: Elahi, Ata, et al.
Được phát hành: (2015)

Computer Aided Verification
Bỡi: Damm, Werner, et al.
Được phát hành: (2020)

Beginning Artificial Intelligence with the Raspberry Pi
Bỡi: Norris, Donald J.
Được phát hành: (2020)

Become ITIL Foundation Certified in 7 Days
Bỡi: Kaiser, Abhinav Krishna
Được phát hành: (2020)

Progress in Cryptology – AFRICACRYPT 2018
Bỡi: Joux, Antoine, et al.
Được phát hành: (2020)

Beginning Robotics with Raspberry Pi and Arduino
Bỡi: Cicolani, Jeff
Được phát hành: (2020)

Connecting Arduino to the Web
Bỡi: Knight, Indira
Được phát hành: (2020)

Robot Operating System (ROS) for Absolute Beginners
Bỡi: Joseph, Lentin
Được phát hành: (2020)

Beginning BBC micro:bit
Bỡi: Seneviratne, Pradeeka
Được phát hành: (2020)

Coding the Arduino
Bỡi: Dukish, Bob
Được phát hành: (2020)

C Programming for the PIC Microcontroller
Bỡi: Ward, Hubert Henry
Được phát hành: (2020)

Raspberry Pi for Arduino Users
Bỡi: Strickland, James R.
Được phát hành: (2020)

Machine Learning with the Raspberry Pi
Bỡi: Norris, Donald J.
Được phát hành: (2020)

Beginning STM32
Bỡi: Gay, Warren
Được phát hành: (2020)

Advanced Robotic Vehicles Programming
Bỡi: Mendoza-Mendoza, Julio Alberto, et al.
Được phát hành: (2020)

3D Printed Science Projects Volume 2. 1st ed.
Bỡi: Horvath, Joan, et al.
Được phát hành: (2020)

Programming PIC Microcontrollers with XC8. 1st ed.
Bỡi: Subero, Armstrong
Được phát hành: (2020)

Arduino Programming with .NET and Sketch. 1st ed.
Bỡi: Kurniawan, Agus
Được phát hành: (2020)

The Complete IS-IS Routing Protocol
Được phát hành: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Được phát hành: (2020)