Loại tài liệu:    Chỉ tìm trong: 
11-16 trong số 16 kết quả
Supercomputing Frontiers [electronic resource] : 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedi...
Tác giả: David Abramson, Bronis R de Supinski
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:  004.6
 
Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Par...
Tác giả: Peter Müller
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:  005.13
 
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as P...
Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings
Tác giả: Dhabaleswar K Panda, Dhabaleswar K Panda
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:  004.11
 
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European ...
Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer Nature, 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 : 26th International Conference, TACAS 2020, Held as P...
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 

Truy cập nhanh danh mục