Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
refactoring function » refactoring functional, restoring function, refactoring detection
programs refactoring » program refactoring, programs reaching, programs reasoning
array programs » array problems, day programs, pay programs
function https » functions https, fiction https
refactoring function » refactoring functional, restoring function, refactoring detection
programs refactoring » program refactoring, programs reaching, programs reasoning
array programs » array problems, day programs, pay programs
function https » functions https, fiction https
1
Được phát hành 2006
Mục lục:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2010
Mục lục:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”lấy văn bản
Điện tử
eBook