Cover Image

Model of information object for digital library and its verification

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	O. V. Novytskyi, V. A. Reznichenko
Format:	Article
Language:	English
Published:	2020
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001163039
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

The task of digital transformation of the scientific information environment
by: Kopanieva, V.O., et al.
Published: (2023)

A device for calibrating and metrological verification of digital seismic recorders
by: S. V. Shcherbina
Published: (2014)

A device for calibrating and metrological verification of digital seismic recorders
by: Shcherbina, S. V.
Published: (2014)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
by: Iaremchuk, Iu. Е.
Published: (2013)

Models of Integrated Services Digital Network in Information and Library Environment: Compliance to Contemporary Demands
by: I. Hakh
Published: (2015)

Extension the UML specification for modeling semantic objects
by: O. V. Novytskyi
Published: (2016)

Library of digital science
by: V. O. Kopanieva
Published: (2018)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

Digital project of research library: technological solutions and organization of access to information
by: I. V. Lobuzin
Published: (2017)

Information Revolution and Its Impact on the Evolution of Libraries
by: V. Petrov
Published: (2001)

Forming of the approach to verification of power system dynamic model
by: V. V. Pavlovskyi, et al.
Published: (2015)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Study of Party Mass Media of Ukraine as an Object of Library Informational Activity
by: A. Potikha
Published: (2016)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
by: V. A. Berezos
Published: (2010)

The Digitalization of the Library Fund of the National Agricultural Scientific Library of the NAAS of Ukraine – the Priority Area of its Storage and Representation
by: V. Verhunov
Published: (2020)

Choosing an Unmanned Aircraft for Implementation the Method of Combined Control of Its Movement with the Purpose to Create Digital Models of Infrastructure Objects
by: S. O. Bondar, et al.
Published: (2023)

An approach to constructing a mathematical model of the signature to determine the monitoring objects using the informativity of its monitoring features
by: O. A. Iliashov, et al.
Published: (2020)

Digital Projects of Public Libraries of Ukraine as a Component of the National Information Space
by: S. Denbnovetskyi
Published: (2022)

Modeling and verification methods for application design in heterogeneous architectures
by: S. D. Pohorilyi, et al.
Published: (2020)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
by: F. I. Andon, et al.
Published: (2017)

Theoretical dimension of information-digital economy: Information-digital processes and their attributes
by: V. M. Tarasevych
Published: (2021)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

Methodological Basis for Study Political Parties Media as an Object of Library-Informational Activity
by: A. Potikha
Published: (2018)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
by: Andon, P.I., et al.
Published: (2018)

Codification of Library Study as an Object of Library Science
by: O. Klymenko, et al.
Published: (2020)

British Library Digital Collection
by: S. Liashenko
Published: (2001)

Geographic information intelligent systems based on modern information technologies for digital terrain modelling
by: Vdovychenko, V.V., et al.
Published: (2025)

The Development of Digital Information Resources of Manuscript and Book Heritage in Vernadsky National Library of Ukraine
by: L. Dubrovina, et al.
Published: (2016)

Information space model in tasks of distributed mobile objects managing
by: V. O. Filatov, et al.
Published: (2019)

Optimal Digital System for Research Library
by: Lobuzin, I. V.
Published: (2014)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
by: Гейко, О. О., et al.
Published: (2025)

Content strategy of the libraries the digital environment
by: O. Marina
Published: (2016)

Library information culture as a reflection of its level of activity
by: Yu. Palekha
Published: (2019)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Information Technology of Digital Medicine
by: A. S. Kovalenko, et al.
Published: (2017)

Usage Modeling of Divided Libraries Informational Resources
by: N. Samokhina
Published: (2006)