Loại tài liệu:    Chỉ tìm trong: 
311-317 trong số 317 kết quả
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Par...
Tác giả: Nobuko Yoshida
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:  005.13
 
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Par...
Tác giả: Amal Ahmed
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.13
 
Enhanced Living Environments [electronic resource] : Algorithms, Architectures, Platforms, and Systems
Tác giả: Ciprian Dobre, Ivan Ganchev, Nuno M Garcia, Rossitza Goleva, Constandinos X Mavromoustakis
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
 
Policy-Oriented Technology Assessment Across Europe [electronic resource] : Expanding Capacities
Tác giả: Marie Louise Jørgensen, Lars Klüver, Rasmus Øjvind Nielsen
Xuất bản: London: Palgrave Macmillan UK : Imprint: Palgrave Macmillan , 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 
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
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
Tác giả: Jean Goubault-Larrecq, Barbara König
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:  511.3
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
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:  005.1
 

Truy cập nhanh danh mục