Loại tài liệu:    Chỉ tìm trong: 
71-80 trong số 118 kết quả
Proton Pump Inhibitor Omeprazole Alters the Spiking Characteristics of Proteinoids
Tác giả: Panagiotis Mougkogiannis, Andrew Adamatzky
Xuất bản: United States: ACS omega , 2025
Bộ sưu tập: NCBI
ddc:  156.2
 
Automated Deduction - CADE-17 [electronic resource] : 17th International Conference on Automated Deduction Pittsburgh, P...
Tác giả: David McAllester
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:  006.3
 
Deep beauty : understanding the quantum world through mathematical innovation
Tác giả: Hans Halvorson
Xuất bản: Cambridge ; New York: Cambridge University Press , 2011.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.120151
 
Computational Artifacts [electronic resource] : Towards a Philosophy of Computer Science
Tác giả: Raymond Turner
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2018.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Association between Capillaria hepatica infection-induced alterations in gut microbiota and estrogen expression in Brand...
Tác giả: Bin Hu, Shengyong Feng, Sichao Gao, Shuyi Han, Hongxuan He, Gaojian Li, Yanan Xing, Kening Yue, Daibao Zhang, Ning Zhao
Xuất bản: England: BMC veterinary research , 2025
Bộ sưu tập: NCBI
ddc:  286.136
 
Reducing allogenic blood exposure in paediatric cellular therapy collections: A conservative prime strategy
Tác giả: Andriana Pavlovich, Yamac Akgun
Xuất bản: England: Transfusion medicine (Oxford, England , 2025
Bộ sưu tập: NCBI
ddc:  612.14
 
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
Tác giả: Calixto Badesa, Calixto Badesa
Xuất bản: Princeton: Princeton University Press , c2004.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 
Theorems, Corollaries, Lemmas, and Methods of Proof
Tác giả: Richard J Rossi
Xuất bản: New jersey: John Wiley 7 Sons, Inc , 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.36
 
Intelligent Computer Mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010 and 9th int...
Tác giả: Serge Autexier
Xuất bản: Berlin: Springer-Verlag , 2010.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 
Qualitative spatial and temporal reasoning
Tác giả: Gérard Ligozat
Xuất bản: London, UK : Hoboken, N.J: ISTE ; Wiley , 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục