Εμφανίζονται 401 - 420 Αποτελέσματα από 474 για την αναζήτηση '"Linux"', χρόνος αναζήτησης: 0,11δλ Περιορισμός αποτελεσμάτων
  1. 401
    Design Patterns for e-Science
    ανά Gardner, Henry, Manduchi, Gabriele
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 402
    Bug Bounty Hunting for Web Security Find and Exploit Vulnerabilities in Web sites and Applications /
    ανά Sinha, Sanjib, Sinha, Sanjib
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 403
    A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 404
    Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… in SPARK95 -- Real-Time Kernel -- Running Ada on Real-Time Linux -- A Round Robin Scheduling Policy for Ada…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 405
    Dataspace: The Final Frontier 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Keynote Talks -- Dataspaces: Progress and Prospects -- XtreemOS: Towards a Grid-Enabled Linux-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 406
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 407
    Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying Linux Kernel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 408
    Μελέτη, σχεδιασμός και ανάπτυξη λογισμικού ανοικτού κώδικα απομακρυσμένης διαχείρισης υπολογιστικών και δικτυακών συστημάτων
    ανά Κάραλης, Ιωάννης
    Έκδοση 2009
    “… υπολογιστικών συστημάτων για λειτουργικά Linux και Windows. Μελετήθηκε, σχεδιάστηκε και αναπτύχθηκε μια…”
    Λήψη πλήρους κειμένου
    Thesis
  9. 409
    Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 410
    Networks and Communications (NetCom2013) Proceedings of the Fifth International Conference on Networks & Communications /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Exchange Protocol provably secure against Man-In-The-Middle Attack -- Neutralizing DoS attacks on Linux…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 411
    Advances in Information and Computer Security First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… in Organisations -- Information Flow Query and Verification for Security Policy of Security-Enhanced Linux…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 412
    MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Native Linux Applications on Android -- Towards an Opportunistic and Location-Aware Service Provision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 413
    Intelligent Embedded Systems Select Proceedings of ICNETS2, Volume II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Multicore Architecture Processor and Embedded Linux -- A Novel Black Box System for Automobiles -- IOT Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 414
    Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Software for Verification, Validation and Certification -- Improving Portability of Linux Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 415
    Privileged Attack Vectors Building Effective Cyber-Defense Strategies to Protect Organizations /
    ανά Haber, Morey J., Haber, Morey J., Hibbert, Brad
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 416
    Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Formal Model for the Block Device Subsystem of the Linux Kernel -- Semantics and Synthesis -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 417
    Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Beneath the Linux Kernel -- Implementing a New Low-Level Tasking Support for the GNAT Runtime System…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 418
    Next Generation Networks. Networks and Services for the Information Society 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Broker and IP Networks -- Building MPLS VPNs with QoS Routing Capability -- A Linux Implementation of a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 419
    Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- An Improvement on Privacy and Authentication in GSM -- Encrypted Watermarks and Linux Laptop Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 420
    Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- Normalization of Java source codes -- HiddenApp - Securing Linux applications using ARM TrustZone -- Security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email