Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 3722 kết quả
Automated Technology for Verification and Analysis [electronic resource] : 16th International Symposium, ATVA 2018, Los ...
Tác giả: Shuvendu K Lahiri, Chao Wang
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.1
 
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
Tác giả: Robert Mercaş, Daniel Reidenbach
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.131
 
Risk and Uncertainty Analysis
Tác giả: Peter Mackie
Xuất bản: World Bank, Washington, DC , 2012
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.12
 
Cloud Computing and Services Science [electronic resource] : 6th International Conference, CLOSER 2016, Rome, Italy, Apr...
Tác giả: Jorge Cardoso, Donald Ferguson, Markus Helfert, Victor Méndez Muñoz
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Combinatorial Testing in Cloud Computing [electronic resource]
Tác giả: Wei-Tek Tsai, Guanqiu Qi
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Bridging the Gap between Requirements Engineering and Software Architecture [electronic resource] : A Problem-Oriented a...
Tác giả: Azadeh Alebrahim
Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automotive Software Architectures [electronic resource] : An Introduction
Tác giả: Miroslaw Staron
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Automated Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune...
Tác giả: Deepak D'Souza, K Narayan Kumar
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, Septemb...
Tác giả: Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Cloud Computing and Services Sciences [electronic resource] : International Conference in Cloud Computing and Services S...
Tác giả: Frédéric Desprez, Donald Ferguson, Markus Helfert, Frank Leymann, Victor Méndez Munoz
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
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