Saltar al contenido
VuFind
Lenguaje
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Buscar
What happened to formal method...
Ejemplares similares
Citar
Enviar este por Correo electrónico
Imprimir
Exportar Registro
Exportar a RefWorks
Exportar a EndNoteWeb
Exportar a EndNote
Exportar a MARC
Exportar a RDF
Exportar a BibTeX
Exportar a RIS
What happened to formal methods for security?
Detalles Bibliográficos
Autor principal:
Schaffer, Kim
(autora)
Otros Autores:
Voas, Feffrey
(autor)
Formato:
Artículo
Lenguaje:
English
Materias:
SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN
SEGURIDAD (INFORMATICA)
ALMACENAMIENTO DE INFORMACION
GESTIÓN DE LA INFORMACIÓN
CALIDAD
Existencias
Descripción
Ejemplares similares
Vista Equipo
Ejemplares similares
Real-Time computing on multicore processors
por: Lui, Sha,
Privacy as a service : protecting the individual in healthcare data processing /
por: Xiang Su,
Introducción a las computadoras y a los sistemas de información /
por: Long, Larry, et al.
Publicado: (1999)
Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1990)
What the FUD? : whose system is this, anyway? /
por: Pace, Andrew K.
Introducción a la informática /
por: Aréchiga Gallegos, Rafael
Publicado: (1980)
La Recuperación de la información : informática documentaria
por: Rodríguez Delgado, Rafael
Sistema automatizados de información y documentación
por: Rodríguez Delgado, Rafael
Publicado: (1984)
Cognitive storage for big data
por: Cherubini, Giovanni
A manual on methods for retrieving and correlating technical data /
por: Dyke, Freeman H., et al.
Publicado: (1969)
Systementwicklung mit system /
por: Ward, Paul T.
Publicado: (1989)
Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1995)
Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1995)
Introduccion a la informatica y al procesamiento de informacion /
por: Long, Larry, et al.
Publicado: (1986)
El Desafío informático
por: Ama, D. del
Publicado: (1985)
Sistemas informáticos
por: Seoane, José A
Publicado: (1981)
Análisis y diseño de sistemas /
por: Kendall Kenneth E.
Publicado: (2011)
Administración de la herramienta Datamart, de la Escuela de Ciencias y Sistemas, de la Universidad de San Carlos de Guatemala.
por: Apixolá Alvarado, Orlando Wilfredo
Publicado: (2009)
Clipper: técnicas, aplicaciones y rutinas de programación
por: Marín Quiros, F.
Publicado: (1990)
The social sciences, information retrieval and the library: some recent trends and future prospects
por: LeBar, Frank M., et al.
Publicado: (1969)
The growth of knowledge: readings on organization and retrieval of information
por: Kochen, Manfred, et al.
Publicado: (1967)
Textbook on mechanized information retrieval
por: Kent, Allen, et al.
Publicado: (1966)
The organization and search of bibliographie records: component studies /
por: Shoffner, Ralph M.
Publicado: (1971)
Information retrieval : computational and theoretical aspects /
por: Heaps, H. S., et al.
Publicado: (1978)
Introduction to modern information retrieval /
por: Salton, Gerard, et al.
Publicado: (1983)
Proceeding of the symposium on the international information network for standars-ISONET
Publicado: (1977)
Organizing Information : principles of data base and retrieval systems /
por: Soergel, Dagobert, et al.
Publicado: (1985)
Portal Electrónico de Localización personas buscadas y objetos perdidos & proyecto centro nacional de Objetos perdidos.
por: Trigueros Chavarria, Luis Lenin
Publicado: (2003)
Portal electrónico de localización (personas buscadas y objetos perdidos)
por: Trigueros Chavarría, Luis Lenin
Publicado: (2003)
Desarrollo de un paquete de recuperación de informacion para un sistema de información bibliográfica /
por: Araya Monge, José Enrique, et al.
Publicado: (1980)
Manual de búsqueda documental y práctica bibliográfica /
por: Cordón García, José Antonio, et al.
Publicado: (1999)
Análisis y recuperación de información documental /
por: Iglesias Maturana, María Texia, et al.
Publicado: (1992)
Información y desarrollo : diálogo entre proveedores y usuarios, resumen del informe de la Reunión sobre información para el desarrollo en Latinoamerica y el Caribe.
Publicado: (1979)
Conservación y administración de los archivos privados : un estudio del RAMP /
por: Seton, Rosemary E., et al.
Publicado: (1997)
Diseño de una interfaz de consulta para la recuperación de documentos estrcuturados /
por: Crestani, Fabio, et al.
El Tratamiento de datos: apuntes redactados con ocasión del cursillo impartido en la Sección de Proceso de Datos /
por: Denis, J. B., et al.
Publicado: (1976)
Estructura, convenio y plan de trabajo para el Sistema Nacional de Información en Ciencias Agropecuarias
Publicado: (1972)
Traitement automatise des documents multimedia avec les systems ISBD UNIFIE, Lamy-Rousseau et Precis. Propositions S.I.L.P
por: Lamy-Roussea, Francoise, et al.
Publicado: (1974)
La documentación automática: sistemas de selección
por: Rees, Alan M., et al.
Publicado: (1960)
Problemática de la automatización del procesamiento de la información documentaria /
por: Robredo, Jaime, et al.
Publicado: (1978)
Ejemplares similares
Real-Time computing on multicore processors
por: Lui, Sha,
Privacy as a service : protecting the individual in healthcare data processing /
por: Xiang Su,
Introducción a las computadoras y a los sistemas de información /
por: Long, Larry, et al.
Publicado: (1999)
Introducción a las computadoras y al procesamiento de información /
por: Long, Larry, et al.
Publicado: (1990)
What the FUD? : whose system is this, anyway? /
por: Pace, Andrew K.
×
Cargando...