Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 240 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: 
 Thêm vào giỏ
 
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
Xuất bản: : Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 Thêm vào giỏ
 
Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC14...
Tác giả: Carla Ferreira, Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
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:  621.395
 Thêm vào giỏ
 
Giáo trình thực hành CAD-CAM : Thiết kế cơ khí - điện tử và mô phỏng với Catia & Visual Nastran
Tác giả: Thanh Tâm
Xuất bản: TpHồ Chí Minh: Hồng Đức, 2010
Bộ sưu tập: Khoa học ứng dụng
Bản in
ddc:  620.00420285
 Thêm vào giỏ
 
Evaluating Architectural Safeguards for Uncertain AI Black-Box Components
Tác giả: Max Scheerer
Xuất bản: : KIT Scientific Publishing, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proce...
Tác giả: Tadeusz Czachórski, Tadeusz Czachórski, Erol Gelenbe, Erol Gelenbe, Krzysztof Grochla, Krzysztof Grochla, Ricardo Lent, Ricardo Lent
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Intensif: Jurnal Ilmiah Penelitian Teknologi dan Penerapan Sistem Informasi
Tác giả:
Xuất bản: : Universitas Nusantara PGRI Kediri, 2019
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Open Computer Science
Tác giả:
Xuất bản: : De Gruyter, 2018
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
Trước 20 21 22 23 24 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media