Εμφανίζονται 941 - 960 Αποτελέσματα από 1.696 για την αναζήτηση '"Distributed Systems"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 941
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…On Model Checking Techniques for Randomized Distributed Systems -- Collaborative Modelling and Co…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 942
    A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components /
    ανά Caromel, Denis, Henrio, Ludovic
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 943
    Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… for Distributed Systems -- Constraint Solving and Programming -- Hybrid CSP Solving -- An Efficient Decision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 944
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Logic -- Calculi for Distributed Systems -- PRISMA: A Mobile Calculus with Parametric Synchronization…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 945
    Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach /
    ανά Papajorgji, Petraq J., Pardalos, Panos M.
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 946
    Computer Science - Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 947
    Trusted Systems 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 948
    Big data, data mining and machine learning : value creation for business leaders and practitioners /
    ανά Dean, Jared, 1978-
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Hardware -- Distributed systems -- Analytical tools -- Predictive modeling -- Common predictive…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  9. 949
    Trends in Practical Applications of Agents and Multiagent Systems 8th International Conference on Practical Applications of Agents and Multiagent Systems /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… on Artificial Intelligence and Distributed Systems -- Workshop on Systems, Man, & Cybernetics: SMC-Workshop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 950
    Introduction to hybrid vehicle system modeling and control /
    ανά Liu, Wei, 1960 August 30-
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-in charging characteristics, algorithm, and impact on power distribution system -- Hybrid vehicle design…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  11. 951
    SYNER-G: Systemic Seismic Vulnerability and Risk Assessment of Complex Urban, Utility, Lifeline Systems and Critical Facilities Methodology and Applications /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Infrastructural Systems -- Framework for Seismic Hazard Analysis of Spatially Distributed Systems -- Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 952
    Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Networks -- Distributed Systems and Networks -- Analyzing Grid Log Data with Affinity Propagation -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 953
    Proceedings of the Third International Forum on Decision Sciences
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Energy Resources in Smart Distribution System.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 954
    Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… for Analyzing Object-Oriented Ada Code -- Distributed Systems -- Building Modern Distributed Systems -- Reliable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 955
    Applications of Graph Transformations with Industrial Relevance International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… -- Graph Transformation Modules and Their Composition -- Modeling Distributed Systems by Modular Graph…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 956
    Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Reconfigurable Distributed Systems -- Three-Tiered Specification of Micro-architectures -- Modeling…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 957
    Trust and Privacy in Digital Business First International Conference, TrustBus 2004, Zaragoza, Spain, August 30-September 1, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Enabling Trust-Awareness in Naming Services -- Virtual Trust in Distributed Systems -- Modelling Trust…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 958
    Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…-Pushout Graph Grammars is a Coreflection -- Local Views on Distributed Systems and Their Communication…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 959
    Quality of Service - IWQoS 2003 11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Availability Based Service Differentiation -- Quality of Availability: Replica Placement for Widely Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 960
    Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… of Distributed Service-Based Content Adaptation for Network Optimization -- Distributed Systems -- Second Order…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email