Loại tài liệu:    Chỉ tìm trong: 
161-167 trong số 167 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
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.1015113
 
Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Par...
Tác giả: Caires Luís
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.13
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
Tác giả: Flemming Nielson, David Sands
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.8
 
High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST Action IC1406 cHiPSet
Tác giả: González-Vélez Horacio, Joanna Kołodziej
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:  004.24
 
Afghanistan - Poverty, Vulnerability, and Social Protection : An Initial Assessment
Tác giả:
Xuất bản: Washington, DC , 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  958.1
 
Air Quality Assessment Standards and Sustainable Development in Developing Countries
Tác giả: Guanghui Yuan, Weixin Yang
Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Relevance of the World Bank Group's Early Response to COVID-19
Tác giả: Dominik Naeher
Xuất bản: Washington, DC: World Bank , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  362.9
 

Truy cập nhanh danh mục