Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
Tìm được 10 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference,...
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
Tác giả: Christel Baier, Ugo Dal Lago
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.1015113
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Scaling a Software Business: The Digitalization Journey
Tác giả: Brian Fitzgerald, Henrik Cosmo, Sten Minör, Klaas-Jan Stol
Xuất bản: Cham: Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1068
 Thêm vào giỏ
 
Scaling a Software Business [electronic resource] : The Digitalization Journey
Tác giả: Brian Fitzgerald, Henrik Cosmo, Sten Minör, Klaas-Jan Stol
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.1068
 Thêm vào giỏ
 
A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
Tác giả: Tassilo Horn
Xuất bản: Berlin Germany: Logos Verlag Berlin, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1028
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Scaling a Software Business: The Digitalization Journey
Tác giả: Klaas-Jan Stol, Brian Fitzgerald, Henrik Cosmo, Sten Minör
Xuất bản: Cham Switzerland: Springer Nature, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1068
 Thêm vào giỏ
 
The little typer
Tác giả: Daniel P Friedman, Duane Bibby, David Thrane Christiansen, Robert Harper, Conor McBride
Xuất bản: Cambridge: MIT Press, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Emerging methods, technologies, and process management in software engineering
Tác giả: Andrea De Lucia
Xuất bản: Hoboken New Jersey: WileyInterscience, 2008
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.10684
 Thêm vào giỏ
 
1

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media