1
יצא לאור 2006
תוכן הענינים: ... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים: ... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים: ... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים: ... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני