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 Year: 2012 Repository: 37

Sort by Score Title Year -

21-30 from 129 results (0.016 seconds)

Title: A formal model for some behavioural features of analysis patterns
Author: Buccella, Agustina / Cechich, Alejandra
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Object-oriented design methods / Pattern analysis / Formal methods

Acceder
Title: Pruning multi-extensions via exceptions
Author: Pequeno, Marcelino
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Pruning multi-extensions / exceptions

Acceder
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: 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 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: Towards scaling up DynAlloy analysis using predicate abstraction
Author: Ariño, Rodrigo / Degiovanni, Renzo / Fervari, Raul / Ponzio, Pablo Daniel / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Automation / Program analysis

Acceder
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: The utility of pollination for autonomic computing
Author: Kasinger, Holger / Bauer, Bernhard
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / sistema informático / Polinización

Acceder
Title: Web service-based business process automation using matching algorithms
Author: Kim, Yanggon / Lee, Juhnyoung
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Web-based services / Business / business process automation / matching

Acceder
Title: Combining quantitative and qualitative reasoning in defeasible argumentation
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Español
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Defeasible Argumentation / Quantitative Reasoning / Labelled Deductive Systems

Acceder

« Previous 1 2 3 4 5 6 7 8 9 Next »