Loại tài liệu:    Chỉ tìm trong: 
901-910 trong số 1034 kết quả
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Smart parking in fast-growing cities : Challenges and Solutions
Tác giả: Stephan Winter, SALIL GOEL, SALIL GOEL, Stephan Winter
Xuất bản: Vienna: TU Wien Academic Press, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Diabetes systems biology : quantitative methods for understanding beta-cell dynamics and function
Tác giả: Anmar Khadra
Xuất bản: Bristol England Temple Circus Temple Way Bristol BS1 6HG UK: IOP Publishing, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
 
Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Com...
Tác giả: Hasti Seifi, Alireza Abbasimoshaei, Alireza Abbasimoshaei, Knut Drewing, Knut Drewing, Gijs Huisman, Gijs Huisman, Astrid M L Kappers, Astrid M L Kappers, Thorsten A Kern, Thorsten A Kern, Claudio Pacchierotti, Claudio Pacchierotti, Oliver Schneider, Oliver Schneider, Hasti Seifi
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Energy Justice Across Borders [electronic resource]
Tác giả: Gunter Bombaerts, Wang Guoyu, Kirsten Jenkins, Yekeen A Sanusi
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  601
 
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July ...
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
Tác giả: Flemming Nielson, David Sands
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.8
 
Biomedical Signal and Image Processing
Tác giả: Kayvan Najarian, Robert Splinter
Xuất bản: Boca Raton FL: Taylor Francis, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.28
 
Optimal Control for Chemical Engineers
Tác giả: Simant Ranjan Upreti
Xuất bản: Basel Switzerland: Taylor Francis, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  519.6
 
Microfluidics and Nanofluidics Handbook : Fabrication, Implementation, and Applications
Tác giả: Sushanta K Mitra, Suman Chakraborty, Suman Chakraborty, Sushanta K Mitra
Xuất bản: Boca Raton FL: Taylor Francis, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  620.106
 

Truy cập nhanh danh mục