-
1961Έκδοση 2001Πίνακας περιεχομένων: “… -- Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software -- Performance…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1962Έκδοση 2003Πίνακας περιεχομένων: “… of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1963Έκδοση 2006Πίνακας περιεχομένων: “… -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1964Έκδοση 2019Πίνακας περιεχομένων: “… Whitelisting for the Web with JavaScript Mimicry Attacks -- Fingerprint Surface-Based Detection of Web Bot…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1965Έκδοση 2001Πίνακας περιεχομένων: “… on Small Java Programs -- Evaluation of a Business Application Framework Using Complexity and Functionality…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1966Έκδοση 1999Πίνακας περιεχομένων: “… as an Hybrid Object-Oriented Conceptual Graph Language -- Notio - A Java API for Developing CG Tools…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1967Έκδοση 1998Πίνακας περιεχομένων: “… of Group Security Mechanisms -- Towards Secure Downloadable Executable Content: The JAVA Paradigm -- Model…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1968Έκδοση 2002Πίνακας περιεχομένων: “… Model Checking -- Towards the Automated Verification of Multithreaded Java Programs -- CLPS-B-A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1969Έκδοση 2001Πίνακας περιεχομένων: “… Systems for Efficient Deployment of Java Programs on Ubiquitous Devices -- Software Infrastructure…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1970Έκδοση 2003Πίνακας περιεχομένων: “…Invited Talk -- Cut-&-Paste Attacks with JAVA -- Digital Signatures -- Provably Secure Encrypt…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1971Έκδοση 1998Πίνακας περιεχομένων: “… of network and host based security mechanisms -- Covert distributed computing using Java through Web Spoofing…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1972Έκδοση 1997Πίνακας περιεχομένων: “… -- A Java-based framework for processing distributed objects -- Fragmentation techniques…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1973Έκδοση 1997Πίνακας περιεχομένων: “… system -- From sequential to multi-threaded Java: An event-based operational semantics -- Permissive…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1974Έκδοση 2010Πίνακας περιεχομένων: “… Data in Java: Framework Design and Performance Evaluation -- Fighting Spam on the Sender Side: A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1975Έκδοση 2010Πίνακας περιεχομένων: “… Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1976Έκδοση 2010Πίνακας περιεχομένων: “… of UML State Chart Models -- Verifying Semantic Conformance of State Machine-to-Java Code Generators -- A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1977Έκδοση 2008Πίνακας περιεχομένων: “… for Adopting Agroforestry Systems -- Dudukuhan Tree Farming Systems in West Java: How to Mobilize Self…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1978Έκδοση 2009Πίνακας περιεχομένων: “… Variability in the Songs of Wild Silvery Gibbons (Hylobates Moloch) on Java, Indonesia -- The Fossil Record…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1979ανά Αθανασιάδης, Θωμάς“… δημιουργία δυναμικών σελίδων στο διαδίκτυο. Τα παραπάνω σε συνδυασμό με γλώσσες προγραμματισμού όπως η JAVA ή…”
Έκδοση 2012
Λήψη πλήρους κειμένου
Thesis -
1980ανά Κολοβός, Ευστάθιος“… κάποιο σύστημα διαχείρισης περιεχομένου (CMS), για την ανάπτυξή του χρησιμοποιήθηκαν JavaScript, HTML και…”
Έκδοση 2022
Λήψη πλήρους κειμένου