1
Published 2005
Table of Contents: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- The Synchronization of the Images Based on Normalized Mean Square Error Algorithm -- Evaluation of the Separation...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
View full text
Electronic eBook