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: 
11-20 trong số 43 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland
Tác giả: Peter Müller, Peter Müller
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
The Austin Protocol Compiler
Tác giả: Tommy M McGuire, Mohamed G Gouda
Xuất bản: kđ: Springer-Verlag New York Inc , 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.453
 Thêm vào giỏ
 
ECLAP 2012 Conference on Information Technologies for Performing Arts, Media Access and Entertainment
Tác giả: Raffaella Santucci, Paolo Nesi, Paolo Nesi, Raffaella Santucci
Xuất bản: Firenze: Firenze University Press , 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  776
 Thêm vào giỏ
 
AXMEDIS 2008 : Proceedings of the 4th International Conference on Automated Solutions for Cross Media Content and Multi-...
Tác giả: Jaime Delgado, Jaime Delgado, Paolo Nesi, Paolo Nesi, Kia Ng, Kia Ng
Xuất bản: Firenze: Firenze University Press , 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.7
 Thêm vào giỏ
 
Australasian Conference on Information Systems 2018
Tác giả:
Xuất bản: Broadway: UTS ePRESS , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Telfor Journal
Tác giả:
Xuất bản: Telecommunications Society, Academic Mind , 2013
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
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 : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
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 : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Pa...
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
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ỏ
 
Trước 1 2 3 4 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