Loại tài liệu:    Chỉ tìm trong: 
211-220 trong số 277 kết quả
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijin...
Tác giả: Jaques Calmet, Tetsuo Ida, Dongming Wang
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Automata, Languages and Programming [electronic resource] : 31st International Colloquium, ICALP 2004, Turku, Finland, J...
Tác giả: Josep Diaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Confe...
Tác giả: Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Numerical methods in fluid dynamics : initial and initial boundary-value problems
Tác giả: Gary A Sod
Xuất bản: Cambridge [Cambridgeshire] ; New York, NY: Cambridge University Press , 1985.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  532.5
 
Automated inequality proving and discovering
Tác giả: Bican Xia, Lu Yang
Xuất bản: ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.26
 
Insight through computing : a MATLAB introduction to computational science and engineering
Tác giả: Charles F Van Loan, K-Y Daisy Fan
Xuất bản: Philadelphia, PA: Society for Industrial and Applied Mathematics , c2010.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  519.2
 
Numerical methods for equations and its applications
Tác giả: Ioannis K Argyros, Yeol Je Cho, Said Hilout
Xuất bản: Boca Raton: CRC Press , c2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  515.3
 
Effective computational methods for wave propagation
Tác giả: Vassilios A Dougalis, John A Ekaterinaris, Nikolaos A Kampanis
Xuất bản: Boca Raton: Chapman & Hall/CRC , c2008.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  530.124
 
Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6...
Tác giả: Mourad Baïou, Bernard Gendron, Oktay Günlük, A Ridha Mahjoub
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Spectral Flow A Functional Analytic and Index-Theoretic Approach
Tác giả: Nora Doll, Hermann Schulz-Baldes, Nils Waterstraat
Xuất bản: Berlin/Boston: De Gruyter , 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục