1
Publicat 2008
Taula de continguts: ... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...
Obtenir text complet
Electrònic eBook