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ố 654 kết quả
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ỏ
 
Advanced Digital Auditing [electronic resource] : Theory and Practice of Auditing Complex Information Systems and Techno...
Tác giả: Egon Berghout, Bert-Jan Butijn, Mona de Boer, Rob Fijneman, Lennard Hendriks
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  658.05
 Thêm vào giỏ
 
Blockchain and Supply Chain Logistics [electronic resource] : Evolutionary Case Studies
Tác giả: Nachiappan Subramanian, Atanu Chaudhuri, Yaşanur Kayıkcı
Xuất bản: Cham: Springer International Publishing : Imprint: Palgrave Pivot , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  658.7
 Thêm vào giỏ
 
Control Theory Tutorial: Basic Concepts Illustrated by Software Examples
Tác giả: Steven A Frank
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.8312
 Thêm vào giỏ
 
Control Theory Tutorial: Basic Concepts Illustrated by Software Examples
Tác giả: Steven A Frank
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  629.8312
 Thêm vào giỏ
 
Realigning Incentives to Build Better Software: a Holistic Approach to Vendor Accountability
Tác giả: Gergely Biczók, Mingyan Liu, Sasha Romanosky
Xuất bản: , 2025
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  233.4
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Ne...
Tác giả: Jos CM Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J Woeginger
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2003.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Aspect-Oriented Database Systems [electronic resource]
Tác giả: Awais Rashid
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  003.54
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, J...
Tác giả: Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerla...
Tác giả: Ugo Montanari, Jose DP Rolim, Emo Welzl
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 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