1
יצא לאור 2005
תוכן הענינים: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2008
תוכן הענינים: ... -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני