Showing 341 - 360 results of 419 for search '"scientific computing"', query time: 0.14s Refine Results
  1. 341
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  2. 342
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  3. 343
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  4. 344
  5. 345
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  6. 346
  7. 347
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  8. 348
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  9. 349
  10. 350
    by Muller, Jean-Michel
    Published 2016
    Full Text via HEAL-Link
    Electronic eBook
  11. 351
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  12. 352
  13. 353
    Published 2008
    Table of Contents: “… in Model Manipulation for Scientific Computing -- Mechanising a Proof of Craig’s Interpolation Theorem…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 354
    Published 2015
    Table of Contents: “… Validation in Scientific Computing: Considering Robustness to Non-Probabilistic Uncertainty in the Input…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 355
    Published 2014
    Table of Contents: “… for Scientific Computing: Leveraging Storage Class Memory in an IBM BlueGene/Q Supercomputer -- Orthrus: A…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 356
  17. 357
    Published 2015
    Table of Contents: “… -- An Out-of-Core Task-Based Middleware for Data –Intensive Scientific Computing -- Building Scalable…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 358
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  19. 359
    Published 2009
    Table of Contents: “… Libraries -- Formal Verification for Scientific Computing: Trends and Progress -- Tutorial -- Practical…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 360
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed Email Search