Refine your Search
Author
Subject
Year
Document Type
Your search
21-30 from 506 results
(0.016 seconds)
-
Title: Formal analysis of the communication of probabilistic knowledgeAuthor: Vicari, Rosa / Seixas, Louise / Flores, Cecília / Gluz, João CarlosLanguage: InglésRepository: 37
-
Title: Selección de un método formal de especificación como herramienta de diseño de un sistema distribuido basado en objetos.Author: Gómez González, Raúl / Monge Anwandter, RaúlLanguage: EspañolRepository: 37
-
Title: Integrating object-oriented modeling techniques with formal specification techniquesAuthor: Pons, Claudia / Baum, Gabriel Alfredo / Felder, Miguel / Kutsche, Ralf-Detlef / Busse, SusanneLanguage: InglésRepository: 37
-
Title: Properties for a formal model of collaborative dialogueLanguage: InglésRepository: 37Subject: Ciencias Informáticas / Multiagent systems / Formal models
-
Title: Especificación de requisitos: de lo informal a lo formalAuthor: Dasso, Aristides / Funes, AnaLanguage: EspañolRepository: 37
-
Title: Proyecto formal de una plataforma de gerenciamientoAuthor: Notare, Mirela S. M. A. / Furlanetto, María L. / Westphal, Willian Norberto / Cruz, Fernando Augusto da Silva / Westphall, Becker CarlosLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / herramientas / Gerencia de redes distribuidas / Distributed networks / Applications / plataformas genéricas / aplicaciones genéricas / Tools / Parallel processing / TMN / FDT LOTOS / herramientas LOTOS / Network distributed management / generic platforms / generic applications / LOTOS tools
-
Title: CAMILA formal software engineering supported by functional programmingAuthor: Oliveira, J. N. / Almeida, J. J. / Barbosa, L. S. / Neves, F. L.Language: InglésRepository: 37
-
Title: Experiencia de combinación: Educación formal universitaria - Educación a distancia - Calificación para empleo - Mejoras en las organizacionesAuthor: Castellaro, Marta / Giorgetti, Carlos / Melgrati, Iván ArielLanguage: EspañolRepository: 37
-
Title: Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para sistemas de información geográficaLanguage: EspañolRepository: 37Subject: Ciencias Informáticas / base de datos / SOFTWARE ENGINEERING / RAISE / RSL / Servicios Web / Framework / Infraestructura / GIS / Métodos formales / Sistemas de Información Geográfica
-
Title: Maternidad en la cárcel de mujeres: una intersección entre control social formal e informalAuthor: Pereson, ClaudiaLanguage: EspañolRepository: 37Subject: Sociología / literatura criminológica / encarcelamiento de mujeres / control social / prisión / guardia-cárceles / género
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