Refine your Search
Author
Subject
Year
981-990 from 995 results
(0.016 seconds)
-
Title: A runnable functional formal memetic algorithm frameworkAuthor: Krasnogor, Natalio / Mocciola, Pablo Andrés / Pelta, David Alejandro / Ruiz, Germán Esteban / Russo, Wanda MarianaLanguage: InglésRepository: 37
-
Title: Formal foundations for the unified modeling languageAuthor: Funes, Ana / Dasso, Aristides / Riesco, Daniel Eduardo / Montejano, Germán Antonio / Uzal, RobertoLanguage: InglésRepository: 37
-
Title: Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móvilesAuthor: Luna, Carlos A. / Betarte, GustavoLanguage: EspañolRepository: 37
-
Title: Transforming a Business and Information Need Goals’ Ontology into a Formal Specification useful for a Strategy Pattern Recommender SystemAuthor: Rivera, Belén / Becker, Pablo / Olsina Santos, Luis AntonioLanguage: InglésRepository: 37
-
Title: Verification and validation of domain specific languages using AlloyAuthor: Garis, Ana Gabriela / Sanchez, AlejandroLanguage: InglésRepository: 37
-
Title: Tecnología informática en un curso de lenguajes formales y teoría de autómatas: un enfoque constructivistaAuthor: Chesñevar, Carlos Iván / Maguitman, Ana Gabriela / González, María Paula / Cobo, María LauraLanguage: EspañolRepository: 37
-
Title: Agentes inteligentes: modelos formales y aplicaciones para la educaciónAuthor: Amaolo, Marcelo Paulo / Dolz, Daniel / Grosso, Guillermo / Kogan, Pablo / Cornejo, María Eda / Sommer, Sonia / Rodríguez, Jorge / Parra, GerardoLanguage: EspañolRepository: 37
-
Title: Hacia la definición de un agente generador de conocimiento de valor social para poblaciones en riesgoAuthor: Amigone, Federico / Rodríguez, Jorge / Parra, GerardoLanguage: EspañolRepository: 37
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