-
1881Έκδοση 2005Πίνακας περιεχομένων: “… Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1882Έκδοση 2005Πίνακας περιεχομένων: “… II (EM) -- EM Analysis of Rijndael and ECC on a Wireless Java-Based PDA -- Security Limits…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1883Έκδοση 2007Πίνακας περιεχομένων: “… -- Trusted Code Execution in JavaCard -- How to Use ISO/IEC 24727-3 with Arbitrary Smart Cards.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1884Έκδοση 2008Πίνακας περιεχομένων: “… Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1885
-
1886ανά Λουκόπουλος, Θανάσης, Θεοδωρίδης, Ευάγγελος, Loukopoulos, Thanasis, Theodoridis, Evangelos“…. Δοσοληψίες<br/>14. Διασύνδεση με JAVA Εφαρμογές…”
Έκδοση 2016
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
203 -
1887Έκδοση 2000Πίνακας περιεχομένων: “… Modular Refinement Relation -- Java Program Verification via a Hoare Logic with Abrupt Termination…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1888Έκδοση 2002Πίνακας περιεχομένων: “… Matching over Multi-attribute Data Streams -- Digital Libraries and Applications -- Java MARIAN: From…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1889Έκδοση 1999Πίνακας περιεχομένων: “… Platform for Java™ -- Novel Computational Approaches to Information Retrieval and Data Mining -- Tutorial…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1890Έκδοση 2003Πίνακας περιεχομένων: “… Java RMI Programs by Communication Restructuring -- The JBoss Extensible Server -- Next Generation…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1891Έκδοση 2001Πίνακας περιεχομένων: “…Protecting Information when Access is Granted for Collaboration -- Author-?: A Java-Based System…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1892Έκδοση 2004Πίνακας περιεχομένων: “… for Certified Bytecode Verification -- Reasoning about Card Tears and Transactions in Java Card -- Components I…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1893Έκδοση 2004Πίνακας περιεχομένων: “… Support in Java -- Software Architectural Support for Disconnected Operation in Highly Distributed…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1894Έκδοση 2013Πίνακας περιεχομένων: “….- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1895Έκδοση 2019Πίνακας περιεχομένων: “…: Rural camelot in West Java: a case study of empowerment and integrated rural development -- Chapter 8…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1896Έκδοση 2010Πίνακας περιεχομένων: “… Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1897Έκδοση 2008Πίνακας περιεχομένων: “… and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor -- Communication…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1898Έκδοση 2008Πίνακας περιεχομένων: “… Procedures -- On Traits and Types in a Java-like Setting -- Canonical Sequent Proofs via Multi-Focusing…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1899Έκδοση 2009Πίνακας περιεχομένων: “… -- Generating Verified Java Components through RESOLVE -- Increasing Reuse in Component Models through…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1900Έκδοση 2012Πίνακας περιεχομένων: “… -- Application of NXT Based Robots for Teaching Java-Based Concurrency -- The Effect of Learning Mechanics Design…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο