Loại tài liệu:    Chỉ tìm trong: 
71-80 trong số 119 kết quả
Introduction to linear optimization and extensions with MATLAB®
Tác giả: Roy H Kwon
Xuất bản: Boca Raton, Fla: CRC Press , c201
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  519.72
 
New essays on Tarski and philosophy
Tác giả: Douglas Patterson
Xuất bản: Oxford ; New York: Oxford University Press , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  510.1
 
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
 
Fuzzy rationality [electronic resource] : a critique and methodological unity of classical, bounded and other rationalit...
Tác giả: K K Dompere
Xuất bản: Berlin: Springer , 2009.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 
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
 
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
 
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
 

Truy cập nhanh danh mục