Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 314 kết quả
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Communication Systems [electronic resource] : The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August 25–30, 2002, Montréal, Québec
Tác giả: Lyman Chapin
Xuất bản: New York, NY: Springer US : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  621.3
 
Rosé or white, glass or plastic: computer vision and machine learning study of cavitation bubbles in sparkling wines
Tác giả: Timur Aliev, Ilya Korolev, Mikhail Yasnov, Michael Nosonovsky, Ekaterina V Skorb
Xuất bản: England: RSC advances , 2025
Bộ sưu tập: NCBI
ddc:  305.556
 
Rosé or white, glass or plastic: computer vision and machine learning study of cavitation bubbles in sparkling wines
Tác giả: Timur Aliev, Ilya Korolev, Mikhail Yasnov, Michael Nosonovsky, Ekaterina V Skorb
Xuất bản: England: RSC advances , 2025
Bộ sưu tập: NCBI
ddc:  305.556
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Arbeit. Wohnen. Computer : Zur Utopie in der bildenden Kunst und Architektur der DDR in den 1960er Jahren
Tác giả: Oliver Sukrow
Xuất bản: Heidelberg: Heidelberg University Publishing (heiUP , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  700
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
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: 
 
Information security architecture : an integrated approach to security in the organization
Tác giả: Jan Killmeyer Tudor
Xuất bản: Boca Raton, FL: Auerbach Publications , 2006
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  658.478
 

Truy cập nhanh danh mục