Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
441-450 trong số 1206 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory
Tác giả: Dana Fisman, Grigore Rosu
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
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: 
 Thêm vào giỏ
 
Security for Web Services and Service-Oriented Architectures [electronic resource]
Tác giả: Elisa Bertino, Lorenzo Martino, Federica Paci, Anna Squicciarini
Xuất bản: Berlin Heidelberg: SpringerVerlag Berlin Heidelberg, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Managing and Mining Graph Data [electronic resource]
Tác giả: Charu C Aggarwal, Haixun Wang
Xuất bản: Boston MA: Springer ScienceBusiness Media LLC, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Canadian Semantic Web [electronic resource] : Technologies and Applications
Tác giả: Weichang Du, Faezeh Ensan
Xuất bản: Boston MA: Springer ScienceBusiness Media LLC, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  025.04
 Thêm vào giỏ
 
Advances in Geoscience and Remote Sensing
Tác giả: Gary Jedlovec, Gary Jedlovec
Xuất bản: Croatia: IntechOpen, 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Remote Sensing : Applications
Tác giả: Boris Escalante-Ramirez, Boris Escalante-Ramirez
Xuất bản: Croatia: IntechOpen, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Remote Sensing : Advanced Techniques and Platforms
Tác giả: Boris Escalante-Ramirez, Boris Escalante-Ramirez
Xuất bản: Croatia: IntechOpen, 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  471.7
 Thêm vào giỏ
 
Trước 43 44 45 46 47 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