1
Published 2006
Table of Contents: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Qualitative Point of View -- A Stochastic Treatment of Similarity -- Order-Based Equivalence Degrees...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Resources -- Guarding a Walled Garden — Semantic Privacy Preferences for the Social Web -- Using Social...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... the Achievements and Failures -- Parallel CHC Algorithm for Solving Dynamic Traveling Salesman Problem Using Many...
View full text
Electronic eBook