Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 46 kết quả
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part ...
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: 
 Thêm vào giỏ
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part ...
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: 
 Thêm vào giỏ
 
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Tác giả: Dhabaleswar K Panda, Dhabaleswar K Panda, Michael Sullivan, Michael Sullivan
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Critical Perspectives on Open Development Empirical Interrogation of Theory Construction
Tác giả: Arul Chib, Caitlin M Bentley, Caitlin M Bentley, Arul Chib, Matthew L Smith, Matthew L Smith
Xuất bản: Cambridge: The MIT Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Model-Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach
Tác giả: Elisabetta Di Nitto, Peter Matthews, Dana Petcu, Arnor Solberg
Xuất bản: Cham: Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6782
 Thêm vào giỏ
 
Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norw...
Tác giả: Evi Zouganeli, Pedro Lind, Pedro Lind, Gustavo Mello, Gustavo Mello, Anis Yazidi, Anis Yazidi, Evi Zouganeli
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670.42
 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ỏ
 
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach ...
Tác giả: Zhiming Zhao, Margareta Hellström, Margareta Hellström, Zhiming Zhao
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: 
 Thêm vào giỏ
 
The Cloud-to-Thing Continuum : Opportunities and Challenges in Cloud, Fog and Edge Computing
Tác giả: Theo Lynn, Patricia Takako Endo, Patricia Takako Endo, Brian Lee, Brian Lee, Theo Lynn, John G Mooney, John G Mooney
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.6782
 Thêm vào giỏ
 
Trước 2 3 4 5 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