Εμφανίζονται 901 - 920 Αποτελέσματα από 43.630 για την αναζήτηση '"Methodism"', χρόνος αναζήτησης: 0,39δλ Περιορισμός αποτελεσμάτων
  1. 901
    Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…, a criterion and a method for deciding on what context-aware systems should sense and adapt…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 902
    Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Methods and Applications in Hardware Verification -- Building Efficient Decision Procedures on Top of SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 903
    Entropy Methods for the Boltzmann Equation Lectures from a Special Semester at the Centre Émile Borel, Institut H. Poincaré, Paris, 2001 /
    ανά Rezakhanlou, Fraydoun, Villani, Cédric
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 904
    Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 905
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 906
    Theory and Mathematical Methods for Bioinformatics
    ανά Shen, Shiyi, Tuszynski, Jack A.
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 907
    Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 908
    Mathematical Methods for Engineers and Geoscientists
    ανά Wälder, Olga
    Έκδοση 2008
    Θέματα: “…Appl.Mathematics/Computational Methods of Engineering.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 909
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 910
    Computational Methods in Financial Engineering Essays in Honour of Manfred Gilli /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 911
    Field Methods for Petroleum Geologists A Guide to Computerized Lithostratigraphic Correlation Charts Case Study: Northern Africa /
    ανά Assaad, Fakhry A.
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Petroleum Exploration Methods -- Introduction—Petroleum Hydrocarbons -- Sedimentary Basins…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 912
    Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 913
    Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 914
    On Significant Applications of Geophysical Methods Proceedings of the 1st Springer Conference of the Arabian Journal of Geosciences (CAJG-1), Tunisia 2018 /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Applications of gravity and magnetic methods -- Electrical and Electromagnetic methods in mineral…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 915
    Nonlinear Analysis - Theory and Methods
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 916
    Probabilistic Methods and Distributed Information Rudolf Ahlswede's Lectures on Information Theory 5 /
    ανά Ahlswede, Rudolf, Ahlswede, Rudolf
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 917
    Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Networks -- Effective computational methods for hybrid stochastic gene networks -- On Chemical Reaction…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 918
    Adaptive Moving Mesh Methods
    ανά Huang, Weizhang, Russell, Robert D.
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Adaptive Methods -- Velocity-Based Adaptive Methods -- Appendix: Sobolev Spaces -- Appendix: Arithmetic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 919
    Contemporary Methods for Speech Parameterization
    ανά Ganchev, Todor
    Έκδοση 2011
    Πίνακας περιεχομένων: “… -- Fourier transform based methods -- Wavelet packets based methods -- Evaluation on the speech recognition…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 920
    Modern Issues and Methods in Biostatistics
    ανά Chang, Mark
    Έκδοση 2011
    Πίνακας περιεχομένων: “… Simulation -- Bayesian Methods and Applications.-.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email