Loại tài liệu:    Chỉ tìm trong: 
Tìm được 5 kết quả
Models, Methods and Tools for Product Service Design [electronic resource] : The Manutelligence Project
Tác giả: Laura Cattaneo, Sergio Terzi
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:  670
 
Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedi...
Tác giả: Weigang Wu, Rio Yokota
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:  006.3
 
Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July ...
Tác giả: Shuvendu K Lahiri, Chao Wang
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as...
Tác giả: Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference,...
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 
1

Truy cập nhanh danh mục