Εμφανίζονται 841 - 860 Αποτελέσματα από 43.630 για την αναζήτηση '"Methodism"', χρόνος αναζήτησης: 0,71δλ Περιορισμός αποτελεσμάτων
  1. 841
    Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 842
    Statistical Methods in Medical Research
    ανά Rayat, Charan Singh, Rayat, Charan Singh
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 843
    Research Methods for the Digital Humanities
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Chapter 1 Introduction: Research Methods for Digital Humanities -- Chapter 2 On Interdisciplinary…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 844
    Introduction to Tensor Network Methods Numerical simulations of low-dimensional many-body quantum systems /
    ανά Montangero, Simone, Montangero, Simone
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 845
    Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 846
    Pseudodifferential Methods in Number Theory
    ανά Unterberger, André, Unterberger, André
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 847
    Essential Methods for Planning Practitioners Skills and Techniques for Data Analysis, Visualization, and Communication /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 848
    Pattern Recognition Applications and Methods 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 849
    Introduction to Statistical Methods in Pathology
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 850
    Diversity of Experimental Methods in Economics
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Experimental methods in behavioral game theory -- Statistical causal inference and the concept of causality…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 851
    Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 852
    Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 853
    Direct Methods in Control Problems
    ανά Falb, Peter, Falb, Peter
    Έκδοση 2019
    Πίνακας περιεχομένων: “… III. The Direct Method Approach: Generalities -- General Approach -- Gradient and Integration Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 854
    Quantitative Methods for the Social Sciences A Practical Introduction with Examples in SPSS and Stata /
    ανά Stockemer, Daniel, Stockemer, Daniel
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 855
    Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 856
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 857
    Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Toric Patches -- A Comparison of Different Progressive Iteration Approximation Methods -- A Topological…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 858
    Calorimetry and Thermal Methods in Catalysis
    Έκδοση 2013
    Πίνακας περιεχομένων: “… of catalysts by adsorption calorimetry -- Temperature programmed desorption (TPD) methods -- Temperature…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 859
    Chiral Recognition in Separation Methods Mechanisms and Applications /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 860
    Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email