Εμφανίζονται 641 - 660 Αποτελέσματα από 43.630 για την αναζήτηση '"Methodism"', χρόνος αναζήτησης: 0,57δλ Περιορισμός αποτελεσμάτων
  1. 641
    Microfluidic Methods for Molecular Biology
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Microfluidic Platforms for Quantitative Biology Studies in Model Organisms -- Microfluidic Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 642
    Testing Modern Biostratigraphical Methods Application to the Ammonoid Zonation across the Devonian-Carboniferous Boundary /
    ανά Klein, Carina
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Boundary and Localities in the Rhenish Mountains (Germany) -- Introduction and Comparison of the Methods UA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 643
    Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Verification -- Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning? -- Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 644
    FME 2003: Formal Methods International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Methods in an Industrial Project -- Control Systems and Industrial Applications -- Determining…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 645
    Formal Methods for Software Architectures Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 646
    Relational Methods in Computer Science 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Methods -- Implementation of Relational Algebra Using Binary Decision Diagrams -- Calculating a Relational…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 647
    Computational Methods in Neural Modeling 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part I /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 648
    E-Commerce and Intelligent Methods
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 649
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Software Systems Using the SOFL Formal Engineering Method -- Maintaining Referential Integrity on the Web…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 650
    Computational Methods in Systems Biology First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003 /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Collapsing -- Multiscale Modeling of Alternative Splicing Regulation -- A Method for Estimating Metabolic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 651
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… methods for self-adaptive systems -- Formal methods for object-oriented systems -- Formal methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 652
    Modern Statistical Methods for HCI
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Preface -- An Introduction to Modern Statistical Methods for HCI -- Part I: Getting Started…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 653
    Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 654
    Methods and Applications of Artificial Intelligence Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11-12, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Methods in Reinforcement Learning for Control -- Knowledge Discovery -- Association Rules & Evolution…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 655
    Formal Methods for Components and Objects Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 656
    Formal Methods and Software Engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Tutorial on the RAISE Language, Method and Tools -- Model-Based Testing with Spec# -- Formal Engineering…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 657
    FM'99 - Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Scientific Decisions which Characterize VDM -- Mechanized Formal Methods: Where Next? -- Integration…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 658
    Rough Set Methods and Applications New Developments in Knowledge Discovery in Information Systems /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… in Information Systems: An Essay on the Topic of the Book -- 2. Methods and Applications: Reducts, Similarity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 659
    Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 660
    FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… development environment for formal methods -- Integrating formal description techniques -- Formal Description…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email