1
Được phát hành 2007
Mục lục: ... Action Calculi and Description Logics -- Any-World Access to OWL from Prolog -- Applying Logical...
lấy văn bản
Điện tử eBook
2
Được phát hành 2007
Mục lục: ... Affine Recursions -- Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers...
lấy văn bản
Điện tử eBook
3
Được phát hành 2005
Mục lục: ... -- An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture...
lấy văn bản
Điện tử eBook