Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 34 kết quả
Results in Applied Mathematics
Tác giả:
Xuất bản: : Elsevier, 2019
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Information Technology and Management Science
Tác giả:
Xuất bản: : RTU PRESS, 2015
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Proceedings of the International Conference on Applied Innovations in IT
Tác giả:
Xuất bản: : Anhalt University of Applied Sciences, 2023
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Journal of Applied Structural Equation Modeling
Tác giả:
Xuất bản: : Sarawak Research Society SRS, 2020
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
IET Intelligent Transport Systems
Tác giả:
Xuất bản: : Wiley, 2021
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Mathematical and Computational Applications
Tác giả:
Xuất bản: : MDPI AG, 2017
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
Wadi Flash Floods : Challenges and Advanced Approaches for Disaster Risk Reduction
Tác giả: Tetsuya Sumi, Sameh A Kantoush, Sameh A Kantoush, Mohamed Saber, Mohamed Saber, Tetsuya Sumi
Xuất bản: Singapore: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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: 
 
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.24
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục