Εμφανίζονται 1.481 - 1.500 Αποτελέσματα από 1.696 για την αναζήτηση '"distributed system"', χρόνος αναζήτησης: 0,35δλ Περιορισμός αποτελεσμάτων
  1. 1481
    Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1482
    Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1483
    Understanding Control Flow Concurrent Programming Using μC++ /
    ανά Buhr, Peter A.
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1484
    Limited Data Rate in Control Systems with Networks
    ανά Ishii, Hideaki, Ishii, Hideaki, Francis, Bruce A.
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1485
    Iterative Software Engineering for Multiagent Systems The MASSIVE Method /
    ανά Lind, Jürgen, Lind, Jürgen
    Έκδοση 2001
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1486
    Supervisor Localization A Top-Down Approach to Distributed Control of Discrete-Event Systems /
    ανά Cai, Kai, Wonham, W. Murray
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1487
    Το παίγνιο εξισορρόπησης φορτίου με τρεμάμενο χέρι
    ανά Φίλιππας, Απόστολος
    Έκδοση 2012
    Λήψη πλήρους κειμένου
    Thesis
  8. 1488
    The JR Programming Language Concurrent Programming in an Extended Java /
    ανά Olsson, Ronald A., Keen, Aaron W.
    Έκδοση 2004
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1489
    Networks on Chip
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1490
    2020_Book_SupercomputingFrontiers.pdf
    Έκδοση 2020
    Λήψη πλήρους κειμένου
  11. 1491
    978-3-031-13185-1.pdf
    Έκδοση 2022
    Λήψη πλήρους κειμένου
  12. 1492
    Principles of the Spin Model Checker
    ανά Ben-Ari, Mordechai
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1493
    Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1494
    Applications of Evolutionary Computing EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings /
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1495
    A Practical Approach to High-Performance Computing
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1496
    Industrial Organization in Iran The Weakly Organized System of the Iranian Apparel Industry /
    ανά Iwasaki, Yoko
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1497
    Verifiable Privacy Protection for Vehicular Communication Systems
    ανά Förster, David
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1498
    Coloured Petri Nets Modelling and Validation of Concurrent Systems /
    ανά Jensen, Kurt, Kristensen, Lars M.
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1499
    Indoor Location-Based Services Prerequisites and Foundations /
    ανά Werner, Martin
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1500
    Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email