Εμφανίζονται 1.581 - 1.600 Αποτελέσματα από 43.630 για την αναζήτηση '"Methodism"', χρόνος αναζήτησης: 0,26δλ Περιορισμός αποτελεσμάτων
  1. 1581
    Relational Methods for Computer Science Applications
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1582
    Empirical Methods and Studies in Software Engineering Experiences from ESERNET /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Method Chapters -- Empirical Research Methods in Software Engineering -- Challenges…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1583
    Grade Models and Methods for Data Analysis With Applications for the Analysis of Data Populations /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… and Methods for Data Analysis" -- 1.3 Addressing the practitioner -- 1.4 Addressing the theorist -- 1.5…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1584
    Real Methods in Complex and CR Geometry Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, June 30 - July 6, 2002 /
    Πίνακας περιεχομένων: “… Methods in Complex Dynamics -- X. Huang: Local Equivalence Problems for Real Submanifolds in Complex…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1585
    Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- A Simple Method for Parameterized Verification of Cache Coherence Protocols -- A Partitioning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1586
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Formal Methods for Performance Evaluation -- Markovian Models for Performance and Dependability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1587
    From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1588
    Bayesian Methods in the Search for MH370
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1589
    Robust Rank-Based and Nonparametric Methods Michigan, USA, April 2015: Selected, Revised, and Extended Contributions /
    Έκδοση 2016
    Θέματα: “…Statistical Theory and Methods.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1590
    Topics and Methods for Urban and Landscape Design From the river to the project /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… (A.Derossi).-10. Utopia vs. Retrofitting.(D. Palazzo) -- 11. Integrating Methods: Aligning the Effects…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1591
    Applications of Topological Methods in Molecular Chemistry
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Part I. Topological Methods : Definition, State of the Art and Prospects -- 1. On quantum chemical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1592
    Atomic Physics Methods in Modern Research Selection of Papers Dedicated to Gisbert zu Putlitz on the Occasion of his 65th Birthday /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Two-photon method for metrology in hydrogen -- High precision atomic spectroscopy of muonium…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1593
    Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Arithmetic with SAT -- Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1594
    Novel Methods in Soft Matter Simulations
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1595
    Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods -- Visualizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1596
    Scale Space Methods in Computer Vision 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1597
    Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Timing Diagrams -- Vacuity Detection in Temporal Model Checking -- Formal Methods and Industrial…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1598
    Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Using Combinatorial Optimization Methods for Quantification Scheduling -- Net Reductions for LTL Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1599
    Formal Foundations for Software Engineering Methods
    ανά Hußmann, Heinrich, Hußmann, Heinrich
    Έκδοση 1997
    Πίνακας περιεχομένων: “…Terminology -- SSADM - a pragmatic requirements engineering method -- Spectrum - a formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1600
    Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Almana: A BDD Minimization Tool Integrating Heuristic and RewritingMethods -- Bisimulation Minimization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email