1
Argitaratua 2006
Aurkibidea: ... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2015
Aurkibidea: ... security -- Part II Preparation and Characterization Techniques -- 2. Laser-assisted growth and processing...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2005
Aurkibidea: ... of Designs -- The Application of an Object-Oriented Method in Information System Security Evaluation...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... Silica with Thiourea Functional Groups -- Application of Sol-Gel Method for Synthesis of a Biosensitive...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2015
Aurkibidea: ... Failure to Proof: The ProB Disprover for B and Event-B -- Formalizing a Secure Foreign Function Interface...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2008
Aurkibidea: ... to Fill Up Merkle-Damgård Hash Functions -- Limits of Constructive Security Proofs -- Public-Key...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2014
Aurkibidea: ... Engineering -- Collaborative Context Prediction -- Ranking Cryptographic Algorithms -- Part III Methods...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2010
Aurkibidea: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2013
Aurkibidea: ...An Evaluation of Camera Pose Methods for an Augmented Reality System: Application to Teaching...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2010
Aurkibidea: ... Hash Functions -- Security Analysis of the Mode of JH Hash Function -- Enhanced Security Notions...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2008
Aurkibidea: ... Perturbation Vector Method for Enhancing Security of Multivariate Public Key Cryptosystems -- On the Power...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2008
Aurkibidea: ... Will This Case Finally Be Finished? -- XML Methods for Validation of Temporal Properties on Message Traces...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2010
Aurkibidea: ... Anvil Cell: Methods and Applications -- Reduction and Analysis of Two-Dimensional Diffraction Data...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2010
Aurkibidea: ... Reconfigurable Function Model and Optimized Interface Topologies -- ReconOS: An Operating System for Dynamically...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2005
Aurkibidea: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2012
Gaiak: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2013
Aurkibidea: ... in the Development of a Social Assistive Robot -- What Older People Expect of Robots: A Mixed Methods Approach...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2010
Aurkibidea: ... Interfaces -- The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2005
Aurkibidea: ... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2010
Aurkibidea: ... Technologies and Issues Relating to Privacy, Ethics and Security -- The Role of the User in the Design Process...
Testu osoa
Baliabide elektronikoa eBook