OPAC

Your search

Repository: 37 Query: FORMAL LANGUAGES

Sort by Score Title Year -

641-650 from 1773 results (0.054 seconds)

Title: Verificación de modelos independientes de la plataforma: un caso de estudio
Author: Actis, Carolina Inés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Acceleo, ATL, Eclipse, Java, JML, desarrollo dirigido por modelos (MDD), OCL, OpenJML, traducción OCL a JML, transformaciones de modelos, UML, verificación de programas

Acceder
Title: FINES, educación y ampliación de derechos : Lo que empieza con el FINES: Estado, DDHH, los proyectos de inclusión y una pregunta por el rol de la universidad en la aplicación de derechos
Author: Facultad de Trabajo Social
Language: Español
Repository: 37
Subject: Educación / Estado / Derechos Humanos / Fines

Acceder
Title: Ambiente para especificación de requerimientos de sistemas de tiempo real
Author: Rocca, Paulo L.
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Sistemas / Requirements/Specifications / Real time

Acceder
Title: Incremento del tamaño del espacio de soluciones factibles para SMINK-1 usando algoritmos evolutivos
Author: Taranilla, María Teresa / Gagliardi, Edilma Olinda / Leguizamón, Mario Guillermo / Hernández Peñalver, Gregorio
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Suma de Minkowski / Intelligent agents / Algorithms / Geometría Computacional / Descomposición de Polígonos / Algoritmos genéticos

Acceder
Title: AdS/CFT y métodos holográficos a tiempo real
Author: Martínez, Pedro Jorge
Language: Español
Repository: 37
Subject: Física / AdS/CFT / Holografía

Acceder
Title: Seguridad, justicia y derechos para niñas, niños y adolescentes en México : ¿Hacia dónde van las reformas de la Constitución Federal? / Security, justice and rights for children in Mexico. Where are the Federal Constitution amendments going to?
Author: Gonzalez Placencia, Luis
Language: Español
Repository: 37
Subject: Ciencias Jurídicas / México / infancia / Ciencias Sociales / política pública / derechos humanos / reformas constitucionales / childhood / human rights / constitutional amendments

AccederAcceder
Title: Propuesta de mejoramiento de las estrategias de enseñanza y evaluación en la materia “Costos para la gestión” de la Facultad de Ciencias Económicas de la Universidad Nacional de La Plata
Author: Saullo, Romina
Language: Español
Repository: 37
Subject: Ciencias Económicas / espacios teoricos y practicos / Evaluación / Enseñanza

Acceder
Title: Leer, escribir, discutir y construir conocimientos en torno a la guerra de Malvinas
Author: Porto, Flavia
Language: Español
Repository: 37
Subject: Letras / Medios de Comunicación / postguerra / memoria / Guerra / Islas Malvinas

AccederDescargar
Title: Lógica de pruebas para certificación de computación móvil
Author: Feller, Federico
Language: Español
Repository: 37
Subject: Ciencias Informáticas / lenguaje de programación / Programación / lógica matemática y lenguajes formales / Informática

Acceder
Title: La investigación en orientación: análisis de los talleres de orientación en el marco de un proyecto interdisciplinario
Author: Ruiz, María Eugenia / Ortúzar, María Victoria de / Di Meglio, Mariela
Language: Español
Repository: 37
Subject: Psicología / Orientación Vocacional / enseñanza secundaria / taller / investigación / evaluación / orientación

Acceder

« Previous 61 62 63 64 65 66 67 68 69 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search