-
341
-
342
-
343
-
344
-
345
-
346
-
347
-
348
-
349
-
350
-
351
-
352
-
353Published 2008Table of Contents: “… in Model Manipulation for Scientific Computing -- Mechanising a Proof of Craig’s Interpolation Theorem…”
Full Text via HEAL-Link
Electronic eBook -
354Published 2015Table of Contents: “… Validation in Scientific Computing: Considering Robustness to Non-Probabilistic Uncertainty in the Input…”
Full Text via HEAL-Link
Electronic eBook -
355Published 2014Table of Contents: “… for Scientific Computing: Leveraging Storage Class Memory in an IBM BlueGene/Q Supercomputer -- Orthrus: A…”
Full Text via HEAL-Link
Electronic eBook -
356
-
357Published 2015Table of Contents: “… -- An Out-of-Core Task-Based Middleware for Data –Intensive Scientific Computing -- Building Scalable…”
Full Text via HEAL-Link
Electronic eBook -
358
-
359Published 2009Table of Contents: “… Libraries -- Formal Verification for Scientific Computing: Trends and Progress -- Tutorial -- Practical…”
Full Text via HEAL-Link
Electronic eBook -
360