Εμφανίζονται 1.961 - 1.980 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,52δλ Περιορισμός αποτελεσμάτων
  1. 1961
    CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… -- Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software -- Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1962
    Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1963
    Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1964
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Whitelisting for the Web with JavaScript Mimicry Attacks -- Fingerprint Surface-Based Detection of Web Bot…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1965
    Product Focused Software Process Improvement Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… on Small Java Programs -- Evaluation of a Business Application Framework Using Complexity and Functionality…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1966
    Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… as an Hybrid Object-Oriented Conceptual Graph Language -- Notio - A Java API for Developing CG Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1967
    Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… of Group Security Mechanisms -- Towards Secure Downloadable Executable Content: The JAVA Paradigm -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1968
    Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Model Checking -- Towards the Automated Verification of Multithreaded Java Programs -- CLPS-B-A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1969
    Ubicomp 2001: Ubiquitous Computing International Conference Atlanta, Georgia, USA, September 30 - October 2, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Systems for Efficient Deployment of Java Programs on Ubiquitous Devices -- Software Infrastructure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1970
    Information Security and Cryptology - ICISC 2002 5th International Conference, Seoul, Korea, November 28-29, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Invited Talk -- Cut-&-Paste Attacks with JAVA -- Digital Signatures -- Provably Secure Encrypt…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1971
    Information Security and Privacy Third Australasian Conference, ACISP'98, Brisbane, Australia July 13-15, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… of network and host based security mechanisms -- Covert distributed computing using Java through Web Spoofing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1972
    Conceptual Modeling - ER '97 16th International Conference on Conceptual Modeling, Los Angeles, CA, USA, November 3-5, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… -- A Java-based framework for processing distributed objects -- Fragmentation techniques…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1973
    Algebraic Methodology and Software Technology 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1974
    Networked Services and Applications - Engineering, Control and Management 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Data in Java: Framework Design and Performance Evaluation -- Fighting Spam on the Sender Side: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1975
    Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1976
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… of UML State Chart Models -- Verifying Semantic Conformance of State Machine-to-Java Code Generators -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1977
    Smallholder Tree Growing for Rural Development and Environmental Services Lessons from Asia /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Adopting Agroforestry Systems -- Dudukuhan Tree Farming Systems in West Java: How to Mobilize Self…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1978
    The Gibbons New Perspectives on Small Ape Socioecology and Population Biology /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Variability in the Songs of Wild Silvery Gibbons (Hylobates Moloch) on Java, Indonesia -- The Fossil Record…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1979
    Ανάλυση απαιτήσεων και σχεδιασμός πρότυπης εφαρμογής διαχείρισης εκπαιδευτικού υλικού με υπηρεσίες ηλεκτρονικής μάθησης
    ανά Αθανασιάδης, Θωμάς
    Έκδοση 2012
    “… δημιουργία δυναμικών σελίδων στο διαδίκτυο. Τα παραπάνω σε συνδυασμό με γλώσσες προγραμματισμού όπως η JAVA ή…”
    Λήψη πλήρους κειμένου
    Thesis
  20. 1980
    Σχεδιασμός και ανάπτυξη online συστήματος διαχείρισης της διαδικασίας εκπόνησης διπλωματικών εργασιών
    ανά Κολοβός, Ευστάθιος
    Έκδοση 2022
    “… κάποιο σύστημα διαχείρισης περιεχομένου (CMS), για την ανάπτυξή του χρησιμοποιήθηκαν JavaScript, HTML και…”
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email