Loại tài liệu:    Chỉ tìm trong: 
1121-1130 trong số 1260 kết quả
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: 
 
Architecture-based Evolution of Dependable Software-intensive Systems
Tác giả: Robert Heinrich
Xuất bản: KIT Scientific Publishing , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tecnología, Ciencia y Educación
Tác giả:
Xuất bản: Centro de Estudios Financieros , 2017
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Digital geometry in image processing
Tác giả: Jayanta Mukhopadhyay
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.601516
 
IET Software
Tác giả:
Xuất bản: Hindawi-IET , 2021
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Techno.Com
Tác giả:
Xuất bản: Universitas Dian Nuswantoro , 2016
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Synthèse
Tác giả:
Xuất bản: Université Badji Mokhtar Annaba , 2020
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Journal of ICT Research and Applications
Tác giả:
Xuất bản: ITB Journal Publisher , 2016
Bộ sưu tập: Báo, Tạp chí
ddc: 
 

Truy cập nhanh danh mục