Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
441-450 trong số 2632 kết quả
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Sriram Sankaranarayanan, Sriram Sankaranarayanan, Natasha Sharygina, Natasha Sharygina
Xuất bản: Cham: Springer Nature , 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
Tác giả: Sriram Sankaranarayanan, Natasha Sharygina
Xuất bản: Cham: Springer Nature Switzerland : Imprint: Springer , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.0151
 Thêm vào giỏ
 
Principles of security and trust : 7th International Conference, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.13
 Thêm vào giỏ
 
Debug it! : find, repair, and prevent bugs in your code
Tác giả: Paul Butcher, Jacquelyn Carter
Xuất bản: Place of publication not identified: Pragmatic Bookshelf , 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.14
 Thêm vào giỏ
 
Test driven : TDD and Acceptance TDD for Java developers
Tác giả: Lasse Koskela
Xuất bản: Greenwich, CT: Manning , 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.133
 Thêm vào giỏ
 
Interface-oriented design
Tác giả: Kenneth Pugh
Xuất bản: Raleigh, N.C: Pragmatic Bookshelf , 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.269
 Thêm vào giỏ
 
The productive programmer
Tác giả: Neal Ford
Xuất bản: Sebastopol, CA: O'Reilly Media, Inc , 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Trước 43 44 45 46 47 Tiếp

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