Εμφανίζονται 721 - 739 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,35δλ Περιορισμός αποτελεσμάτων
  1. 721
    Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- A Technique for Early Software Reliability Prediction -- Formal Methods -- Executable Requirements…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 722
    Probabilities, Laws, and Structures
    Έκδοση 2012
    Πίνακας περιεχομένων: “…MARCEL WEBER, Preface.- Team A: Formal Methods SEAMUS BRADLEY, Dutch Book Arguments and Imprecise…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 723
    Προσδιορισμός πεπερασμένων σεισμικών ρηγμάτων από γεωδαιτικές παρατηρήσεις με βάση την αριθμητική-στοχαστική μέθοδο της Τοπολογικής Αντιστροφής (αλγόριθμος TOPological INVersion, TOPINV)
    ανά Σαλτογιάννη, Βασιλική
    Έκδοση 2017
    Λήψη πλήρους κειμένου
    Thesis
  4. 724
    Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Directional Cell Identification Codes -- Application of Formal Methods for Analysis of Authentication…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 725
    Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… to Information System -- A Formal Approach to Model Multiagent Interactions Using the B Formal Method…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 726
    Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 727
    Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Ensuring Secure and Robust Grid Applications – From a Formal Method Point of View -- Supporting the OpenMP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 728
    Artificial Intelligence and Computational Intelligence 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Network with Decaying Chaotic Noise -- A Formal Method for Testing Reactive System from Symbolic Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 729
    Mobile Ad-hoc and Sensor Networks First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method -- Enhancing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 730
    Computational Methods
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 731
    0103d4acb9fdde999d4c94fbbf711b99a2a7.pdf
    Έκδοση 2019
    “… analytic tools for understanding. The book uses computation to constrain notation, to capture and formalize…”
  12. 732
    Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 733
    Principles of Compilers A New Approach to Compilers Including the Algebraic Method /
    ανά Su, Yunlin, Yan, Song Y.
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 734
    The Complete Verilog Book
    ανά Sagdeo, Vivek
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 735
    Semantic Web Services
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 736
    Platform Based Design at the Electronic System Level Industry Perspectives and Experiences /
    ανά Burton, Mark, Morawiec, Adam
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 737
    Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 738
    Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 739
    New Trends of Research in Ontologies and Lexical Resources Ideas, Projects, Systems /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email