Automated Technology for Verification and Analysis

Mã QR

Automated Technology for Verification and Analysis

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Peled, Doron A., Tsay, Yih-Kuen
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81598
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ự

Automated Technology for Verification and Analysis
Bỡi: Namjoshi, Kedar, et al.
Được phát hành: (2020)

Computer Aided Systems Theory – EUROCAST 2005
Bỡi: Moreno-Díaz, Roberto, et al.
Được phát hành: (2020)

Automated Technology for Verification and Analysis
Được phát hành: (2020)

Control and Automation
Được phát hành: (2020)

Functional Verification Coverage Measurement and Analysis
Bỡi: Piziali, Andrew
Được phát hành: (2020)

Open Verification Methodology Cookbook
Bỡi: Glasser, Mark
Được phát hành: (2020)

Verification, Model Checking, and Abstract Interpretation
Bỡi: Logozzo, Francesco, et al.
Được phát hành: (2020)

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

Standardized Functional Verification
Bỡi: Wiemann, Alan
Được phát hành: (2020)

SystemVerilog for Verification
Bỡi: Spear, Chris
Được phát hành: (2020)

Functional Design Errors in Digital Circuits
Bỡi: Chang, Kai-hui, et al.
Được phát hành: (2020)

Inhibitory Rules in Data Analysis
Được phát hành: (2020)

Machine Learning Methods for Reverse Engineering of Defective Structured Surfaces
Bỡi: Laube, Pascal
Được phát hành: (2020)

Rough Set Theory: A True Landmark in Data Analysis
Được phát hành: (2020)

The Universal Generating Function in Reliability Analysis and Optimization
Bỡi: Levitin, Gregory
Được phát hành: (2020)

Critical Systems: Formal Methods and Automated Verification
Bỡi: Petrucci, Laure, et al.
Được phát hành: (2020)

AI Technology for Underwater Robots
Bỡi: Kirchner, Frank, et al.
Được phát hành: (2020)

Design Computing and Cognition '08
Bỡi: Gero, John S., et al.
Được phát hành: (2020)

Product Lifecycle Management and the Industry of the Future
Bỡi: Ríos, José, et al.
Được phát hành: (2020)

Models for Computer Aided Tolerancing in Design and Manufacturing
Bỡi: Davidson, Joseph K.
Được phát hành: (2020)

Solid Modeling and Applications
Bỡi: Um, Dugan
Được phát hành: (2020)

Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future. 1st ed. 2018
Bỡi: Trzcielinski, Stefan
Được phát hành: (2020)

Nanosystems Design and Technology
Bỡi: DeMicheli, Giovanni, et al.
Được phát hành: (2020)

Backward Fuzzy Rule Interpolation
Bỡi: Jin, Shangzhu, et al.
Được phát hành: (2019)

Engineering Applications for New Materials and Technologies
Bỡi: Öchsner, Andreas
Được phát hành: (2020)

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing
Bỡi: Lödding, Hermann, et al.
Được phát hành: (2020)

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0
Bỡi: Moon, Ilkyeong, et al.
Được phát hành: (2020)

Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing
Bỡi: Moon, Ilkyeong, et al.
Được phát hành: (2020)

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing
Bỡi: Lödding, Hermann, et al.
Được phát hành: (2020)

Computer-Aided Architectural Design. Future Trajectories
Được phát hành: (2020)

Genetic Algorithms for Applied CAD Problems
Được phát hành: (2020)

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

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

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

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

Numerical Software Verification
Bỡi: Abate, Alessandro, et al.
Được phát hành: (2020)

Numerical Software Verification
Bỡi: Bogomolov, Sergiy, et al.
Được phát hành: (2020)

Computer Aided Verification
Được phát hành: (2020)

A First Introduction to the Finite Element Analysis Program MSC Marc/Mentat. 2nd ed. 2018
Bỡi: Öchsner, Andreas, et al.
Được phát hành: (2020)

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