1
Publicerad 2005
Innehållsförteckning: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ... -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
Hämta fulltext
Elektronisk E-bok