Sökresultat - Keşif~

1

Gasification technologies : A primer for engineers and scientists

av Rezaiyan, John
Publicerad 2005

Ämnen: “...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 /

av Lê Anh.

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

3

Runtime Verification

Publicerad 2020

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

Hämta fulltext

4

Runtime Verification

av Sokolsky, Oleg, Tasiran, Serdar
Publicerad 2020

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

Hämta fulltext

5

Runtime Verification

av Lahiri, Shuvendu, Reger, Giles
Publicerad 2020

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

Hämta fulltext

6

Runtime Verification

Publicerad 2020

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

Hämta fulltext

7

16 categories of desire

av Douglas Glover
Publicerad 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

av Haines, Simon
Publicerad 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

av Perry, Douglas L.
Publicerad 2005

Ämnen: “...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

av Munden, Richard
Publicerad 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

av Bailey, Brian
Publicerad 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

av Chockler, Hana, Weissenbacher, Georg
Publicerad 2020

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

Hämta fulltext

13

Software Verification and Validation

av Fisher, Marcus S.
Publicerad 2020

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

Hämta fulltext

14

Computer Aided Verification

av Chockler, Hana, Weissenbacher, Georg
Publicerad 2020

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

Hämta fulltext

15

SystemVerilog for Verification

av Spear, Chris
Publicerad 2020

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

Hämta fulltext

16

Computer Aided Verification

av Majumdar, Rupak, Kunčak, Viktor
Publicerad 2020

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

Hämta fulltext

17

Numerical Software Verification

av Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra
Publicerad 2020

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

Hämta fulltext

18

Lectures on Runtime Verification

av Bartocci, Ezio, Falcone, Yliès
Publicerad 2020

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

Hämta fulltext

19

Resin Transfer Moulding

av Potter, Kevin
Publicerad 2011

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

Hämta fulltext

20

Software Verification and Analysis

av Laski, Janusz, Stanley, William
Publicerad 2020

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

Hämta fulltext

Begränsa sökningen