Loại tài liệu:    Chỉ tìm trong: 
1761-1770 trong số 1798 kết quả
Mathematical and Computational Applications
Tác giả:
Xuất bản: MDPI AG , 2017
Bộ sưu tập: Báo giấy
ddc: 
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 
Anisotropy Across Fields and Scales [electronic resource]
Tác giả: Andrea Fuster, Evren Özarslan, Thomas Schultz, Eugene Zhang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Handbook of Mathematical Geosciences [electronic resource] : Fifty Years of IAMG
Tác giả: Frits Agterberg, Qiuming Cheng, BS Daya Sagar
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  553
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
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
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
Tác giả: Mikołaj Bojańczyk, Alex Simpson
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
The Amazing Journey of Reason [electronic resource] : from DNA to Artificial Intelligence
Tác giả: Mario Alemi
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
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
Tác giả: Jean Goubault-Larrecq, Barbara König
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:  511.3
 
Probability in Electrical Engineering and Computer Science [electronic resource] : An Application-Driven Course
Tác giả: Jean Walrand
Xuất bản: Cham, Switzerland: Springer International Publishing , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.55
 
Industrial refrigeration handbook [electronic resource]
Tác giả: W F Stoecker, W F Stoecker
Xuất bản: New York: McGraw-Hill , 1998
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  621.5
 

Truy cập nhanh danh mục