OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PHYSICAL PROPERTIES Document Type: Sin Especificar Language: Inglés

Sort by Score Title Year -

311-320 from 395 results (0.021 seconds)

Title: Assessment of writing text in mobile devices
Author: Manresa Yee, Cristina / Más Sansó, Ramón / Larrea, Martín Leonardo / Capa Arnao, Rodrigo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / teléfono móvil / HCI / usability / text input / mobile phones / mini-QWERTY

Acceder
Title: Detection and Defense Mechanism against Security Attacks in Reconfigurable Networks: Network Coding Approach
Author: Villalpando Hernández, Rafaela
Language: Inglés
Repository: 34
Subject: Tecnología / Technology / Mecanismo / Seguridad / Detección / INGENIERÍA Y TECNOLOGÍA / CIENCIAS TECNOLÓGICAS / TECNOLOGÍA DE LOS ORDENADORES / INFORMÁTICA

Acceder
Title: An approach for identifying design principles in argument systems : A preliminary report
Author: Capobianco, Marcela / Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / approach / argument systems / Intelligent agents

Acceder
Title: A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language: Inglés
Repository: 65
Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING

Acceder
Title: Course-of-values recursion in Martin-Löf's type theory
Language: Inglés
Repository: 65
Subject: Teoria de tipos / Logical frameworks / Alf
Title: On the logic for utopia
Author: Areces, Carlos Eduardo / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / theory of conditionals / modal logic / knowledge representation

Acceder
Title: An approach based on feature models and quality criteria for adapting component-based systems
Author: Sánchez, Luis Emiliano / Díaz Pace, J. Andrés / Zunino, Alejandro / Moisan, Sabine / Rigault, Jean Paul
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / realistic component-based / computer vision system / Metrics

AccederDescargar
Title: An application of a theorem prover
Author: Campos, M. / Lins, R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Applications / Application / Theorem Prover

Acceder
Title: A Cryptosystem Based Upon Sums of Key Functions
Language: Inglés
Repository: 34
Subject: Computación / Cryptosystems / Derivative Disproportion Functions / Decoding Algorithms

AccederAcceder
Title: From boxes to worlds
Author: Hirsch, Dan Francisco / Areces, Carlos Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Design / Graphic Languages / Modal Logics / Formal Verification / Languages / Software

Acceder

« Previous 28 29 30 31 32 33 34 35 36 Next »