1
Julkaistu 2013
Sisällysluettelo: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Hae kokoteksti
Elektroninen E-kirja
2
Sisällysluettelo: ... Models -- Error Estimation -- Resources: Software and Tutorials -- Industrial Application: Uncertainty...
Open Access Book. Read online
Elektroninen E-kirja