1
Pubblicazione 2008
Sommario: ... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
Testo
Elettronico eBook
3
Pubblicazione 2008
Sommario: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...
Testo
Elettronico eBook
5
Pubblicazione 2008
Sommario: ... Forecasting -- Measuring Uncertainty in Population Data Generated by the Cohort-Component Method: A Report...
Testo
Elettronico eBook
6
Pubblicazione 2014
Sommario: ...: seeking the essence of Industrial Symbiosis -- 2 LCA and linear programming for the environmental...
Testo
Elettronico eBook