Leveraging Applications of Formal Methods, Verification and Validation - 7th International Symposium,

文件大小:64MB 分类:文档书籍 创建时间:2020-01-18 热度:11

Leveraging Applications of Formal Methods, Verification and Validation - 7th International Symposium,

文件大小:52MB 分类:文档书籍 创建时间:2018-04-23 热度:77

Guidelines for Digital Identity Verification 2023

文件大小:33MB 分类:文档书籍 创建时间:2023-08-10 热度:1

[ ] Software Verification - 13th International Conference, VSTTE 2021

文件大小:33MB 分类:文档书籍 创建时间:2022-05-10 热度:1

dlfeb.com.Analog.Circuit.Design.RF.Circuits.Wide.band.Front.Ends.DAC.s.Design.Methodology.and.Verification.for.RF.and.Mixed.Signal.Systems.Low.Power.and.Low.Voltage

文件大小:32MB 分类:文档书籍 创建时间:2018-03-13 热度:275

Electronic Design Automation for IC System - Design, Verification and Testing - 2nd Edition (2016) (Pdf

文件大小:28MB 分类:文档书籍 创建时间:2018-03-01 热度:200

Verification and Validation in Scientific Computing 2010

文件大小:25MB 分类:文档书籍 创建时间:2022-12-05 热度:1

Electronic Design Automation Synthesis, Verification, and Test

文件大小:23MB 分类:文档书籍 创建时间:2019-02-25 热度:90

Electronic Design Automation - Synthesis, Verification, and Test (2009) (Malestrom).pdf

文件大小:20MB 分类:文档书籍 创建时间:2018-06-10 热度:52

Computer Aided Verification - 28th International Conference, Part

文件大小:17MB 分类:文档书籍 创建时间:2018-03-20 热度:54