Showing 981 - 1,000 results of 43,630 for search '"Methodism"', query time: 0.45s Refine Results
  1. 981
    Commutative Algebra: Constructive Methods Finite Projective Modules /
    by Lombardi, Henri, Quitté, Claude
    Published 2015
    Table of Contents: “…Examples -- The basic local-global principle and systems of linear equations -- The method…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 982
    FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 983
    Numerical Methods for Scientists and Engineers
    by Antia, H. M.
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  4. 984
    Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
    Published 2018
    Table of Contents: “…Software test automation -- Static program analysis -- Verification -- Dynamic methods of program…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 985
    Numerical methods in biomedical engineering
    Published 2006
    Subjects: “…Biomedical Engineering methods 74320…”
    An electronic book accessible through the World Wide Web; click for information
    An electronic book accessible through the World Wide Web; click for information
    Table of contents only
    Publisher description
    Electronic Book
  6. 986
    The finite element method in engineering
    by Rao, Singiresu S., 1944-
    Published 2005
    Table of Contents: “…1. Overview of the Finite Element Method, 2. Discretization of the Domain, 3. Interpolation Models…”
    An electronic book accessible through the World Wide Web; click for information
    An electronic book accessible through the World Wide Web; click for information
    Publisher description
    Table of contents only
    Electronic Book
  7. 987
    Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  8. 988
    Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  9. 989
    FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Table of Contents: “…Invited Papers -- Formal Methods for Privacy -- What Can Formal Methods Bring to Systems Biology…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 990
    Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
    Published 2009
    Table of Contents: “… Filestore in Event-B -- An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 991
    Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 992
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  13. 993
    Experimental Methods in Hydraulic Research
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  14. 994
    Newton Methods for Nonlinear Problems Affine Invariance and Adaptive Algorithms /
    by Deuflhard, Peter
    Published 2011
    Subjects: “…Appl.Mathematics/Computational Methods of Engineering.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 995
    Formal Methods and Software Engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  16. 996
    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  17. 997
    Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers /
    Published 2012
    Table of Contents: “… attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 998
    The Augmented Spherical Wave Method A Comprehensive Treatment /
    by Eyert, Volker
    Published 2013
    Table of Contents: “…Introduction -- The Standard ASW Method -- Envelope Functions and Structure Constants -- The Plane…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 999
    Bayesian Methods in Structural Bioinformatics
    Published 2012
    Table of Contents: “…Part I Foundations: An Overview of Bayesian Inference and Graphical Models -- Monte Carlo Methods…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1000
    Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search