תוצאות חיפוש

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

קבל טקסט מלא

צמצם חיפוש