Εμφανίζονται 1.821 - 1.840 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,16δλ Περιορισμός αποτελεσμάτων
  1. 1821
    Practical Distributed Processing
    ανά Brooke, Phillip J., Paige, Richard F.
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1822
    Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1823
    Missing Data Analysis and Design /
    ανά Graham, John W.
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1824
    978-3-031-36763-2.pdf
    Έκδοση 2023
    “… techniques from the open source Java Modelling Tools (JMT). Among the models analyzed there are systems…”
    Λήψη πλήρους κειμένου
  5. 1825
    Security in Pervasive Computing First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Identification Systems -- Verification -- Implementing a Formally Verifiable Security Protocol in Java Card…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1826
    SOFSEM'99: Theory and Practice of Informatics 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Correcting Parser Combinators: A Short Tutorial -- IBM SanFrancisco: Java Based Business Components, and New…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1827
    Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Structure -- Towards a Machine-Checked Java Specification Book -- Another Look at Nested Recursion…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1828
    Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…: An implementation point of view -- Mobile Haskell: Compiling lazy functional programs for the Java Virtual Machine…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1829
    Flexible Query Answering Systems Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… and constraint handling -- Implementing fuzzy querying via the internet/WWW: Java applets, ActiveX controls…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1830
    Financial Cryptography First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… electronic markets to achieve efficient task distribution -- The gateway security model in the Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1831
    New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Management - Do Current Techniques Meet the Requirements? -- Java Class Loading Techniques in the Harness…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1832
    Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Reachability under a Normality Assumption -- Linking CSP-OZ with UML and Java: A Case Study -- Object-Oriented…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1833
    Components and Services for IoT Platforms Paving the Way for IoT Standards /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- 6 Small Footprint JavaScript Engine -- 7 VirISA Recruiting Virtualization and Reconfigurable…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1834
    Communicating for Social Change Meaning, Power, and Resistance /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…: Empowering Local Paddy Rice Growers In East Java -- 12. Going Viral: Online Goal Emergence And Adaptation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1835
    Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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
    Πίνακας περιεχομένων: “…Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1836
    Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… in the Java Security Manager -- A Novel Obfuscation: Class Hierarchy Flattening -- RESource: A Framework…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1837
    Landscape Ecology in Asian Cultures
    Έκδοση 2011
    Πίνακας περιεχομένων: “… landscapes in Iran -- 6. Cultural landscapes of the Tengger Highland, East Java -- 7. Traditional forests…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1838
    Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1839
    Transactions on Edutainment II
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Learning Environments -- Networking Middleware and Online-Deployment Mechanisms for Java-Based Games -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1840
    Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Transactions for Testing JavaScript -- The GZoltar Project: A Graphical Debugger Interface.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email