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: PROGRAM Repository: 37 Document Type: Sin Especificar

Sort by Score Title Year -

211-220 from 243 results (0.012 seconds)

Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: A general approach to the implementation of action theories
Author: Simari, Guillermo Ricardo / García, Diego R. / Filocamo, Gabriel R.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / General Approach / Implementation / Action Theories

Acceder
Title: Power system linear modeling : Application for small signal stability analysis
Author: Biteznik, Carlos Ezequiel / Agüero, Jorge Luis / Beroqui, Mario César
Language: Inglés
Repository: 37
Subject: Ingeniería / Electrotecnia / inter-area oscillation / modal analysis / mode oscillation / power system stability / small signal stability / Energía Eléctrica

Acceder
Title: Evolution of computer science degrees at science school : University of Buenos Aires (FCEN-UBA)
Author: Factorovich, Pablo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Educación / Argentina / historia de la computación

Acceder
Title: Construyendo caminos
Author: Hernández Hilario, Victoria / Ruiz, María Eugenia
Language: Español
Repository: 37
Subject: Psicología / Orientación / acompañamiento / Vulnerabilidad / jóvenes

Acceder
Title: Kolmogorov complexity for possibly infinite computations
Author: Figueira, Santiago / Becher, Verónica
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Computational logic / Connection machines / Kolmogorov complexity / Program-size complexity / Turing machines / monotone machines / infinite computations / non-effective computations

Acceder
Title: Análisis modular y recuperación de contraejemplos en TACO
Author: Alborodo, Raúl / Ricci, Nicolás / Galeotti, Juan P. / Aguirre, Nazareno Matías
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software/Program Verification / Languages

Acceder
Title: The B method as an environment for the verification of eiffel programs: a case study
Author: Aguirre, Nazareno Matías / Oviedo, Juan
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Intelligent agents / Object orientation / Program Verification / B Method

Acceder
Title: Herramientas para la exploración y formalización de modelos de programas probabilísticos
Author: Gonzalía, Carlos José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Software/Program Verification / Probabilistic computation

Acceder
Title: Tipos de recursión
Author: González, Alejandro Héctor
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / recursión / programación / Program and recursion schemes / eficiencia / Pascal

Acceder

« Previous 17 18 19 20 21 22 23 24 25 Next »