Loại tài liệu:    Chỉ tìm trong: 
2651-2660 trong số 3002 kết quả
Parameter dependencies for reusable performance specifications of software components
Tác giả: Heiko Koziolek
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.12
 
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis
Tác giả: Klaus Krogmann
Xuất bản: Liverpool: KIT Scientific Publishing, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.12
 
Towards automated restructuring of object oriented systems
Tác giả: Adrian Ioan Alexandru Trifu
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2008
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.14
 
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Tác giả: Daniel Wasserrab
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.12028
 
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
 
Intel Galileo and Intel Galileo Gen 2 : API Features and Arduino Projects for Linux Programmers
Tác giả: Manoel Ramon
Xuất bản: : Springer Nature, 2014
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
DevOps for Digital Leaders : Reignite Business with a Modern DevOps-Enabled Software Factory
Tác giả: Aruna Ravichandran, Kieran Taylor, Peter Waterhouse
Xuất bản: : Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European J...
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
 
DevOps for Trustworthy Smart IoT Systems
Tác giả: Nicolas Ferry, Nicolas Ferry, Andreas Metzger, Andreas Metzger, Erkuden Rios, Erkuden Rios, Hui Song, Hui Song
Xuất bản: Norwell: Now Publishers, 2021
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
 

Truy cập nhanh danh mục