Loại tài liệu:    Chỉ tìm trong: 
281-290 trong số 292 kết quả
Advanced Problems in Mathematics : Preparing for University
Tác giả: Stephen Siklos
Xuất bản: Cambridge: Open Book Publishers , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  510.76
 
Biological Networks
Tác giả: Neda Bagheri (Ed), Rudiyanto Gunawan (Ed)
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
Xuất bản: Vienna: TU Wien Academic Press , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
Xuất bản: Vienna: TU Wien Academic Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Mathematical and Computational Applications
Tác giả:
Xuất bản: MDPI AG , 2017
Bộ sưu tập: Báo giấy
ddc: 
 
Programming for Computations - Python [electronic resource] : A Gentle Introduction to Numerical Simulations with Python...
Tác giả: Svein Linge, Hans Petter Langtangen
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
 
Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations wit...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
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
 
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
 
AI Knowledge Transfer from the University to Society : Applications in High-Impact Sectors
Tác giả: José Guadix Martín, Milica Lilic, Milica Lilic, José Guadix Martín, Marina Rosales Martínez, Marina Rosales Martínez
Xuất bản: Boca Raton, FL ; Abingdon, Oxon: Taylor & Francis , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 

Truy cập nhanh danh mục