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: 
141-150 trong số 420 kết quả
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: NCBI
ddc: 
 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: NCBI
ddc: 
 Thêm vào giỏ
 
Multiscale Biomechanics and Tribology of Inorganic and Organic Systems : In memory of Professor Sergey Psakhie
Tác giả: Georg-Peter Ostermeyer, Georg-Peter Ostermeyer, Georg-Peter Ostermeyer, Valentin L Popov, Valentin L Popov, Valentin L Popov, Evgeny V Shilko, Evgeny V Shilko, Evgeny V Shilko, Olga S Vasiljeva, Olga S Vasiljeva, Olga S Vasiljeva
Xuất bản: Springer Nature , 2021
Bộ sưu tập: NCBI
ddc: 
 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 : 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: NCBI
ddc: 
 Thêm vào giỏ
 
Systems
Tác giả:
Xuất bản: Golden, Colo. : Oak Ridge, Tenn: National Renewable Energy Laboratory (U.S.) ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2013
Bộ sưu tập: Metadata
ddc:  666.3
 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: NCBI
ddc:  005.1015113
 Thêm vào giỏ
 
Children's Hospital 2: analysis of data from hospital information systems
Tác giả: Thành Đạt Nguyễn, Thị Mỹ Linh Đoàn, Lương Huyền Trân Nguyễn, Bảo Châu Phạm, Thị Xuân Uyên Trần
Xuất bản: Tạp chí Y học Việt Nam , 2024
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  610
 Thêm vào giỏ
 
Solid Ground
Tác giả:
Xuất bản: World Bank, Washington, DC , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  635.96
 Thêm vào giỏ
 
Cellular Automata and Discrete Complex Systems [electronic resource] : 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Tác giả: Alonso Castillo-Ramirez, Pedro P B de Oliveira
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
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 13 14 15 16 17 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