Loại tài liệu:    Chỉ tìm trong: 
2671-2680 trong số 3002 kết quả
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Tác giả: Andreas Lochbihler
Xuất bản: Karlsruhe: KIT Scientific Publishing, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Randi Cohen, Randi Cohen, Anthony Seda
Xuất bản: Boca Raton FL: Taylor Francis, 2010
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 
Scientific Programming and Computer Architecture
Tác giả: Divakar Viswanath
Xuất bản: Cambridge: The MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Hành trang lập trình : những kỹ năng lập trình viên chuyên nghiệp cần có
Tác giả: Vũ Công Tấn Tài
Xuất bản: Hà Nội: Thanh niên, 2020
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.1
 
Python dành cho người bắt đầu
Tác giả: Lê Cảnh Trung, Đinh Văn Vang, Nguyễn Văn Lũy
Xuất bản: Hà Nội: Thanh niên, 2022
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.133
 
Kiểm thử nâng cao kiểm thử trong Scrum: hướng dẫn dành cho bảo đảm chất lượng phần mềm trong thế giới Agile = Testing in...
Tác giả: Tilo Linz
Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội, 2021
Bộ sưu tập: Công nghệ thông tin
Bản in
ddc:  005.14
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European ...
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European ...
Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations
Tác giả: Michael Felderer, Michael Felderer, Michael Felderer, Wilhelm Hasselbring, Wilhelm Hasselbring, Wilhelm Hasselbring, Heiko Koziolek, Heiko Koziolek, Heiko Koziolek, Florian Matthes, Florian Matthes, Florian Matthes, Lutz Prechelt, Lutz Prechelt, Lutz Prechelt, Ralf Reussner, Ralf Reussner, Ralf Reussner, Bernhard Rumpe, Bernhard Rumpe, Bernhard Rumpe, Ina Schaefer, Ina Schaefer, Ina Schaefer
Xuất bản: Cham Switzerland: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Rhetorical Code Studies: Discovering Arguments in and around Code
Tác giả: Kevin Brock
Xuất bản: Ann Arbor: University of Michigan Press, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 

Truy cập nhanh danh mục