Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
621-630 trong số 3052 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland : Imprint: Springer , 2023.
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] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Data Parallel C+ + [electronic resource] : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
Tác giả: James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian
Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 Thêm vào giỏ
 
Databases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 2014
Tác giả: Hele-Mai Haav, Ahto Kalja, Tarmo Robal
Xuất bản: ,
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Mixed-Criticality Industrial Wireless Networks [electronic resource]
Tác giả: Xi Jin, Dong Li, Changqing Xia, Chi Xu
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Peter Müller
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:  005.13
 Thêm vào giỏ
 
Biomedical Engineering Systems and Technologies [electronic resource] : 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
Tác giả: Hesham H Ali, Carlos Maciel, Nathalia Peixoto, Margarida Silveira, Egon L van den Broek
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.285
 Thêm vào giỏ
 
Communication Systems and Networks [electronic resource] : 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4–8, 2017, Revised Selected Papers and Invited Papers
Tác giả: Sandip Chakraborty, Nishanth Sastry
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Biomimetic and Biohybrid Systems [electronic resource] : Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings
Tác giả: Armin Duff, Nathan F Lepora, Anna Mura, Tony J Prescott, Paul FMJ Verschure
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12–14, 2018, Proceedings
Tác giả: Gennady Agre, Thierry Declerck, Josef van Genabith
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Trước 61 62 63 64 65 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo