Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
261-270 trong số 290 kết quả
Solving PDEs in Python : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham, Switzerland: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
The Next Wave in Computing, Optimization, and Decision Technologies [electronic resource]
Tác giả: Bruce Golden, S Raghavan, Edward Wasil
Xuất bản: Boston, MA: Springer Science+Business Media, Inc , 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Software for Exascale Computing - SPPEXA 2016-2019
Tác giả: Hans-Joachim Bungartz, Hans-Joachim Bungartz, Wolfgang E Nagel, Wolfgang E Nagel, Philipp Neumann, Philipp Neumann, Severin Reiz, Severin Reiz, Benjamin Uekermann, Benjamin Uekermann
Xuất bản: Cham, Switzerland: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Evolutionary Equations : Picard's Theorem for Partial Differential Equations, and Applications
Tác giả: Christian Seifert, Sascha Trostorff, Marcus Waurick
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  515.35
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part o...
Tác giả: Patricia Bouyer, Patricia Bouyer, Lutz Schröder, Lutz Schröder
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
Mathematics and Life Sciences
Tác giả: Alexandra V Antoniouk, Alexandra V Antoniouk, Roderick V N Melnik, Roderick V N Melnik
Xuất bản: Berlin: De Gruyter , 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  570.151
 Thêm vào giỏ
 
Spectral Geometry of Partial Differential Operators
Tác giả: Michael Ruzhansky, Makhmud Sadybekov, Durvudkhan Suragan
Xuất bản: Boca Raton, FL: Taylor & Francis , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  516.362
 Thêm vào giỏ
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
Xuất bản: Cham, Switzerland: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Journal of Innovative Applied Mathematics and Computational Sciences
Tác giả:
Xuất bản: Institute of Sciences and Technology, University Center Abdelhafid Boussouf, Mila , 2022
Bộ sưu tập: Báo giấy
ddc: 
 Thêm vào giỏ
 
Trước 25 26 27 28 29 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media