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

Sort by Score Title Year -

961-970 from 9676 results (0.039 seconds)

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: 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: 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: Influencia de un tratamiento Q&P en un acero de manganeso superior a 1% en la resistencia a la tensión / Influence of a Q&P treatment on a manganese steel of more than 1% in stress resistance
Author: Barrera Ramirez, Jefferson David / Delgado Contreras, Juan Sebastian
Language: Desconocido
Repository: 77
Subject: Tratamiento / Térmico / Temple / Particionamiento / Manganeso / Acero / Mecánicas / Nuevo / Ingeniería Mecánica - Tesis y disertaciones académicas / Tratamiento térmico de los metales / Aleaciones de acero / Tratamiento térmico Q&P / Treatment / Thermal / Quenching / Partitioning / Manganese / Steel / Mechanics / New

Acceder
Title: Cerium modified minerals for eco-friendly anticorrosive paints
Author: Roselli, Sol Natacha / Revuelta, Mariana Valeria / Di Sarli, Alejandro Ramón / Deyá, Marta Cecilia / Romagnoli, Roberto
Language: Español
Repository: 37
Subject: Ingeniería Química / Cerio / Pinturas / Anticorrosivos

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: Estudio de estilos de ilustración infantil y creación de infografías para niños de 8 a 9 años.
Author: Cuadrado Solís, Verónica Yasmín / Melendrez Chafla, Evelyn Vanessa
Language: Español
Repository: 43
Subject: ESTILOS DE ILUSTRACIÓN / INFOGRAFÍA INFANTIL / INFANCIA / GRUPOS ÉTNICOS / TECNICAS DEL DISEÑO

Acceder

« Previous 93 94 95 96 97 98 99 100 101 Next »