Loại tài liệu:    Chỉ tìm trong: 
461-470 trong số 2667 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: 
 
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
 
Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Caires Luís
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Amal Ahmed
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.13
 
The productive programmer
Tác giả: Neal Ford
Xuất bản: Sebastopol CA: OReilly Media Inc, 2008
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Debug it! : find, repair, and prevent bugs in your code
Tác giả: Paul Butcher
Xuất bản: Raleigh NC: Pragmatic Bookshelf, 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.14
 
Agile Java : crafting code with test-driven development
Tác giả: Jeff Langr
Xuất bản: Upper Saddle River NJ: Prentice Hall PTR, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.2762
 
Unit Test Frameworks
Tác giả: Paul Hamill
Xuất bản: Sebastopol: OReilly, 2004
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005
 
The Security Development Lifecycle
Tác giả: Howard Michael, Lipner Steve
Xuất bản: : Microsoft Press, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (chm)
ddc:  005.8
 
Interface Oriented Design : With Patterns
Tác giả: Ken Pugh
Xuất bản: : Pragmatic Bookshelf, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.428
 

Truy cập nhanh danh mục