检索结果 - Keşif~

1

Gasification technologies : A primer for engineers and scientists

由 Rezaiyan, John
出版 2005

主题: “...Biomass gasification,Gas manufacture and works...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

2

Kenton Residences : Một thế giới tuyệt vời tại nam Sài Gòn /

由 Lê Anh.

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

3

Runtime Verification

出版 2020

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

获取全文

4

Runtime Verification

由 Sokolsky, Oleg, Tasiran, Serdar
出版 2020

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

获取全文

5

Runtime Verification

由 Lahiri, Shuvendu, Reger, Giles
出版 2020

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

获取全文

6

Runtime Verification

出版 2020

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

获取全文

7

16 categories of desire

由 Douglas Glover
出版 2000

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

8

First cetificate masterclass : Student's book

由 Haines, Simon
出版 2004

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

9

Applied formal verification

由 Perry, Douglas L.
出版 2005

主题: “...Verification,Testing...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

10

ASIC and FPGA verification : A guide to component modeling

由 Munden, Richard
出版 2005

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

11

ESL design and verification : a prescription for electronic system-level methodology

由 Bailey, Brian
出版 2007

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

12

Computer Aided Verification

由 Chockler, Hana, Weissenbacher, Georg
出版 2020

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

获取全文

13

Software Verification and Validation

由 Fisher, Marcus S.
出版 2020

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

获取全文

14

Computer Aided Verification

由 Chockler, Hana, Weissenbacher, Georg
出版 2020

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

获取全文

15

SystemVerilog for Verification

由 Spear, Chris
出版 2020

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

获取全文

16

Computer Aided Verification

由 Majumdar, Rupak, Kunčak, Viktor
出版 2020

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

获取全文

17

Numerical Software Verification

由 Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra
出版 2020

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

获取全文

18

Lectures on Runtime Verification

由 Bartocci, Ezio, Falcone, Yliès
出版 2020

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

获取全文

19

Resin Transfer Moulding

由 Potter, Kevin
出版 2011

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

获取全文

20

Software Verification and Analysis

由 Laski, Janusz, Stanley, William
出版 2020

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

获取全文

缩小搜索