Arama Sonuçları

1

Gasification technologies : A primer for engineers and scientists

Yazar: Rezaiyan, John
Baskı/Yayın Bilgisi 2005

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

Yazar: Lê Anh.

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

3

Runtime Verification

Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

4

Runtime Verification

Yazar: Sokolsky, Oleg, Tasiran, Serdar
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

5

Runtime Verification

Yazar: Lahiri, Shuvendu, Reger, Giles
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

6

Runtime Verification

Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

7

16 categories of desire

Yazar: Douglas Glover
Baskı/Yayın Bilgisi 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

Yazar: Haines, Simon
Baskı/Yayın Bilgisi 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

Yazar: Perry, Douglas L.
Baskı/Yayın Bilgisi 2005

Konular: “...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

Yazar: Munden, Richard
Baskı/Yayın Bilgisi 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

Yazar: Bailey, Brian
Baskı/Yayın Bilgisi 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

Yazar: Chockler, Hana, Weissenbacher, Georg
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

13

Software Verification and Validation

Yazar: Fisher, Marcus S.
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

14

Computer Aided Verification

Yazar: Chockler, Hana, Weissenbacher, Georg
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

15

SystemVerilog for Verification

Yazar: Spear, Chris
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

16

Computer Aided Verification

Yazar: Majumdar, Rupak, Kunčak, Viktor
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

17

Numerical Software Verification

Yazar: Bogomolov, Sergiy, Martel, Matthieu, Prabhakar, Pavithra
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

18

Lectures on Runtime Verification

Yazar: Bartocci, Ezio, Falcone, Yliès
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

19

Resin Transfer Moulding

Yazar: Potter, Kevin
Baskı/Yayın Bilgisi 2011

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

Tam Metin Erişim

20

Software Verification and Analysis

Yazar: Laski, Janusz, Stanley, William
Baskı/Yayın Bilgisi 2020

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

Tam Metin Erişim

Aramayı Daralt