Εμφανίζονται 1.561 - 1.580 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,30δλ Περιορισμός αποτελεσμάτων
  1. 1561
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1562
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1563
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1564
    Έκδοση 2008
    Πίνακας περιεχομένων: “… with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1565
    Έκδοση 2019
    Πίνακας περιεχομένων: “…, East Java -- 7. Of Necessary Work: The Longue Durée of the Moral Ecology of the Hebridean…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1566
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1567
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Attacks on Java Cards -- A Pre-processing Composition for Secret Key Recovery on Android Smartphone…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1568
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1569
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Web Services: A Formal Approach -- A Type Graph Model for Java Programs -- Conformance Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1570
    ανά Derakhshanmanesh, Mahdi
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1571
    ανά Antonio, Cássio de Sousa
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1572
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Powerset Domains -- Type Inference for Parameterized Race-Free Java -- Certifying Temporal Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1573
    Έκδοση 2004
    Πίνακας περιεχομένων: “… ??: Java-Based Conversion of Monotonic to Polytonic Greek -- Using LaTeX to Typeset a Mar?th?-English…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1574
  15. 1575
    Έκδοση 2011
    “… in around A.D. 1030 under King Airlangga, who ruled in East Java. It is Mpu Kanwa’s only known work…”
    Λήψη πλήρους κειμένου
  16. 1576
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1577
    ανά Libby, Alex, Libby, Alex
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1578
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1579
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in Event-B -- Safe Commits for Transactional Featherweight Java -- Certified Absence of Dangling Pointers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1580
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS Αποστολή αναζήτησης με email