Εμφανίζονται 1.761 - 1.780 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 1761
    Communications and Multimedia Security. Advanced Techniques for Network and Data Protection 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- A Secure Multimedia System in Emerging Wireless Home Networks -- Java Obfuscation with a Theoretical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1762
    Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1763
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Problem: Validating WML Cellphones -- Model Checking Tools -- Heuristic Model Checking for Java Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1764
    Languages and Compilers for Parallel Computing 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Groups -- Compiler Based Scheduling of Java Mobile Agents -- A Bytecode Otimizer to Engineer Bytecodes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1765
    ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1766
    Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… into Java -- Subtyping and Matching for Mobile Objects -- On Synchronous and Asynchronous Communication…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1767
    Future of Trust in Computing Proceedings of the First International Conference Future of Trust in Computing 2008 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Java, block-by-block -- TrustCube: An Infrastructure that Builds Trust in Client -- Obtaining Trust…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1768
    Disaster Recovery Used or Misused Development Opportunity /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…: Review and Lessons from Aceh, Yogyakarta, West Java and West Sumatra Earthquakes -- Coastal Zone…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1769
    Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1770
    Handbook of Data Visualization
    ανά Chen, Chun-houh, Härdle, Wolfgang, Unwin, Antony
    Έκδοση 2008
    Πίνακας περιεχομένων: “… in the Java Language -- Web-Based Statistical Graphics using XML Technologies -- Selected Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1771
    Fault Diagnosis and Tolerance in Cryptography Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Fault Analysis of DPA-Resistant Algorithms -- Java Type Confusion and Fault Attacks.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1772
    Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1773
    Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1774
    ICoSI 2014 Proceedings of the 2nd International Conference on Sustainable Innovation /
    Έκδοση 2017
    Πίνακας περιεχομένων: “…, East Java-Indonesia -- Analysis of Different Activation Function Using Extreme Learning Machine…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1775
    Research in Attacks, Intrusions, and Defenses 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Precisely and Scalably Vetting JavaScript Bridge In Android Hybrid Apps -- Filtering for Malice through…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1776
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1777
    Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1778
    Agents and Peer-to-Peer Computing Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- Fuzzy Cost Modeling for Peer-to-Peer Systems -- A P2P Approach to ClassLoading in Java -- Adaptive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1779
    Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Applications -- Optimizing the Java Piped I/O Stream Library for Performance -- A Comparative Study of Stampede…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1780
    Computer Security – ESORICS 2005 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Authorization Scheme for Java -- Specification and Validation of Authorisation Constraints Using UML and OCL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email