Εμφανίζονται 1.561 - 1.580 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,30δλ Περιορισμός αποτελεσμάτων
  1. 1561
    Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1562
    Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1563
    Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1564
    Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1565
    Moral Ecologies Histories of Conservation, Dispossession and Resistance /
    Έκδοση 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
    Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1567
    Information Security Theory and Practice. Securing the Internet of Things 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 – July 2, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Attacks on Java Cards -- A Pre-processing Composition for Secret Key Recovery on Android Smartphone…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1568
    Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1569
    Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… in Web Services: A Formal Approach -- A Type Graph Model for Java Programs -- Conformance Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1570
    Model-Integrating Software Components Engineering Flexible Software Systems /
    ανά Derakhshanmanesh, Mahdi
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1571
    Pro React
    ανά Antonio, Cássio de Sousa
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1572
    Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… for Powerset Domains -- Type Inference for Parameterized Race-Free Java -- Certifying Temporal Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1573
    TeX, XML, and Digital Typography International Conference on TeX, XML, and Digital Typography, Held Jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30 - September 3, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… ??: Java-Based Conversion of Monotonic to Polytonic Greek -- Using LaTeX to Typeset a Mar?th?-English…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1574
    417723.pdf
    Έκδοση 2012
    Λήψη πλήρους κειμένου
  15. 1575
    376975.pdf
    Έκδοση 2011
    “… in around A.D. 1030 under King Airlangga, who ruled in East Java. It is Mpu Kanwa’s only known work…”
    Λήψη πλήρους κειμένου
  16. 1576
    Ada for Software Engineers (Second Edition with Ada 2005)
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1577
    Beginning SVG A Practical Introduction to SVG using Real-World Examples /
    ανά Libby, Alex, Libby, Alex
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1578
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1579
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… in Event-B -- Safe Commits for Transactional Featherweight Java -- Certified Absence of Dangling Pointers…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1580
    Agile Development with ICONIX Process People, Process, and Pragmatism /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email