Loại tài liệu:    Chỉ tìm trong: 
411-420 trong số 2074 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Tác giả: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.45
 
Big Data Technology and Applications [electronic resource] : First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings
Tác giả: Wenguang Chen, Qilong Han, Weipeng Jing, Zeguang Lu, Guanglu Sun, Guisheng Yin, Gansen Zhao
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 
Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Tác giả: Cyrille Artho, Axel Legay, Doron Peled
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Tác giả: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Scientific and technical acronyms, symbols, and abbreviations
Tác giả: Uwe Erb, Harald Keller
Xuất bản: New York: Wiley-Interscience , 2001
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  501.48
 
U-X-L encyclopedia of science
Tác giả: Rob Nagel
Xuất bản: Detroit: U-X-L , 2002.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  503
 
Buitenlandse invloeden op Nederland: Beschikbaarheid van wetenschappelijke en technische kennis
Tác giả: WRR
Xuất bản: s-Gravenhag: WRR , 1976
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
The Impact of Air Pollution on Health, Economy, Environment and Agricultural Sources
Tác giả: Mohamed K Khallaf, Mohamed K Khallaf
Xuất bản: Croatia: IntechOpen , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Chemistry, Emission Control, Radioactive Pollution and Indoor Air Quality
Tác giả: Nicolas Mazzeo, Nicolas Mazzeo
Xuất bản: Croatia: IntechOpen , 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  910
 
Bacterial Biofilms
Tác giả: Sadik Dincer, Afet Arkut, Afet Arkut, Sadik Dincer, Melis Sümengen Özdenefe, Melis Sümengen Özdenefe
Xuất bản: London, UK: IntechOpen , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục