Kết quả tìm kiếm - intersection constraint programing recursion arrays a

Tìm kiếm thay thế:
intersection constraint » intersection constraints , interaction constraints , interactions constraints
constraint programing » constraint programming , constraints programming , constrained programming
programing recursion » programming recursion , programming decision , programming version
recursion arrays » recursion versus
arrays a » arrays _

1

Ảnh bìa

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Được phát hành 2006

Mục lục: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
lấy văn bản

Điện tử eBook

2

Ảnh bìa

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Được phát hành 2005

Mục lục: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
lấy văn bản

Điện tử eBook