OPAC

Your search

Query: FORMAL LANGUAGES Repository: 65 Document Type: Sin Especificar

Sort by Score Title Year -

21-30 from 104 results (0.015 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: Systematic literatura review of PSP adaptations
Language: in
Repository: 65
Subject: Systematic Review / Personal Software Process / Formal methods

Acceder
Title: Quehacer y vivencias de los psicólogos que se desempeñan en los CECAP como educadores referentes
Language: Español
Repository: 65
Subject: PSICOLOGOS / EDUCACION NO FORMAL

Acceder
Title: Autorización de Acceso en MIDP 3.0
Language: Español
Repository: 65
Subject: Dispositivos Móviles Interactivos / MIDP / Especificación y Verificación Formal / Teoría de Tipos / Coq

Acceder
Title: Prácticas (con)sentidas : sentidos educativos de las prácticas de los educadores en el ámbito extraescolar
Language: Español
Repository: 65
Subject: Educación no formal / Sentidos educativos / Prácticas educativas extraescolares / DOCENTES / PRACTICAS EDUCATIVAS
Title: Las posibilidades del vínculo :estudio cualitativo sobre el vínculo educativo entre niños y educadores en programa extraescolar "Club de niños" gestión INAU en Montevideo
Language: Español
Repository: 65
Subject: EDUCACION NO FORMAL / PROTECCION A INFANCIA / EDUCACION SOCIAL / RELACION DOCENTE-ALUMNO
Title: An approach to subroutine elimination
Language: in
Repository: 65
Subject: BYTE CODE VERIFIERS / SUBROUTINES / JAVA CARD / CQQ / FORMAL PROOFS

Acceder
Title: Behavioral refinements of UML-statecharts
Language: in
Repository: 65
Subject: Statecharts / UML / Formal semantics / Software product lines / Variability / Behavioral refinement

Acceder
Title: The complexity of the K-reliability in networks constrained to diameter two
Language: in
Repository: 65
Subject: Network reliability / Survivability / Diameter constraints / Combinatorial problems / Computational complexity / Formal Verification

Acceder
Title: Convenio especifico Universidad de la República - Instituto Nacional del Cooperativismo. INACOOP
Language: Desconocido
Repository: 65

Acceder

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search