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

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

65 (4)

Show More Show Less

Author

Show More Show Less

Subject

Automatic proofs (1)
Business Process Management (1)
CW-EXPANSIVIDAD (1)
Convertidores tipo buck (1)
Demostración automática de teoremas (1)
Demostración interactiva de teoremas (1)
EXPANSIVIDAD (1)
EXPANSIVIDAD CINEMÁTICA Y GEOMÉTRICA (1)
EXPANSIVIDAD POSITIVA (1)
EXPANSIVIDAD ROBUSTA (1)

Show More Show Less

Year

2015 (4)
2012 (1)
2016 (1)

Show More Show Less

Document Type

Sin Especificar (4)

Show More Show Less

Language

Inglés (4)

Show More Show Less

Your search

Query: MEANINGS OF PROGRAMS" Repository: 65 Language: Inglés Document Type: Sin Especificar Year: 2015

Sort by Score Title Year -

1-4 from 4 results (0.014 seconds)

Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Expansive dynamical systems
Language: Inglés
Repository: 65
Subject: SISTEMAS DINÁMICOS / HOMEOMORFISMOS / EXPANSIVIDAD / CW-EXPANSIVIDAD / N-EXPANSIVIDAD / HIPEREXPANSIVIDAD / EXPANSIVIDAD CINEMÁTICA Y GEOMÉTRICA / EXPANSIVIDAD POSITIVA / EXPANSIVIDAD ROBUSTA

Acceder
Title: A differential game theory approach to DC-DC buck converter control
Language: Inglés
Repository: 65
Subject: Convertidores tipo buck / Método de control

Acceder
Title: MINERVA : Model drIveN and sErvice oRiented framework for the continuous improVement of business process & relAted tools
Language: Inglés
Repository: 65
Subject: Procesos de negocios / Modelos / Gestión de Procesos de Negocio / Business Process Management / Service Oriented Computing / Model Driven Development

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2026 ©. Todos los derechos reservados conforme a la ley 11.723