1
Argitaratua 2015
Aurkibidea: ... -- Characteristic Function for Variable-Bit-Rate Multimedia QoS -- A Fully Simulatable Oblivious Transfer Scheme...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2014
Aurkibidea: ...An Introduction to Smart Cards and RFIDs -- Embedded DSP Devices -- Microprocessors...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2008
Aurkibidea: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2015
Aurkibidea: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2013
Aurkibidea: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2005
Aurkibidea: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2008
Aurkibidea: ... -- Verisoft -- The Verisoft Approach to Systems Verification -- Formal Functional Verification of Device...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2010
Aurkibidea: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2008
Aurkibidea: ... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2007
Aurkibidea: ...-device Web Applications with Database Access -- Enriching Hypermedia Application Interfaces -- Functional...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2007
Aurkibidea: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2010
Aurkibidea: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2014
Aurkibidea: ... Attacks on Java Cards -- A Pre-processing Composition for Secret Key Recovery on Android Smartphone...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2007
Aurkibidea: ... -- Constant-Time Record Management in a Java Embedded Small Device -- Agent Based Simulation -- Crisis...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2007
Aurkibidea: ... on the Multistage Markov Process -- Performance Analysis and Evaluation of Digital Connection Oriented Internet...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2007
Aurkibidea: ... Personal Networks over Heterogeneous Ad-hoc Scenarios -- Analysis of Algorithms for Radial Basis Function...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2005
Aurkibidea: ... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...
Testu osoa
Baliabide elektronikoa eBook