Εμφανίζονται 1.921 - 1.940 Αποτελέσματα από 2.179 για την αναζήτηση '"Java"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 1921
    Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… media -- Comprehensive Gröbner Bases in a Java Computer Algebra System -- A Symbolic Approach to Compute…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 1922
    Groundwater in the Coastal Zones of Asia-Pacific
    Έκδοση 2013
    Πίνακας περιεχομένων: “…-Pacific -- 16. Coastal groundwater and its sup-porting role in the development of Gunungsewu Geopark, Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 1923
    424363.pdf
    Έκδοση 2012
    Λήψη πλήρους κειμένου
  4. 1924
    Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… -- Development of a Control System for Teleoperated Robots Using UML and Ada95 -- Using a Secure Java Micro…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 1925
    CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “…-Outlines for Threads in Java -- Deriving Bisimulation Congruences for Reactive Systems -- Bisimilarity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 1926
    Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… versus Magic in Critical Systems -- Can Java™ Meet Its Real-Time Deadlines? -- Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 1927
    FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… and Test Effort -- Transacted Memory for Smart Cards -- Houdini, an Annotation Assistant for ESC/Java -- A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 1928
    Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Infrastructure for MAS Research -- An Agent Infrastructure to Build and Evaluate Multi-Agent Systems: The Java…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 1929
    Coordination Languages and Models Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Based Co-ordination Languages -- A Simple Extension of Java Language for Controllable Transparent…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 1930
    Coordination Models and Languages 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… for Location Transparent Code Mobility -- Formal Specification of JavaSpaces™ Architecture Using ?CRL…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 1931
    Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… and Efficient Sandboxing Based on Fine-Grained Protection Domains -- Enforcing Java Run-Time Properties Using…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 1932
    Sensors and Image Processing Proceedings of CSI 2015 /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… on Image Enhancement Techniques -- Virtual Field and Wave Laboratory Using Scilab and JAVA…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 1933
    Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Lifted Model Checking Back to UPPAAL -- Firm Deadline Checking of Safety-Critical Java Applications…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 1934
    Advances in Multimedia and Network Information System Technologies
    Έκδοση 2010
    Πίνακας περιεχομένων: “… for Two Layered Retrieval -- Verification of Open Source Web Frameworks for Java Platform -- - E-Learning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 1935
    Architecture of Computing Systems - ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…-time Java applications -- NoC/SoC -- A Minimal Network Interface for a Simple Network-on-Chip…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 1936
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 1937
    Adobe ColdFusion Anthology Clear and Concise Concepts from the Fusion Authority /
    ανά Michael, Dinowitz, Dinowitz, Judith
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 1938
    Advanced Parallel Processing Technologies 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… Algorithm -- The Security Architecture of the Java Operating System JX - A Security Architecture…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 1939
    Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Java Card Object with High Locality for Efficient Java Card Applications -- Design and Implementation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 1940
    Interactive Distributed Multimedia Systems and Telecommunication Services 5th International Workshop, IDMS'98, Oslo, Norway, September 8-11, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… based on Java -- Asynchronously replicated shared workspaces for a multi-media annotation service over…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email