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: 
2451-2460 trong số 2709 kết quả
The Territory of Japan Its History and Legal Basis
Tác giả: Kentaro Serita
Xuất bản: Singapore: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
The Future of China's Development and Globalization Views from Ambassadors to China
Tác giả:
Xuất bản: Singapore: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021
Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Internet of Things. Information Processing in an Increasingly Connected World : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018
Tác giả: Leon Strous, Vinton G Cerf, Vinton G Cerf, Leon Strous
Xuất bản: Cham: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.678
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 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, Dirk Beyer, Marieke Huisman, Marieke Huisman
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 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ỏ
 
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ỏ
 
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: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Trước 244 245 246 247 248 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