1
Julkaistu 2005
Sisällysluettelo: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2008
Sisällysluettelo: ... -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
Hae kokoteksti
Elektroninen E-kirja