Εμφανίζονται 1.661 - 1.680 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,18δλ Περιορισμός αποτελεσμάτων
  1. 1661
    Computational Intelligence International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… by Word Occurrence in Identifiers -- The Influence of Alias and References Escape on Java Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1662
    Soft Computing in Information Retrieval Techniques and Applications /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… with Unsupervised Artificial Neural Networks -- The Java Search Agent Workshop -- A Connectionist Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1663
    Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1664
    Software Security - Theories and Systems Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Security Using PVS -- Java Program Verification at Nijmegen: Developments and Perspective -- Decision…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1665
    Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… compiler optimization for multi-threaded Java -- Categories of relational structures.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1666
    Correct System Design Recent Insights and Advances /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Proving Theorems About Java-Like Byte Code -- Multiple State and Single State Tableaux for Combining Local…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1667
    Mobile Agents Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… migration of Java-based mobile agents -- Infrastructure for mobile agents: Requirements and design -- MASIF…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1668
    Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… of Research -- Regular Papers -- Parameterized Models for Distributed Java Objects -- Towards…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1669
    Internetware A New Software Paradigm for Internet Computing /
    ανά Mei, Hong, Lü, Jian
    Έκδοση 2016
    Πίνακας περιεχομένων: “…. Refactoring Android Java Code for On-Demand Computation Offloading -- 16. Towards Architecture-based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1670
    Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… -- Secure Obfuscation of Authoring Style -- DET-ABE: a Java API for data confidentiality and  fine-grained…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1671
    Distributed and Parallel Systems In Focus: Desktop Grid Computing /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Desktop Grids -- Enabling Java applications for BOINC with DC-API -- Bridging the Data Management…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1672
    Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1673
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1674
    Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Quantitative Monitor Automata -- The Julia Static Analyzer for Java -- Automated Verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1675
    Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “…Invited Talks -- JavaCard Program Verification -- View from the Fringe of the Fringe -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1676
    Application and Theory of Petri Nets 1999 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… -- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes -- Recent Developments…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1677
    Programming Languages and Systems 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Continuations -- Correctness of Java Card Method Lookup via Logical Relations -- Compile-Time Debugging of C…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1678
    Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Embedded Software -- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1679
    Advanced Information Systems Engineering 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… for multi-class workloads in data warehouses -- Architecture and quality in data warehouses -- OMS/Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1680
    Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…Invited Topics -- A Type-Theoretic Memory Model for Verification of Sequential Java Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email