Loại tài liệu:    Chỉ tìm trong: 
101-110 trong số 140 kết quả
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: 
 
Advanced Biomedical Engineering
Tác giả:
Xuất bản: : Japanese Society for Medical and Biological Engineering, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
International Journal of Computing and Digital Systems
Tác giả:
Xuất bản: : University of Bahrain, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Intelligent Systems with Applications
Tác giả:
Xuất bản: : Elsevier, 2022
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Cognitive Computation and Systems
Tác giả:
Xuất bản: : Wiley, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
Spectral Geometry of Graphs
Tác giả:
Xuất bản: Berlin Heidelberg: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Introduction to Scientific Programming with Python
Tác giả: Joakim Sundnes
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:  005.133
 
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Anthony Seda
Xuất bản: Boca Raton FL: Taylor Francis, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
Tác giả: Reiner Hähnle, Wil van der Aalst
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.1
 
Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the Eu...
Tác giả: Lujo Bauer, Ralf Küsters
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.8
 

Truy cập nhanh danh mục