1
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... -- Solving the Multiple Objective Integer Linear Programming Problem -- Generalized Polychotomic Encoding: A...
獲取全文
電子 電子書
4
出版 2005
書本目錄: ... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... Techniques with Machine Code Based, Linear Genetic Programming -- Evolutionary Optimization of Approximating...
獲取全文
電子 電子書
6
出版 2007
書本目錄: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... Procedures -- Methods II -- Spatial Information Encoded Mutual Information for Nonrigid Registration...
獲取全文
電子 電子書