Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
What happened to formal method...
Similar Items
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
What happened to formal methods for security?
Bibliographic Details
Main Author:
Schaffer, Kim
(autora)
Other Authors:
Voas, Feffrey
(autor)
Format:
Article
Language:
English
Subjects:
SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN
SEGURIDAD (INFORMATICA)
ALMACENAMIENTO DE INFORMACION
GESTIÓN DE LA INFORMACIÓN
CALIDAD
Holdings
Description
Similar Items
Staff View
Similar Items
Real-Time computing on multicore processors
by: Lui, Sha,
Privacy as a service : protecting the individual in healthcare data processing /
by: Xiang Su,
Introducción a las computadoras y a los sistemas de información /
by: Long, Larry, et al.
Published: (1999)
Introducción a las computadoras y al procesamiento de información /
by: Long, Larry, et al.
Published: (1990)
What the FUD? : whose system is this, anyway? /
by: Pace, Andrew K.
Introducción a la informática /
by: Aréchiga Gallegos, Rafael
Published: (1980)
La Recuperación de la información : informática documentaria
by: Rodríguez Delgado, Rafael
Sistema automatizados de información y documentación
by: Rodríguez Delgado, Rafael
Published: (1984)
Cognitive storage for big data
by: Cherubini, Giovanni
A manual on methods for retrieving and correlating technical data /
by: Dyke, Freeman H., et al.
Published: (1969)
Introducción a las computadoras y al procesamiento de información /
by: Long, Larry, et al.
Published: (1995)
Introducción a las computadoras y al procesamiento de información /
by: Long, Larry, et al.
Published: (1995)
Introduccion a la informatica y al procesamiento de informacion /
by: Long, Larry, et al.
Published: (1986)
El Desafío informático
by: Ama, D. del
Published: (1985)
Systementwicklung mit system /
by: Ward, Paul T.
Published: (1989)
Sistemas informáticos
by: Seoane, José A
Published: (1981)
Análisis y diseño de sistemas /
by: Kendall Kenneth E.
Published: (2011)
Administración de la herramienta Datamart, de la Escuela de Ciencias y Sistemas, de la Universidad de San Carlos de Guatemala.
by: Apixolá Alvarado, Orlando Wilfredo
Published: (2009)
Clipper: técnicas, aplicaciones y rutinas de programación
by: Marín Quiros, F.
Published: (1990)
Textbook on mechanized information retrieval
by: Kent, Allen, et al.
Published: (1966)
The organization and search of bibliographie records: component studies /
by: Shoffner, Ralph M.
Published: (1971)
Proceeding of the symposium on the international information network for standars-ISONET
Published: (1977)
Organizing Information : principles of data base and retrieval systems /
by: Soergel, Dagobert, et al.
Published: (1985)
Information retrieval : computational and theoretical aspects /
by: Heaps, H. S., et al.
Published: (1978)
Introduction to modern information retrieval /
by: Salton, Gerard, et al.
Published: (1983)
The growth of knowledge: readings on organization and retrieval of information
by: Kochen, Manfred, et al.
Published: (1967)
The social sciences, information retrieval and the library: some recent trends and future prospects
by: LeBar, Frank M., et al.
Published: (1969)
Portal Electrónico de Localización personas buscadas y objetos perdidos & proyecto centro nacional de Objetos perdidos.
by: Trigueros Chavarria, Luis Lenin
Published: (2003)
Portal electrónico de localización (personas buscadas y objetos perdidos)
by: Trigueros Chavarría, Luis Lenin
Published: (2003)
Desarrollo de un paquete de recuperación de informacion para un sistema de información bibliográfica /
by: Araya Monge, José Enrique, et al.
Published: (1980)
Conservación y administración de los archivos privados : un estudio del RAMP /
by: Seton, Rosemary E., et al.
Published: (1997)
Manual de búsqueda documental y práctica bibliográfica /
by: Cordón García, José Antonio, et al.
Published: (1999)
Traitement automatise des documents multimedia avec les systems ISBD UNIFIE, Lamy-Rousseau et Precis. Propositions S.I.L.P
by: Lamy-Roussea, Francoise, et al.
Published: (1974)
Diseño de una interfaz de consulta para la recuperación de documentos estrcuturados /
by: Crestani, Fabio, et al.
El Tratamiento de datos: apuntes redactados con ocasión del cursillo impartido en la Sección de Proceso de Datos /
by: Denis, J. B., et al.
Published: (1976)
Problemática de la automatización del procesamiento de la información documentaria /
by: Robredo, Jaime, et al.
Published: (1978)
Reconocimiento de patrones /
by: Escudero, Laureano F. 1942 -, et al.
Published: (1977)
La documentación automática: sistemas de selección
by: Rees, Alan M., et al.
Published: (1960)
Los medios de informacion en medicina
by: Hernández, Horacio H., et al.
Published: (1969)
Los Sistemas como sistemas de información: trabajo presentado en el Seminario Latinoamericano sobre preparación de Científicos de la Información
by: Rosovsky L., José, et al.
Published: (1972)
Similar Items
Real-Time computing on multicore processors
by: Lui, Sha,
Privacy as a service : protecting the individual in healthcare data processing /
by: Xiang Su,
Introducción a las computadoras y a los sistemas de información /
by: Long, Larry, et al.
Published: (1999)
Introducción a las computadoras y al procesamiento de información /
by: Long, Larry, et al.
Published: (1990)
What the FUD? : whose system is this, anyway? /
by: Pace, Andrew K.
×
Loading...