Loại tài liệu:    Chỉ tìm trong: 
71-80 trong số 140 kết quả
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: 
 
Journal of Mechanical Engineering and Sciences
Tác giả:
Xuất bản: : Universiti Malaysia Pahang Publishing, 2013
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Journal of Universal Computer Science
Tác giả:
Xuất bản: : Graz University of Technology, 2021
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Frontiers in Applied Mathematics and Statistics
Tác giả:
Xuất bản: : Frontiers Media SA, 2016
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Algorithms for Molecular Biology
Tác giả:
Xuất bản: : BMC, 2006
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Computation
Tác giả:
Xuất bản: : MDPI AG, 2014
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits
Tác giả:
Xuất bản: : IEEE, 2019
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
The Logical Writings of Karl Popper
Tác giả: David Binder, David Binder, Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
International Journal of Mathematical Modelling & Computations
Tác giả:
Xuất bản: : Islamic Azad University, 2015
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Journal of Advanced Computational Intelligence and Intelligent Informatics
Tác giả:
Xuất bản: : Fuji Technology Press Ltd, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 

Truy cập nhanh danh mục