Εμφανίζονται 1.461 - 1.480 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1461
    Software Engineering and Middleware Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… -- On the Use of Enterprise Java Beans 2.0 Local Interfaces -- Dynamic Instrumentation for Jini Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1462
    Database and XML Technologies Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Transformations in Java -- Teaching Relational Optimizers About XML Processing -- Adjustable Transaction Isolation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1463
    Generic Programming International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… into Java -- SuchThat - Generic Programming Works -- Specification and Verification -- Software Development…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 1464
    Network-Based Parallel Computing Communication, Architecture, and Applications Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Petaflop Machine in Java -- Is It Worth the Flexibility Provided by Irregular Topologies in Networks…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1465
    Mobile Agents First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “… systems -- Exploiting code mobility in decentralized and flexible network management -- Java-based mobile…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1466
    Trends in Distributed Systems for Electronic Commerce International IFIP/GI Working Conference, TREC'98, Hamburg, Germany, June 3-5, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Approaches of Digital signature legislation -- A Java-based distributed platform for multilateral security…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1467
    Visualizing Information Using SVG and X3D
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- X3D Graphics, Java and the Semantic Web -- Distributed User Interfaces: Toward SVG 1.2 -- Publishing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1468
    Communities and Livelihood Strategies in Developing Countries
    Έκδοση 2014
    Πίνακας περιεχομένων: “… in Indonesia: Case of Three Villages in Purbalingga District, Central Java Province.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1469
    Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1470
    Law, Public Policies and Complex Systems: Networks in Action
    Έκδοση 2019
    Πίνακας περιεχομένων: “… of Leptospirosis Surveillance Systems in Three Regencies of East Java, Indonesia -- Complexity of Scenarios…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1471
    Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1472
    Research and Education in Robotics — EUROBOT 2008 International Conference, Heidelberg, Germany, May 22-24, 2008. Revised Selected Papers /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Disturbances -- A Java-Based Framework for the Programming of Distributed Systems for Mobile Robots -- Wheeeler…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1473
    Smart Card Research and Advanced Application 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Attacks -- Combined Attacks and Countermeasures -- Attacks on Java Card 3.0 Combining Fault and Logical…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1474
    Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… the Potential for Modularisation of Java Programs -- Evaluating Maintainability with Code Metrics for Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1475
    Trusted Systems First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009. Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1476
    Security and Trust Management 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… management schemes in wireless sensor networks -- Efficient Java Code Generation of Security Protocols…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1477
    Finding Source Code on the Web for Remix and Reuse
    Έκδοση 2013
    Πίνακας περιεχομένων: “… and Applied Algorithms in a Search Engine for Java Code Snippets -- Facilitating Crowd Sourced Software…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1478
    Higher Education Computer Science A Manual of Practical Approaches /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Semi-Automating the Marking of a Java Programming Portfolio Assessment: A Case Study from a UK…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1479
    Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
    Έκδοση 2012
    Πίνακας περιεχομένων: “… on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1480
    Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- The PAPAGENO Parallel-Parser Generator -- String Analysis for Dynamic Field Access -- Addressing JavaScript JIT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email