Loại tài liệu:    Chỉ tìm trong: 
91-100 trong số 118 kết quả
The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD +
Tác giả:
Xuất bản: MDPI - Multidisciplinary Digital Publishing Institute , 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Journal of Formalized Reasoning
Tác giả:
Xuất bản: University of Bologna , 2009
Bộ sưu tập: Báo giấy
ddc: 
 
Rule-based design verification for mechanical parts with dynamic rule subset selection
Tác giả: Hyeonji Lee, Kyung Cheol Bae, Byung Chul Kim, Seungeun Lim, Duhwan Mun, Changmo Yeo
Xuất bản: England: Scientific reports , 2025
Bộ sưu tập: NCBI
ddc:  005.7565
 
Theoretical model and experimental verification of seepage-transition-spontaneous imbibition in water migration of water-injected coal
Tác giả: Qiushuang Sun, YanLei Guo, Jian Chen, Xinda Yang, Xuehan Yan, Xiangming Hu, Liwen Guo, Yee-Chung Jin
Xuất bản: England: Scientific reports , 2025
Bộ sưu tập: NCBI
ddc:  363.73875
 
Network pharmacology and experimental verification to investigate the mechanism of isoliquiritigenin for the treatment of Alzheimer's disease
Tác giả: Waimao Gao, Guang Yang, Xinjuan Liu, Kaifan Hu, Jie Pan, Xingyu Wang, Yan Zhao, Ying Xu
Xuất bản: England: Scientific reports , 2025
Bộ sưu tập: NCBI
ddc:  004.678
 
Seeing Human Rights : Video Activism as a Proxy Profession
Tác giả: Sandra Ristovska
Xuất bản: Cambridge: The MIT Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  323
 
Network Bioscience, 2nd Edition
Tác giả: Marco Pellegrini, Marco Antoniotti, Marco Antoniotti, Bud Mishra, Bud Mishra, Marco Pellegrini
Xuất bản: Frontiers Media SA , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
Xuất bản: TU Wien Academic Press , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục