Loại tài liệu:    Chỉ tìm trong: 
391-400 trong số 3527 kết quả
Transactions on Modularity and Composition I
Tác giả: Shigeru Chiba, Shigeru Chiba, Patrick Eugster, Patrick Eugster, Mario Südholt, Mario Südholt, Gary T Leavens, Gary T Leavens, Lukasz Ziarek, Lukasz Ziarek
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.112
 
Interfaces on Trial 2.0
Tác giả: Jonathan Band, Masanobu Katoh
Xuất bản: Cambridge: The MIT Press, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  346.0482
 
DevOps for Digital Leaders [electronic resource] : Reignite Business with a Modern DevOps-Enabled Software Factory
Tác giả: Aruna Ravichandran, Kieran Taylor, Peter Waterhouse
Xuất bản: New York NY: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Computational Intelligence and Modern Heuristics
Tác giả: Al-Dahoud Ali, Al-Dahoud Ali
Xuất bản: Croatia: IntechOpen, 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  813.54
 
Aesthetic Programming : A Handbook of Software Studies
Tác giả: Winnie Soon, Geoff Cox
Xuất bản: : Open Humanities Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.118
 
Ant Colony Optimization : Techniques and Applications
Tác giả: Helio JC Barbosa, Helio JC Barbosa
Xuất bản: Croatia: IntechOpen, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  328.752
 
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Tác giả: Fouad ben Nasr Omri
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Tác giả: Benjamin Weiß
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.14
 
Soft Computing : Techniques in Engineering Sciences (Volume 1)
Tác giả: Mangey Ram, Mangey Ram, Suraj B Singh, Suraj B Singh
Xuất bản: Berlin Boston: De Gruyter, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  330
 

Truy cập nhanh danh mục