Εμφανίζονται 381 - 400 Αποτελέσματα από 474 για την αναζήτηση '"Linux"', χρόνος αναζήτησης: 0,15δλ Περιορισμός αποτελεσμάτων
  1. 381
    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 382
    Using Chef with Microsoft Azure
    ανά Preston, Stuart
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 383
    Building a Virtual Assistant for Raspberry Pi The practical guide for constructing a voice-controlled virtual assistant /
    ανά Pant, Tanay
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 384
    Enterprise Mac Administrator’s Guide
    ανά Edge, Charles S., Smith, William
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 385
    incorporating-the-digital-commons.pdf
    Έκδοση 2020
    “…, Intel, Cisco, Samsung, Google are some of the largest contributors to Linux, the open-source operating…”
    Λήψη πλήρους κειμένου
  6. 386
    The R Software Fundamentals of Programming and Statistical Analysis /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 387
    Game Development with GameMaker Studio 2 Make Your Own Games with GameMaker Language /
    ανά Cossu, Sebastiano M., Cossu, Sebastiano M.
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 388
    Python, PyGame, and Raspberry Pi Game Development
    ανά Kelly, Sloan, Kelly, Sloan
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 389
    Beginning Databases with PostgreSQL From Novice to Professional /
    ανά Matthew, Neil, Stones, Richard
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 390
    Beginning Rails From Novice to Professional /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 391
    Beginning Rust From Novice to Professional /
    ανά Milanesi, Carlo, Milanesi, Carlo
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 392
    Recent Advances in Parallel Virtual Machine and Message Passing Interface 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Deploying and Maintaining Manageable High-Performance Linux Clusters -- Clusters for Data-Intensive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 393
    Information Hiding Third International Workshop, IH'99, Dresden, Germany, September 29 - October 1, 1999 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Keys in a Compromised Computational System -- StegFS: A Steganographic File System for Linux…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 394
    Sharing Data, Information and Knowledge 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Management System -- XtreemOS: Towards a Grid-Enabled Linux-Based Operating System -- High-Assurance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 395
    Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… for Block Summarization with Caching -- Deductive Verification of Unmodified Linux Kernel Library Functions…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 396
    Managing Virtualization of Networks and Services 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… -- Customer Service Management for Grid Monitoring and Accounting Data -- LINUBIA: A Linux-Supported User…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 397
    High Performance Computing - HiPC 2002 9th International Conference Bangalore, India, December 18-21, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Methodology for Application-Specific Embedded Systems -- LLM: A Low Latency Messaging Infrastructure for Linux…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 398
    Επανασχεδιασμός και επέκταση του συστήματος απομακρυσμένης διαχείρισης υπολογιστικών και δικτυακών συστημάτων OpenRSM
    ανά Ψυλλίδου, Ευαγγελία
    Έκδοση 2012
    “… στον πυρήνα Linux από όλο και μεγαλύτερες ομάδες χρηστών οδήγησε στην ανάγκη επανασχεδιασμού του…”
    Λήψη πλήρους κειμένου
    Thesis
  19. 399
    Composing Software Components A Software-testing Perspective /
    ανά Hamlet, Dick
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 400
    Practical Tinker Board Getting Started and Building Projects with the ASUS Single-Board Computer /
    ανά Clark, Liz, Clark, Liz
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email